CfP MoDELS 2011 Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)

CfP MoDELS 2011 Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)

From: Stefan Van Baelen <>
Date: Wed, 15 Jun 2011 14:37:44 +0200
Message-ID: <86F47ED457224BFA86DA5B4B4F44DDD5@kira>
[Apologies for cross-postings]


4th International Workshop on
Model Based Architecting and Construction of Embedded Systems
ACES-MB 2011

In conjunction with MoDELS 2011 (ACM/IEEE 14th International Conference on Model Driven
Engineering Languages and Systems)
October 18th, 2011
Wellington, New Zealand

Organized and funded by
ARTIST Network of Excellence in Embedded Systems Design

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

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.

We target 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 realisation of the
   (non-functional) requirements, the remaining development of the system or software, and its deployment.
   We are particularly interested in examining:
    * Position of ADLs in an MBE approach;
    * Relations between architecture models and other types of models used during requirement engineering
        (e.g., SysML, EAST-ADL, AADL), 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 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.).

The workshop will be organized as a part of MoDELS 2011 Conference in
Wellington, New Zealand. It continues the series of ACES-MB workshops held at
previous MoDELS conferences: Toulouse (2008), Denver (2009) and Oslo (2010).
Similar to its predecessors, the workshop addresses both people from
academia and industry.

Stefan Van Baelen, K.U. Leuven-DistriNet, Belgium
Sébastien Gérard, CEA-LIST/LISE, France
Ileana Ober, University of Toulouse-IRIT, France
Thomas Weigert, Missouri S&T, USA
Huascar Espinoza, CEA LIST/LISE, France
Iulian Ober, University of Toulouse-IRIT, France

Mamoun Filali, University of Toulouse-CNRS-IRIT, France
Susanne Graf, Univ. Joseph Fourier-CNRS-VERIMAG, France

Jean-Michel Bruel, University of Toulouse-IRIT, France
Agusti Canals, CS-SI, France
Daniela Cancila, Sherpa Engineering, France
Arnaud Cuccuru, CEA LIST/LISE, France
Jean-Marie Farines, UFSC, Brasil
Robert France, CSU, USA
Pierre Gaufillet, Airbus, France
Bruce Lewis, US Army, USA
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, USA
Martin Törngren, KTH, Sweden
Tullio Vardanega, University of Padua, Italy
Eugenio Villar, Universidad de Cantabria, Spain
Tim Weilkiens, OOSE, Germany
Sergio Yovine, VERIMAG, Argentina

This full-day workshop will consist of an introduction by the organizers, an invited talk, 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.

Submission Deadline: July 17th, 2011
Notification of Acceptance: August 29th, 2011
(during MODELS early registration)
Workshop Date: October 18th, 2011

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 must be submitted online using easychair through the link

Only full papers can be candidate for the 2 best paper awards (which will be included in the MoDELS 2011
Workshop Reader - TBC). All accepted papers (full and short) will be published in the Workshop Proceedings,
which will be distributed electronically via CEUR and the ARTIST2 Website

Received on Wed 15 Jun 2011 - 13:38:05 BST