[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP: MoDELS 2010 Workshop on Model Based Architecting andConstruction of Embedded Systems (ACES-MB 2010)

[Apologies for cross-postings]


3rd International Workshop on
Model Based Architecting and Construction of Embedded Systems
ACES-MB 2010

In conjunction with MoDELS 2010 (ACM/IEEE 13th International Conference on Model Driven
Engineering Languages and Systems)
October 3rd, 4th or 5th 2009
Oslo, Norway

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 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.

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 2010 Conference in
Oslo, Norway. It continues the series of ACES-MB workshops held at
previous MoDELS conferences: Toulouse (2008) and Denver (2009).
Similar to its predecessors, the workshop addresses both people from
academia and industry.

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

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

Nicolas Belloir, LIUPPA, 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
Peter Feiler, SEI, USA
Robert France, CSU, USA
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
Jean-Bernard Stefani, INRIA Rhône-Alpes, France
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 15th, 2010
Notification of Acceptance: August 24th, 2010
(during MODELS early registration)
Workshop Date: October 3rd, 4th, or 5th, 2010 (TBD)

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 best paper award (which will be included in the MoDELS 2010
Workshop Reader - TBC). All accepted papers (full and short) will be published in the Workshop Proceedings,
which will be given to the participants in hardcopy form, and distributed electronically via CEUR and the ARTIST2 Website.

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm