Table of Contents ESenn JLaurent JPDiguet DMonteverde MYChkouri Universidad Argentina de la Empresa)
Argentina. Yovine
V. Braberman VERIMAG CNRS France) (Universidad de Buenos Aires
Argentina
ARobert MBozga JSifakis GVBochmann THFeng EALee Universidad Argentina de la Empresa)
Argentina. Yovine
V. Braberman VERIMAG CNRS France) (Universidad de Buenos Aires
Argentina
JPorter GKarsai PVölgyesi HNine PHumke GHemingway RThibodeaux JSztipanovits SLafi RChampagne Universidad Argentina de la Empresa)
Argentina. Yovine
V. Braberman VERIMAG CNRS France) (Universidad de Buenos Aires
Argentina
ABKouki JBelzile Universidad Argentina de la Empresa)
Argentina. Yovine
V. Braberman VERIMAG CNRS France) (Universidad de Buenos Aires
Argentina
MA PeraldiFrati YSorel MBordin FranceAdacore MPanunzio CSantamaria TVardanega Université de Bretagne Sud
France
Universidad Argentina de la Empresa and Universidad de Buenos Aires
Argentina
University of California
USA
Russian Academy of Sciences
Russia
Vanderbilt University
USA
École de Technologie Supérieure
Canada
University of Padua
Italy
Table of Contents C004749F3DCD506372DDE6627F6BABE6 GROBID - A machine learning software for extracting information from scholarly documents

Table of Contents .
Foreword

The development of embedded systems with real-time and other types of critical constraints implies handling very specific architectural choices, as well as various types of critical nonfunctional constraints (related to real-time deadlines and to platform parameters, such as energy consumption and memory footprint). The last few years have seen a growing interest in (1) using precise (preferably formal) domain-specific models for capturing such dedicated architectural and non-functional information, and (2) using model-driven engineering (MDE) techniques for combining these models with platform independent functional models to obtain a running system. As such, MDE can be used as a means for developing analysis oriented specifications that represent the design model at the same time.

The objective of this workshop is to bring together researchers and practitioners interested in all aspects of model-based software engineering for real-time embedded systems. We target this subject at different levels, from modelling languages and related semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. In particular the workshop focus on the following:

• Architecture description languages (ADLs). Architecture models are crucial elements in system and software development, as they capture the earliest decisions that have a huge impact on the realisation of the (non-functional) requirements, the remaining development of the system or software, its deployment, etc. In particular, we are interested in examining:

o the position of ADLs in an MDE approach o the relation between architecture models and other types of models used during requirement engineering (e.g., SysML), 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 from critical embedded systems through analytical methods, specific languages with particularly well-behaved semantics are often used in practice, such as synchronous languages and models (Lustre/SCADE, Signal/Polychrony, Esterel), time triggered models (TTA, Giotto), scheduling-oriented models (HRT-UML, Ada Ravenscar), etc. We are interested in examining the modeloriented counterparts of such languages, together with the related analysis and development methods.

• Languages for capturing non-functional constraints (UML-MARTE, AADL, OMEGA, etc.)

• Component languages and system description languages (SysML, BIP, FRACTAL, Ptolemy, etc.).

We received 16 submissions from 8 different countries, of which 10 papers were accepted for the workshop. 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.

The ACES MB 2008 organising committee, Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard, September 2008.

Toulouse, France, September 29, 2008 MoDELS'08 ACES-MB Workshop Proceedings Toulouse, France, September 29, 2008
Acknowledgments

The Organising Committee of ACES MB 2008 would like to thank the workshop Program Committee for their helpful reviews. Nicolas Belloir (LIUPPA, France) Jean Michel Bruel (LIUPPA, France) Agusti Canals (CS, France) Jean Marie Farines (UFSC, Brasil) Peter Feiler (SEI, USA) Mamoun Filali (CNRS IRIT, France) Robert France (CSU, USA) David Garlan (CMU, USA) Pierre Gaufillet (Airbus, France) Sébastien Gérard (CEA LIST, France) Susanne Graf (VERIMAG, France) Tom Henzinger (EPFL, Switzerland) Bruce Lewis (US Army, USA) John Mettenburg (Rockwell Collins, USA) Alan Moore (The Mathworks, UK) Iulian Ober (University of Toulouse, France) Isabelle Perseil (Telecom ParisTech, France) Dorina Petriu (Carleton University, Canada) Bernhard Rumpe (TU Braunschweig, 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 Stockholm, Sweden) Stefan Van Baelen (K.U.Leuven, Belgium) Tullio Vardanega (University of Padua, Italy) Eugenio Villar (Universidad de Cantabria, Spain) François Vernadat (LAAS, France) Thomas Weigert (Missouri S&T, USA) Tim Weilkiens (oose GmbH, 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)