Abbrevation
ACES-MB
City
Oslo
Country
Norway
Deadline Paper
Start Date
End Date
Abstract

<pre>The development of embedded systems with real&#8211;time and other critical constraints raises distinctive problems&#046;<br>In particular, development teams have to make very specific architectural choices and handle key non&#8211;functional<br>constraints related to, for example, real&#8211;time deadlines and to platform parameters like energy consumption or<br>memory footprint&#046; The last few years have seen an increased interest in using model&#8211;based engineering (MBE)<br>techniques to capture dedicated architectural and non&#8211;functional information in precise (and even formal) domain&#8211;<br>specific models in a layered construction of systems&#046; MBE techniques are interesting and promising for the<br>following reasons: They allow to capture dedicated architectural and non&#8211;functional information in precise<br>(and even formal) domain&#8211;specific models, and they support a layered construction of systems, in which the<br>(platform independent) functional aspects are kept separate from architectural and non&#8211;functional (platform specific)<br>aspects, where the final system is obtained by combining these aspects later using model transformations&#046;<br>The objective of this workshop is to bring together researchers and practitioners interested in model&#8211;based<br>engineering to explore the frontiers of architecting and construction of embedded systems&#046; We are seeking<br>contributions relating to this subject at different levels, from modelling languages and semantics to concrete<br>application experiments, from model analysis techniques to model&#8211;based implementation and deployment&#046;<br>Given the criticality of the application domain, we particularly focus on model&#8211;based approaches yielding<br>efficient and provably correct designs&#046; Concerning models and languages, we welcome contributions presenting<br>novel modelling approaches as well as contributions evaluating existing ones&#046;<br></pre>