=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-644/paper00.pdf
|volume=Vol-644
}}
==None==
https://ceur-ws.org/Vol-644/paper00.pdf
Worksh
W hop Procceedings
ACES
SMB 201
2 10
Third Interna
T I ational Worksshop onn
Mode
el Basedd Archiitecting
g and Constru
C uction
of
o Embe edded System
S ms
October 4tth, 2010, Osslo, Norway
Organ
nized in connjunction with MoDELSS 2010
tth
13 Internatio
onal Conference on Moodel Driven Engineerin
ng Languagees and Syste
ems
Edited by:
Stefan Van Baelenn (K.U.Leuven ‐ DistriNet, Belgiium)
eana Ober (Univversity of Toulo
Ile ouse ‐ IRIT, Fran
nce)
Huascar Esppinoza (ESI Tecnalia, Spain)
Thomas Weigert (Missouri UUniversity of Sccience and Techhnology, USA)
Iulian Ober (Univversity of Toulouse ‐ IRIT, France)
Sébastien Gérrard (CEA – LIST T/LISE, France)
MoDELS 2010 ACES-MB Workshop Proceedings
Table of Contents
Table of Contents .....................................................................................................................................3
Foreword ..................................................................................................................................................5
Acknowledgments ...................................................................................................................................7
Invited Talk ‐ Using Metaheuristic Search for the Analysis and Verification of UML Models
Lionel C. Briand (Simula Research Laboratory & University of Oslo, Norway) ....................................9
Mapping the MARTE UML Profile to AADL
Skander Turki, Eric Senn and Dominique Blouin (Université de Bretagne‐Sud, France) ................... 11
A Time‐Centric Model for Cyber‐Physical Applications
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia and Jia Zou (University of California
at Berkeley, USA) ............................................................................................................................... 21
From Interaction Overview Diagrams to Temporal Logic
Luciano Baresi, Angelo Morzenti, Alfredo Motta and Matteo Rossi (Politecnico di Milano, Italy) .. 37
Virtual Verification of System Designs against System Requirements
Wladimir Schamai (EADS Innovation Works, Germany), Philipp Helle (EADS Innovation Works, UK),
Peter Fritzson (Linköping University, Sweden) and Christiaan J.J. Paredis (Georgia Institute of
Technology, USA) .............................................................................................................................. 53
Approach for Iterative Validation of Automotive Embedded Systems
Gereon Weiss, Marc Zeller, Dirk Eilers and Rudi Knorr (Fraunhofer ESK, Germany) ....................... 69
Model Maturity Levels for Embedded Systems Development, or: Working with Warnings
Martin Groβe‐Rhode (Fraunhofer ISST, Germany) ........................................................................... 85
Towards a Systematic Approach for Software Synthesis
Hamid Bagheri and Kevin Sullivan (University of Virginia, USA) ..................................................... 101
Toward Mega Models for Maintaining Timing Properties of Automotive Systems
Stefan Neumann and Andreas Seibel (University of Potsdam, Germany) ...................................... 107
A Transformation‐based Model of Evolutionary Architecting for Embedded System Product Lines
Jakob Axelsson (Mälardalen University, Sweden) ........................................................................... 113
Identifying Features for Ground Vehicles Software Product Lines by Means of Annotated Models
Rafael S. Durelli, Daniel B. F. Conrado (UFSCAR, Brazil), Ricardo A. Ramos (UNIVASF, Brazil), Oscar L.
Pastor (UPV, Spain), Valter V. de Camargo and Rosângela A. D. Penteado (UFSCar, Brazil) .......... 119
Product Line Development using Multiple Domain Specific Languages in Embedded Systems
Susumu Tokumoto (Fujitsu Laboratories Limited, Japan) ................................................................... 125
Oslo, Norway, October 4, 2010 3
MoDELS 2010 ACES-MB Workshop Proceedings
Foreword
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, real‐
time deadlines and to platform parameters like energy consumption or memory footprint.
The last few years have seen an increased interest in using model‐based engineering (MBE)
techniques to capture dedicated architectural and non‐functional information in precise (and
even formal) domain‐specific models in a layered construction of systems. 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 engineering to explore the frontiers of architecting and construction of
embedded systems. We are seeking contributions relating to this subject at different levels,
from modelling languages and semantics to concrete application experiments, from model
analysis techniques to model‐based 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 modelling 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.
Oslo, Norway, October 4, 2010 5
MoDELS 2010 ACES-MB Workshop Proceedings
• 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 (HRT‐
UML, 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 11 papers for the workshop from 10 different countries: 6 full papers and 5
position 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.
The ACESMB 2010 organising committee,
Stefan Van Baelen,
Ileana Ober,
Huascar Espinoza,
Thomas Weigert,
Iulian Ober,
Sébastien Gérard.
The ACESMB 2010 steering committee,
Mamoun Filali,
Susanne Graf.
September 2010.
Oslo, Norway, October 4, 2010 6
MoDELS 2010 ACES-MB Workshop Proceedings
Acknowledgments
The Organising Committee of ACESMB 2010 would like to thank the workshop Programme
Committee for their helpful reviews.
Nicolas Belloir (LIUPPA, France)
Jean‐Michel Bruel (IRIT, France)
Agusti Canals (CS‐SI, France)
Daniela Cancila (Sherpa Engineering, France)
Arnaud Cuccuru (CEA‐LIST/LISE, France)
Huascar Espinoza (ESI Tecnalia, Spain)
Jean‐Marie Farines (UFSC, Brasil)
Peter Feiler (SEI, USA)
Mamoun Filali (IRIT, France)
Robert France (CSU, USA)
Sébastien Gérard (CEA LIST/LISE, 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)
Andreas Prinz (University of Agder, Norway)
Bernhard Rumpe (RWTH Aachen, Germany)
Douglas C. Schmidt (Vanderbilt University, USA)
Bran Selic (Malina Software, Canada)
Jean‐Bernard Stefani (INRIA Rhône‐Alpes, France)
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 EVOLVE (Evolutionary Validation, Verification and
Certification)
• The research project EUREKA‐ITEA VERDE (Validation‐driven design for component‐based
architectures)
• The research project EUREKA‐ITEA OPEES (Open Platform for the Engineering of Embedded
Systems)
• The research project ICT‐INTERESTED ((INTERoperable Embedded Systems Tool chain for
Enhanced rapid Design, prototyping and code generation)
Oslo, Norway, October 4, 2010 7