Skip to Main content Skip to Navigation
Conference papers

Repeatable Decentralized Simulations for Cyber-Physical Systems

Christophe Reymann 1 Mohammed Foughali 2 Simon Lacroix 1
1 LAAS-RIS - Équipe Robotique et InteractionS
LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Simulation is very helpful for the development of cyber-physical systems, as it enables testing functionalities and their integration without full hardware deployment. For complex systems, such as fleets of heterogeneous robots, multiple simulators dedicated to particular physical processes must be interconnected, so as to build a wholesome simulation and test the overall system. A key property to ensure is that the overall simulation is repeatable. We propose a lightweight distributed architecture for time management, allowing to easily deploy complex simulations while strictly ensuring repeatability. A formal model of the architecture is provided, along with a proof of progress. An open source implementation, with a binding to the robotic ROS framework is made available.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Mohammed Foughali <>
Submitted on : Friday, June 14, 2019 - 5:14:12 PM
Last modification on : Thursday, June 10, 2021 - 3:06:36 AM


Files produced by the author(s)


  • HAL Id : hal-02156842, version 1


Christophe Reymann, Mohammed Foughali, Simon Lacroix. Repeatable Decentralized Simulations for Cyber-Physical Systems. International Conference on Software Quality, Reliability and Security (QRS), Jun 2019, Sofia, Bulgaria. ⟨hal-02156842⟩



Record views


Files downloads