Repeatable Decentralized Simulations for Cyber-Physical Systems
| Autor: | Mohammed Foughali, Simon Lacroix, Christophe Reymann |
|---|---|
| Přispěvatelé: | Équipe Robotique et InteractionS (LAAS-RIS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT) |
| Rok vydání: | 2019 |
| Předmět: |
0209 industrial biotechnology
Computer science Property (programming) Distributed computing Cyber-physical system Complex system [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 020207 software engineering 02 engineering and technology Formal methods [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation 020901 industrial engineering & automation Software deployment 0202 electrical engineering electronic engineering information engineering Key (cryptography) [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO] Robot Architecture |
| Zdroj: | QRS International Conference on Software Quality, Reliability and Security (QRS) International Conference on Software Quality, Reliability and Security (QRS), Jun 2019, Sofia, Bulgaria |
| DOI: | 10.1109/qrs.2019.00040 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|