CfP MODELS'08 workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)

CfP MODELS'08 workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)

From: Stefan Van Baelen <>
Date: Tue, 22 Apr 2008 22:44:42 +0200
Message-ID: <>
CALL FOR PAPERS                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

The development of embedded systems with real-time and other types
of critical constraints implies handling 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.). The
last few years have seen a growing interest in (1) using precise
(preferably formal) domain-specific models for capturing such
dedicated architectural and non-functional information, and (2) using
model-driven engineering (MDE) techniques for combining these models
with platform independent functional models to obtaing a running

The objective of this workshop is to bring together researchers and
practitioners interested in all the aspects of model-based software
engineering for real-time embedded systems. We are seeking
contributions relating to this subject at different levels, from
modelling languages and related semantics to concrete application
experiments, from model analysis techniques to model-based
implementation and deployment. In particular, we focus on the


- Architecture description languages (ADLs)
- 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
well-behaved semantics are often used in practice: synchronous
languages and models (Lustre/SCADE, Signal/Polychrony, Esterel),
time triggered models (TTA, Giotto), scheduling-oriented models
(HRT-UML, Ada Ravenscar), etc.

We are interested in examining the model-oriented counterparts of
such languages, together with the related analysis and development

- Languages for capturing non-functional constraints (UML-MARTE, AADL,
OMEGA, etc.)

- Component languages, system description languages (SysML, BIP,
FRACTAL, Ptolemy, etc.).


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


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
Sebastien Gerard CEA, France
Tom Henzinger EPFL, Switzerland
Bruce Lewis US Army, USA
John Mettenburg Rockwell Collins, USA
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
Tullio Vardanega University of Padua, Italy
Eugenio Villar Universidad de Cantabria, Spain
Francois Vernadat LAAS, France
Sergio Yovine VERIMAG, France


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.


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


Two types of papers are expected: short position papers (max. 5
pages) or full technical contributions (max. 15 pages). Papers
should be in PDF format conforming to the Springer LNCS formatting

Papers can be submitted online at:
(details to come on the workshop web site)


All papers (full and short) will be published in the Workshop
Proceedings (technical report with ISBN). As usual with MODELS
workshops, two of the best papers will be published in the MODELS
2008 Workshop Proceedings, in Springer's LNCS series. Only full
papers can be candidate for this best paper nomination. If the
quality of submissions justify it, we may also propose a few authors
to submit an extended paper for publication in a special issue on
embedded systems of Springer's STTT journal.
Received on Tue 22 Apr 2008 - 23:02:31 BST