CfP : 6th Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB) at MoDELS 2013

=====================================================================

Workshop objectives and topics
--------

The design of embedded and cyber-physical systems with real-time and other critical constraints raises distinctive problems throughout the design process, from high-level system engineering down to low-level design. On the high-level engineering side, the complexity of such system has greatly increased during the past few years, and increasingly they are part of large systems-of-systems having to take into account complex collaboration patterns and integration constraints. On the low-level design side, there are specific architectural choices that have to be made as early as possible in the process to streamline production, and key non-functional constraints related to, for example, real-time deadlines and to platform parameters like energy consumption or memory footprint, have to be handled.

Models and model-based tools are nowadays instrumental in supporting these engineering processes. On the level of system engineering, after many actors in the industry, working on complex, distributed, embedded systems, identified the software crisis to be often rooted in a system crisis, model-based system engineering (MBSE) is becoming the norm in the industry. The formalization of system engineering models and approaches is considered to be one of the major factors for further gains in productivity, quality and time-to-market for such complex systems. Although an ancient discipline, system engineering is currently renewing at high speed, driven forward by the maturation of model-driven approaches and by standards such as SysML or Modelica.

In lower-level design, the last few years have seen an increased interest in using model-based engineering techniques to capture dedicated architectural and non-functional information in precise domain-specific models. Model-driven engineering techniques are interesting for two main reasons: (1) they allow for capturing dedicated architectural and non-functional information in precise (and often formal) domain-specific models, and (2) 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 these aspects are combined later more or less automatically via model transformations to obtain the final system.

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 and cyber-physical systems. We are seeking contributions relating to this subject at different levels, from modeling 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. Authors are therefore invited to submit papers on topics related to System Design Languages including the following non-exclusive list of topics:

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.

Submissions
-------

Attendees are invited to submit a short position paper (3 to 6 pages) or a full technical contribution (max. 10 pages) in PDF format in the Springer LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Papers must be submitted online via Easychair http://www.easychair.org/conferences/?conf=acesmb13. The authors will be notified about acceptance before the MoDELS 2013 early registration deadline. All accepted papers will be published in 2 versions: the Workshop Pre-proceedings will be published via the ACES-MB workshop pages, and the Workshop Post-proceedings will be published electronically in CEUR (http://ceur-ws.org), which is indexed by DBLP.


IMPORTANT DATES
---------------
Submission Deadline: July 15th, 2013
Notification of Acceptance: August 23rd, 2013
MoDELS 2013 Early Registration Date: TBD

Workshop Date:: September 29th, 2013

Venue
---------------
The workshop will be organized as a part of MoDELS 2013 Conference in Miami, Florida, USA.
It continues the series of ACES-MB workshops held at previous MoDELS conferences:
Toulouse (2008), Denver (2009), Oslo (2010), Wellington (2012) and Innsbruck (2013). Similar to its predecessors,
the workshop addresses audience from both academia and industry.

Organizing Committee
---------------
Iulian Ober
University of Toulouse-IRIT, France
Florian Noyrit
CEA-LIST/LISE, France
Susanne Graf
VERIMAG, France
Gabor Karsai
Vanderbilt University, TN, USA

Programme Committee
---------------
Stefan Van Baelen
iMinds vzw, Belgium
Nicolas Belloir
University of Pau, France
Agusti Canals
CS, France
Arnaud Cuccuru
CEA-LIST/LISE, France
Jean-Marie Farines
UFSC, Brasil
Peter Feiler
CMU-SEI, USA
Mamoun Filali
University of Toulouse, France
Sebastien Gerard
CEA-LIST/LISE, France
Susanne Graf
VERIMAG, France
Jerome Hugues
ISAE, France
Gabor Karsai
ISIS, Vanderbilt Univ., USA
Alexander Knapp
Univ. Augsburg, Germany
David Lesens
Astrium, France
Florian Noyrit
CEA-LIST/LISE, France
Ileana Ober
University of Toulouse-IRIT, France
Iulian Ober
University of Toulouse-IRIT, France
Dorina Petriu
Carleton University, Canada
Andreas Prinz
University of Agder, Norway
Bernhard Rumpe
RWTH Aachen, Germany
Bernhard Schaetz
FORTISS & T.U. Muenchen, Germany
Bran Selic
Malina Software, Canada
Oleg Sokolsky
University of Pennsylvania, USA
Martin Torngren
KTH Stockholm, Sweden
Tullio Vardanega
University of Padua, Italy
Eugenio Villar
Universidad de Cantabria, Spain
Virginie Wiels
ONERA, Toulouse, France
Thomas Weigert
Missouri S&T, USA
Tim Weilkiens
OOSE Innovative Informatik GmbH, Germany


Steering Committee
---------------

Stefan Van Baelen
iMinds vzw, Belgium
Huascar Espinoza
Tecnalia, Spain
Mamoun Filali
CNRS - IRIT, France
Sebastien Gerard
CEA - LIST, France
Susanne Graf
VERIMAG, France
Ileana Ober
University of Toulouse, France
Iulian Ober
University of Toulouse-IRIT, France
Thomas Weigert
Missouri S&T, USA