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

Simon Bliudze 1 Sébastien Furic 2 Joseph Sifakis 3 Antoine Viel 4
1 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
2 SERENA - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
Inria de Paris
3 VERIMAG - IMAG - VERIMAG
4 Siemens Industry Software SAS [Roanne]
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.
Keywords : Linear graphs Abstraction Hybrid Dataflow Networks Idealization Discretization Bond graphs Modelica Structural equational modeling Cyber-physical systems design Language embedding
Document type :
Journal articles
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download
https://hal.inria.fr/hal-01636392
Contributor : Simon Bliudze <>
Submitted on : Thursday, November 16, 2017 - 3:34:05 PM
Last modification on : Wednesday, September 25, 2019 - 10:20:07 AM
Long-term archiving on : Saturday, February 17, 2018 - 3:55:29 PM

File

rsd-cps.pdf
Files produced by the author(s)

Identifiers

Collections

IMAG | TDS-MACS | INRIA | UGA | CRISTAL-SPIRALS | CRISTAL | INRIA-ROCQ | UNIV-LILLE | VERIMAG

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, In press, Software and System Modeling, 18 (3), pp.1613--1636. ⟨10.1007/s10270-017-0642-5⟩. ⟨hal-01636392⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

618

Files downloads

503

Contact


archive-ouverte@inria.fr