Motivation

The development of embedded systems with real-time and other types of critical constraints raises distinctive problems. In particular, the development teams have to handle 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.). In this context, the last few years have seen an increased interest in using model-driven engineering (MDE) techniques. Such techniques are interesting for two main reasons: (1) they allow for capturing dedicated architectural and non-functional information in precise (preferably formal) domain-specific models, and (2) they provide the premise for a layered construction of systems, in which the (platform independent) functional aspects can be kept separated from architectural and non-functional (platform specific) aspects, after which they can be combined more or less automatically via model transformations to obtain the final system.

Objective

The objective of this workshop is to bring together researchers and practitioners interested in model-based software engineering for real-time 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.

Call for Papers

The Call for Papers of the ACES^MB 2008 workshop can be found here.

Réalisation Axome - Création de sites Internet