Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation

Abstract : Cyber-physical systems have developed into a very active research field, with a broad range of challenges and research directions going from requirements, to implementation and simulation, as well as validation and verification to guarantee essential properties. In this survey paper, we focus exclusively on the following fundamental issue: how to link physicality and computation, continuous time-space dynamics with discrete untimed ones? We consider that cyber-physical system design flow involves the following three main steps: 1) cyber-physical systems modeling; 2) discretization for executability; and 3) simulation and implementation. We review—and strive to provide insight into possible approaches for addressing—the key issues, for each of these three steps.
Type de document :
Article dans une revue
Software and Systems Modeling, Springer Verlag, inPress, pp.1-24. 〈https://doi.org/10.1007/s10270-017-0642-5〉. 〈10.1007/s10270-017-0642-5〉
Liste complète des métadonnées

Littérature citée [47 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01636392
Contributeur : Simon Bliudze <>
Soumis le : jeudi 16 novembre 2017 - 15:34:05
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : samedi 17 février 2018 - 15:55:29

Fichier

rsd-cps.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel. Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation. Software and Systems Modeling, Springer Verlag, inPress, pp.1-24. 〈https://doi.org/10.1007/s10270-017-0642-5〉. 〈10.1007/s10270-017-0642-5〉. 〈hal-01636392〉

Partager

Métriques

Consultations de la notice

261

Téléchargements de fichiers

208