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:

• Model-based methodologies
• Multi-domain specific modeling languages
• Model-based engineering Process with AADL
• Architectural analysis domain methods

• Real-time Software/System development issues

• Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive)
• Integration of multiple domains of architectural analysis
• Model transformation and generative approaches

• Model Checking of architecture specifications
• ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction
• Assuring implementation correctness to architectural specification and
  analysis

• Tool chains facilitating architecture centric development

Réalisation Axome - Création de sites Internet