Model-compilation challenges for Cyber-Physical systems CPSReport as inadecuate

Model-compilation challenges for Cyber-Physical systems CPS - Download this document for free, or read online. Document in PDF available to download.

* Corresponding author 1 LIST - Laboratoire d-Intégration des Systèmes et des Technologies

Abstract : 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

Author: Belgacem Ben Hedia - Etienne Hamelin - Chokri Mraidha - Sara Tucci Piergiovanni -



Related documents