This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE system behaviour and/or architecture models. To this end, we solicit papers (no more than 6 pages long) related to, but not limited to, the following principal topics:

• Multi-domain specific modeling languages
• Model transformation and generative approaches
• Model-based Methodologies
• Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive)
• Model Checking of architecture specifications
• ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction

Réalisation Axome - Création de sites Internet