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

Website | Edit Freely

Category ACES-MB 2011

Deadline: August 05, 2011 | Date: October 18, 2011

Venue/Country: Wellington, New Zealand

Updated: 2011-07-19 17:57:24 (GMT+9)

Call For Papers - CFP

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

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

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.

TOPICS

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

Venue

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.

ORGANIZING COMMITTEE

Stefan Van Baelen, K.U. Leuven-DistriNet, Belgium

Huascar Espinoza, CEA LIST/LISE, France

Sébastien Gérard, CEA-LIST/LISE, France

Ileana Ober, University of Toulouse-IRIT, France

Iulian Ober, University of Toulouse-IRIT, France

Thomas Weigert, Missouri S&T, USA

STEERING COMMITTEE

Mamoun Filali, University of Toulouse-CNRS-IRIT, France

Susanne Graf, Univ. Joseph Fourier-CNRS-VERIMAG, France

PROGRAMME COMMITTEE

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

WORKSHOP FORMAT

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.

IMPORTANT DATES (NEW)

Submission Deadline: August 5th, 2011

Notification of Acceptance: September 5th, 2011 (during MODELS early registration)

Workshop Date: October 18th, 2011

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

http://www.easychair.org/conferences/?conf=acesmb11

PUBLICATION

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