--------------------------------------------------------------------------- -----------------

                             ACES-MB'08
---------------------------------------------------------------------
                   1st International Workshop on
   Model Based Architecting and Construction of Embedded Systems
                          (ACES^MB 2008)

                      Organized and funded by
      ARTIST Network of Excellence in Embedded Systems Design
                  In conjunction with  MODELS 2008
                 September 28th, 29th or 30th (TBD)
                          Toulouse, France

       http://www.artist-embedded.org/artist/ACES-MB-08.html
---------------------------------------------------------------------

MOTIVATION

The development of embedded systems with real-time and other types of critical constraints raises
distinctive problems. In particular, the development teams have to handle very specific architectural
choices, as well as various types of critical non-functional constraints (related to real-time deadlines
and to platform parameters like energy consumption, memory footprint, etc.). In this context, the last
few years have seen an increased interest in using model-driven engineering (MDE) techniques. Such
techniques are interesting for two main reasons: (1) they allow for capturing dedicated architectural
and non-functional information in precise (preferably formal) domain-specific models, and (2) they
provide the premise for a layered construction of systems, in which the (platform independent) functional
aspects can be kept separated from architectural and non-functional (platform specific) aspects,
after which they can be combined more or less automatically via model transformations to obtain the
final system.

OBJECTIVE

The objective of this workshop is to bring together researchers and practitioners interested in modelbased
software engineering for real-time 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. We target in
particular:

TOPICS
------

− 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:
        - the position of ADLs in an MDE approach
        - the relation between architecture models and other types of models used during requirement
        engineering (e.g., SysML), design (e.g., UML), etc.
        - techniques for deriving architecture models from requirements, and deriving high-level
        design models from architecture models
        - 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 wellbehaved
semantics are often used in practice, such as synchronous languages and models (Lustre/SCADE,
Signal/Polychrony, Esterel), super-synchronous models (TTA, Giotto), scheduling-friendly models (HRTUML,
Ada Ravenscar), etc. 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 (UML-MARTE, AADL, OMEGA, etc.)
− Component languages and system description languages (SysML, BIP, FRACTAL, Ptolemy, etc.).

ORGANIZING COMMITTEE
--------------------

Iulian Ober         University of Toulouse, IRIT, France
Stefan Van Baelen   K.U.Leuven, Belgium
Susanne Graf        VERIMAG, France
Mamoun Filali       IRIT, France
Thomas Weigert      Missouri S&T, USA
Sébastien Gérard    CEA, France

PROGRAMME COMMITTEE
-------------------

Nicolas Belloir     LIUPPA, France
Jean-Michel Bruel   LIUPPA, France
Agusti Canals       CS, France
Jean-Marie Farines  UFSC, Brasil
Peter Feiler        SEI, USA
Robert France       CSU, USA
David Garlan        CMU, USA
Pierre Gaufillet    Airbus, France
Tom Henzinger       EPFL, Switzerland
Bruce Lewis         US Army, USA
John Mettenburg     Rockwell Collins, USA
Alan Moore          The Mathworks, UK
Isabelle Perseil    Telecom ParisTech, France
Dorina Petriu       Carleton University, Canada
Bernhard Rumpe      TU Braunschweig, Germany
Bran Selic          Malina Software, Canada
Jean-Bernard Stefani INRIA, France
Richard Taylor      UCI, USA
Martin Törngren     KTH Stockholm, Sweden
Tullio Vardanega    University of Padua, Italy
Eugenio Villar      Universidad de Cantabria, Spain
François Vernadat   LAAS, France
Tim Weilkiens       OOSE.de, Germany
Sergio Yovine       VERIMAG, France

WORKSHOP FORMAT
---------------

This full-day workshop will consist of an introduction by the organizers, presentations of accepted
papers, an in-depth discussion of a set of topics that are identified by the attendees, and a concluding
session presenting the results of the discussion groups.

IMPORTANT DATES
---------------

Submission Deadline:        July 15th, 2008
Notification of Acceptance: September 5th, 2008
                           (during MODELS early registration)
Workshop Date:              September 29th, 2008

SUBMISSIONS
-----------

Attendees are invited to submit a short position paper (max. 5 pages) or a full technical contribution
(max. 15 pages) in PDF format. Submissions must conform to the Springer LNCS formatting guidelines.
Papers can be submitted online at http://www.easychair.org/conferences/?conf=acesmb08. The
authors will be notified about acceptance before the MoDELS 2008 early registration deadline. Only
full papers can be candidate for the best paper nomination (to be included in the MoDELS 2008
Workshop Proceedings). All papers (full and short) are included in the Workshop Proceedings, which
will be published in the form of a technical report having an ISBN in an electronic and potentially
hardcopy form.