Rigorous Design of Cyber-Physical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Software and Systems Modeling Year : 2019

Rigorous Design of Cyber-Physical Systems


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

Dates and versions

hal-01636392 , version 1 (16-11-2017)



Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel. Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation. Software and Systems Modeling, 2019, Software and System Modeling, 18 (3), pp.1613--1636. ⟨10.1007/s10270-017-0642-5⟩. ⟨hal-01636392⟩
495 View
839 Download



Gmail Mastodon Facebook X LinkedIn More