Table of Contents.....................................................................................................................................3 Invited Talk - Semantics preservation issues in the design and optimization of SW architectures for automotive systems
Marco Di Natale (Scuola Superiore Sant’Anna, Italy)...........................................................................9
Daniela Cancila, François Terrier (CEA LIST), Fabien Belmonte (ALSTOM), Hubert Dubois, Huascar Espinoza, Sébastien Gérard and Arnaud Cuccuru (CEA LIST) ............................................................ 11
Christo Angelov, Krzysztof Sierszecki and Yu Guo (University of Southern Denmark, Denmark) .... 43
Lili Tan, Björn Wachter, Philipp Lucas and Reinhard Wilhelm (Universität des Saarlandes, Germany) ........................................................................................................................................................... 59
Mohamed Yassin Chkouri and Marius Bozga (VERIMAG, France) .................................................... 65
Dries Langsweirdt, Yves Vandewoude and Yolande Berbers (K.U.Leuven, Belgium) ....................... 81
Marco Bozzano, Alessandro Cimatti (Fondazione Bruno Kessler, Italy), Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll (RWTH Aachen University, Germany) and Marco Roveri (Fondazione Bruno Kessler, Italy) ..................................................................................................................................... 87
Johan Ersfolk, Johan Lilius (Åbo Akademi University, Finland), Jari Muurinen, Ari Salomäki (Nokia Devices, Finland), Niklas Fors and Johnny Nylund (Åbo Akademi University, Finland)..................... 93
Goetz Botterweck (Lero, Ireland), Andreas Polzer and Stefan Kowalewski (RWTH Aachen University, Germany)....................................................................................................................... 107
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck and Arian Treffer (University of Potsdam, Germany)......................................................................................................................... 123
The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for example, realtime deadlines and to platform parameters like energy consumption or memory footprint. In this context, the last few years have seen an increased interest in using model-based engineering (MBE) techniques. MBE techniques are interesting and promising for the following reasons: They allow to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models, and they support a layered construction of systems, in which the (platform independent) functional aspects are kept separate from architectural and non-functional (platform specific) aspects, where the final system is obtained by combining these aspects later using model transformations. The objective of this workshop is to bring together researchers and practitioners interested in model-based software engineering for real-time embedded systems. We are seeking contributions relating to this subject at different levels, from modeling languages and semantics to concrete application experiments, from model analysis techniques to modelbased implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Concerning models and languages, we welcome contributions presenting novel modeling approaches as well as contributions evaluating existing ones. The workshop targets in particular: •
Architecture description languages (ADLs). Architecture models are crucial elements in system and software development, as they capture the earliest decisions which have a huge impact on the realization of the (non-functional) requirements, the remaining development of the system or software, and its deployment. We are particularly interested in examining: o Position of ADLs in an MDE approach; o Relations between architecture models and other types of models used during requirement engineering (e.g., SysML, EAST-ADL, AADL), design (e.g., UML), etc.; o Techniques for deriving architecture models from requirements, and deriving high-level design models from architecture models; o Verification and early validation using architecture models. • Domain specific design and implementation languages. To achieve the high confidence levels required for critical embedded systems through analytical methods, in practice languages with particularly well-behaved semantics are often used, such as synchronous languages and models (Lustre/SCADE, Signal/Polychrony, Esterel), super-synchronous models (TTA, Giotto), scheduling-friendly models (HRTUML, Ada Ravenscar), or the like. We are interested in examining the model-oriented counterparts of such languages, together with the related analysis and development methods. • Languages for capturing non-functional constraints (MARTE, AADL, OMEGA, etc.) • Component languages and system description languages (SysML, MARTE, EAST-ADL,
AADL, BIP, FRACTAL, Ptolemy, etc.).
We accepted 10 papers for the workshop from 8 different countries: 7 full papers and 3 short papers. We hope that the contributions for the workshop and the discussions during the workshop will help to contribute and provide interesting new insights in Model Based Architecting and Construction of Embedded Systems.
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza. Mamoun Filali, Sébastien Gérard, Susanne Graf, Iulian Ober.
September 2009.
The Organizing Committee of ACESMB 2009 would like to thank the workshop Program Committee for their helpful reviews.
Nicolas Belloir (LIUPPA, France) Jean-Michel Bruel (IRIT, France) Agusti Canals (CS, France) Arnaud Cuccuru (CEA-LIST, France) Huascar Espinoza (CEA LIST, France) Jean-Marie Farines (UFSC, Brasil) Peter Feiler (SEI, USA) Mamoun Filali (IRIT, France) Robert France (CSU, USA) Pierre Gaufillet (Airbus, France) Sébastien Gérard (CEA LIST, France) Susanne Graf (VERIMAG, France) Bruce Lewis (US Army, USA) Ileana Ober (IRIT, France) Iulian Ober (IRIT, France) Isabelle Perseil (Telecom ParisTech, France) Dorina Petriu (Carleton University, Canada) Bernhard Rumpe (RWTH Aachen, Germany) Douglas C. Schmidt (Vanderbilt University, USA) Bran Selic (Malina Software, Canada) Jean-Bernard Stefani (INRIA, France) Richard Taylor (UCI, USA) Martin Törngren (KTH, Sweden) Stefan Van Baelen (K.U.Leuven DistriNet, Belgium) Tullio Vardanega (University of Padua, Italy) Eugenio Villar (Universidad de Cantabria, Spain) Thomas Weigert (Missouri S&T, USA) Tim Weilkiens (OOSE, Germany)
Sergio Yovine (VERIMAG, France) This workshop is organised as an event in the context of • The IST-004527 ARTIST2 Network of Excellence on Embedded Systems Design • The research project EUREKA-ITEA SPICES (Support of Predictable Integration of mission Critical Embedded Systems)