-------- Original-Nachricht -------- Betreff: Synchronous Paradigm in Embedded Systems Datum: Wed, 27 Jul 2005 14:49:50 +0200 Von: EURASIP JES Alert es@hindawi.com.eg An: gustaf.neumann@wu-wien.ac.at
EURASIP Journal on Embedded Systems
Special Issue on
Synchronous Paradigm in Embedded Systems
Call for Papers
Synchronous languages were introduced in the 1980s for programming reactive systems. Such systems are characterized by their continuous reaction to their environment, at a speed determined by the latter. Reactive systems include embedded control software and hardware. Synchronous languages have recently seen a tremendous interest from leading companies developing automatic control software and hardware for critical applications. Industrial success stories have been achieved by Schneider Electric, Airbus, Dassault Aviation, Snecma, MBDA, Arm, ST Microelectronics, Texas Instruments, Freescale, Intel .... The key advantage outlined by these companies resides in the rigorous mathematical semantics provided by the synchronous approach that allows system designers to develop critical software and hardware in a faster and safer way.
Indeed, an important feature of synchronous paradigm is that the tools and environments supporting development of synchronous programs are based upon a formal mathematical model defined by the semantics of the languages. The compilation involves the construction of these formal models, and their analysis for static properties, their optimization, the synthesis of executable sequential implementations, and the automated distribution of programs. It can also build a model of the dynamical behaviors, in the form of a transition system, upon which is based the analysis of dynamical properties, for example, through model-checking-based verification, or discrete controller synthesis. Hence, synchronous programming is at the crossroads of many approaches in compilation, formal analysis and verification techniques, and software or hardware implementations generation.
We invite original papers for a special issue of the journal to be published in the first quarter of 2007. Papers may be submitted on all aspects of the synchronous paradigm for embedded systems, including theory and applications. Some sample topics are:
o Synchronous languages design and compiling o Novel application and implementation of synchronous languages o Applications of synchronous design methods to embedded systems (hardware or software) o Formal modeling, formal verification, controller synthesis, and abstract interpretation with synchronous-based tools o Combining synchrony and asynchrony for embedded system design and, in particular, globally asynchronous and locally synchronous systems o The role of synchronous models of computations in heterogeneous modeling o The use of synchronous modeling techniques in model-driven design environment o Design of distributed control systems using the synchronous paradigm
Authors should follow the EURASIP JES' manuscript format described at the journal's web site: http://www.hindawi.com.eg/es/ . Prospective authors should submit an electronic copy of their complete manuscript through the EURASIP JES' manuscript tracking system at the journal's web site, according to the following timetable.
Manuscript Due June 1, 2006 Acceptance Notification October 1, 2006 Final Manuscript Due December 1, 2006 Publication Date 1st Quarter, 2007
GUEST EDITORS:
Alain Girault, INRIA, France; alain.girault@inrialpes.fr
S. Ramesh, IIT Bombay, India; ramesh@cse.iitb.ac.in
Jean-Pierre Talpin, IRISA, France; jean-pierre.talpin@irisa.fr
<<<
In order not to receive any future "EURASIP JES" alert messages, please click on the following link: http://www.hindawi.com.eg/remove.asp?j=es-c4p&e=gustaf.neumann@wu-wien.a...