Topics 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: Model-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. Architecture 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. Capturing 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. Domain 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.). Model-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 (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Papers must be submitted online via EasyChair: https://easychair.org/conferences/?conf=acesmb15. All accepted papers will be published electronically as workshop proceedings in CEUR (http://ceur-ws.org), which is indexed by DBLP and Google Scholar.

ACES-MB 2015

8th International Workshop on

Model-based Architecting of Cyber-Physical and Embedded Systems

September 28, 2015

In conjunction with MODELS 2015, Ottawa, Canada

Home Submission Dates Program Committees Previous editions

Topics

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:

Model-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.
Architecture 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.
Capturing 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.
Domain 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.).
Model-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 (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Papers must be submitted online via EasyChair: https://easychair.org/conferences/?conf=acesmb15.

All accepted papers will be published electronically as workshop proceedings in CEUR (http://ceur-ws.org), which is indexed by DBLP and Google Scholar.