Model-compilation challenges [for Cyber-Physical systems (CPS)]

Belgacem Ben Hedia (1) , Etienne Hamelin (1) , Chokri Mraidha (1) , Sara Tucci Piergiovanni (1)

1 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies

There are several "disconnects " which need to be addressed to provide effective means for engineering Cyber Physical Systems (CPS). One of them is how to construct an optimized application starting from high-level specifications taking into account exacerbated interactions with the physical environment and in the same time addressing new paradigms like mixed criticality, and distributed multi/many-cores platforms. We introduce in this position paper a new methodology called model-compilation for Cyber-Physical systems. This methodology introduces new concepts and process that can be seen as a specification that tool editors and CPS application developers can integrate (instantiate) in their tool chain or development process.

Keywords: Cyber Physical Systems (CPS); model-compilation; real-time and embedded system; design space exploration; correct-by-design; mix-criticality

Domains: Embedded Systems

Belgacem Ben Hedia, Etienne Hamelin, Chokri Mraidha, Sara Tucci Piergiovanni. Model-compilation challenges [for Cyber-Physical systems (CPS)]. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292315⟩