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 MDE 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, 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.

Réalisation Axome - Création de sites Internet