The design of embedded and cyber-physical systems with real-time and critical constraints raises distinctive problems throughout the development process, from high-level specifications to verification, implementation, testing and maintenance. This workshop focuses on innovative techniques and methods allowing to specify, construct and bridge the gap between high-level and low-level designs for such safety-critical systems. Undeniably, on the high-level engineering side, the complexity of cyber-physical and embedded systems has greatly increased during the past few years, while their usage as parts of large systems-of-systems has accelerated. Therefore, architecting cyber-physical and embedded systems has now to take into account complex collaboration patterns and integration of constraints of computational elements and physical parts, which makes it a compelling task. From the system engineering perspective, many actors in the industry working on complex distributed embedded systems identified the software crisis to be often rooted in a system crisis such that model-based system engineering (MBSE) is becoming the norm in the industry. The formalization of system engineering models and approaches is considered to be one of the major factors for further gains in productivity, quality and time-to-market such complex systems. Although a mature discipline, system engineering is currently renewing at high speed, driven forward by the progress of model-driven approaches and by standards such as SysML or Modelica. On the low-level design side, there are specific architectural choices that have to be made as early as possible in the process to streamline production. Key non-functional constraints related to, for instance, real-time deadlines and to platform parameters like energy consumption or memory footprint, have to be handled. In lower-level design, the last few years have seen an increased interest in using model-based engineering techniques for two main reasons: (1) they provide means to capture architectural and non-functional information using precise (and often formal) domain-specific models, and (2) they separate functional aspects (platform independent) from architectural and non-functional aspects (platform specific). These aspects are combined later (more or less automatically) via semantic-preserving model transformations to obtain the final system. This workshop aims to bring together researchers and practitioners interested in model-based engineering (MBE) to explore innovative ideas and experiences on architecting and construction of cyber-physical and embedded systems. It will consist in an introduction by the organizers, a presentation of a guest lecturer (name to be confirmed), presentation of accepted papers and a discussion forum about research directions and challenges in model-based design for embedded and cyber-physical systems, as well as controversial questions regarding the state of the art and the state of practice in this domain. The Call for Papers flyer is available here.

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

The design of embedded and cyber-physical systems with real-time and critical constraints raises distinctive problems throughout the development process, from high-level specifications to verification, implementation, testing and maintenance. This workshop focuses on innovative techniques and methods allowing to specify, construct and bridge the gap between high-level and low-level designs for such safety-critical systems.

Undeniably, on the high-level engineering side, the complexity of cyber-physical and embedded systems has greatly increased during the past few years, while their usage as parts of large systems-of-systems has accelerated. Therefore, architecting cyber-physical and embedded systems has now to take into account complex collaboration patterns and integration of constraints of computational elements and physical parts, which makes it a compelling task.

From the system engineering perspective, many actors in the industry working on complex distributed embedded systems identified the software crisis to be often rooted in a system crisis such that model-based system engineering (MBSE) is becoming the norm in the industry. The formalization of system engineering models and approaches is considered to be one of the major factors for further gains in productivity, quality and time-to-market such complex systems. Although a mature discipline, system engineering is currently renewing at high speed, driven forward by the progress of model-driven approaches and by standards such as SysML or Modelica.

On the low-level design side, there are specific architectural choices that have to be made as early as possible in the process to streamline production. Key non-functional constraints related to, for instance, real-time deadlines and to platform parameters like energy consumption or memory footprint, have to be handled. In lower-level design, the last few years have seen an increased interest in using model-based engineering techniques for two main reasons: (1) they provide means to capture architectural and non-functional information using precise (and often formal) domain-specific models, and (2) they separate functional aspects (platform independent) from architectural and non-functional aspects (platform specific). These aspects are combined later (more or less automatically) via semantic-preserving model transformations to obtain the final system.

This workshop aims to bring together researchers and practitioners interested in model-based engineering (MBE) to explore innovative ideas and experiences on architecting and construction of cyber-physical and embedded systems. It will consist in an introduction by the organizers, a presentation of a guest lecturer (name to be confirmed), presentation of accepted papers and a discussion forum about research directions and challenges in model-based design for embedded and cyber-physical systems, as well as controversial questions regarding the state of the art and the state of practice in this domain.

The Call for Papers flyer is available here.