We are seeking contributions at all levels of the construction of cyber-physical and embedded systems, from high-level modeling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Authors are invited to submit papers on the following non-exclusive list of topics:

  1. BulletModel-based embedded and cyber-physical systems engineering: system design techniques (compositionality, synthesis, etc.); semantics of system models, refinement of system designs into hardware/software implementations (e.g. scheduling, code generation, compilation), integration and interaction of system and software design models; validation of systems.

  2. BulletArchitecture description: position of architecture description languages (ADLs) in an MBE approach, techniques for deriving architecture models from requirements, deriving high-level design models from architecture models; verification and validation using architecture models.

  3. BulletCapturing and exploitation of non-functional aspects, interactions among functional and non-functional aspects of the design, including but not limited to performance, quality of service, hard real-time constraints, power and resource management, security, etc.

  4. BulletDomain specific design and implementation languages. Computation and composition models – synchronous languages and paradigms (Lustre/SCADE, Simulink, Signal/Polychrony, TTA, Giotto, etc.), scheduling-oriented models (HRT-UML, Ada Ravenscar) –, component languages (BIP, FRACTAL, Ptolemy, etc.).

  5. BulletModel-based analysis, verification and validation techniques. Exploit above-mentioned models for formal analysis, verification and validation.

Submission process

Attendees are invited to submit a short position paper (max. 6 pages) or a full technical contribution (max. 8 pages) as a PDF in the IEEE paper format - as for the MoDELS conference ( Papers must be submitted online via EasyChair:

All accepted papers will be published electronically as workshop proceedings in CEUR (, which is indexed by DBLP and Google Scholar.