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