Model-driven High-level Programming of Embedded Systems: Selected papers from SLA++P'07 and SLA++P'08
Call for Papers
Model-based high-level programming of embedded systems has become areality in the automotive and avionics industries. These industriesplace high demands on the efficiency and maintainability of the designprocess as well as on the performance and functional correctness ofembedded components. These goals are hard to reconcile in the face ofthe increasing complexity of embedded applications and targetarchitectures. Research efforts towards meeting these goals havebrought about a variety of high-level engineering design languages,tools and methodologies. Their strength resides in clean behavioralmodels with strong semantical foundations providing a rigorous way togo from a high-level description to mathematically certifiableexecutable code.
The most successful representatives of this trend of putting logic andmathematics behind design automation in embedded systems aresynchronous languages; they have been receiving increasing attentionin industry ever since they emerged in the 80s. Lustre, Esterel, andSignal are now widely and successfully used to program real-time andsafety critical applications, from nuclear power plant managementlayer to Airbus air flight control systems. Their recent successes inthe automatic control industry highlight the benefits of formalverification and automatic code generation from high-level models.
Model-based programming is making its way in other fields of softwareengineering, too. Strong interest is emerging in component programmingfor large scale embedded systems, in the link between simulation toolsand compiler tools, in languages for describing the system and itsenvironment, integrated tools for both compilation and simulation ofmore general models of communication and coordination, etc. The impactof such unifying methodologies will depend on the extent to which itwill be possible to maintain the high degree of predictability andverifiability of system behavior that is the strength of the classicsynchronous world.
Topics of interest for this special issue include:
- Synchronous programming formalisms
- Novel language paradigms blending synchrony with asynchrony and non-determinism, discrete with continuous control
- Techniques for component abstraction and refinement
- New models of communication and coordination
- Model-based compilation and simulation techniques
- Specification, verification and model-based testing
- Case-studies, industrial and teaching experiences
Submission to this special issue limited to the participants of the SLA++P 2007 and SLA++P 2008 conference who have been invited to submit to this issue.
Authors should follow the EURASIP Journal on Embedded Systems manuscript format described at the journal site http://www.hindawi.com/journals/es/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System at http://mts.hindawi.com/, according to the following timetable:
| Manuscript Due | March 1, 2008 |
| First Round of Reviews | June 1, 2008 |
| Publication Date | September 1, 2008 |
Guest Editors
- Florence Maraninchi, VERIMAG Laboratory, 38610 Gieres, France
- Michael Mendler, University of Bamberg, 96045 Bamberg, Germany
- Marc Pouzet, Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud 11, 91405 Orsay Cedex, France
- Alain Girault, POP ART Team, INRIA Rhône-Alpes / LIG, 655 avenue de l'Europe, 38334 Saint-Ismier Cedex, France
- Eric Rutten, POP ART Team, INRIA Rhône-Alpes / LIG, 655 avenue de l'Europe, 38334 Saint-Ismier Cedex, France