Model-compilation challenges [for Cyber-Physical systems (CPS)] - Proceeding of the 8th European Congress on Embedded Real Time Software and Systems Access content directly
Conference Papers Year : 2016

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

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.
Fichier principal
Vignette du fichier
paper_103.pdf (5.51 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01292315 , version 1

Cite

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⟩
196 View
317 Download

Share

Gmail Facebook X LinkedIn More