Model-compilation challenges [for Cyber-Physical systems (CPS)] - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
paper_103.pdf (5.51 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01292315 , version 1 (22-03-2016)

Identifiants

  • HAL Id : hal-01292315 , version 1

Citer

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⟩
249 Consultations
351 Téléchargements

Partager

More