[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] CfP MoDELS ACES-MB 2010 - DEADLINE EXTENSION JULY 22nd
Please take note that the deadline of MoDELS ACES-MB 2010 has been extended to
July 22nd, 2010, Samoan time.
For more information, see http://www.artist-embedded.org/artist/ACES-MB-10.html.
[Apologies for cross-postings]
CALL FOR PAPERS
3rd International Workshop on
Model Based Architecting and Construction of Embedded Systems
In conjunction with MoDELS 2010 (ACM/IEEE 13th International Conference on Model Driven
Engineering Languages and Systems)
October 4th 2010
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
* 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,
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, ESI Tecnalia, Spain
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 22nd, 2010 Samoan time (EXTENDED)
Notification of Acceptance: August 27th, 2010
Workshop Date: October 4th, 2010
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.