Skip to Main content Skip to Navigation

Toward a formalism to study the scheduling of cyber-physical systems simulations

Abstract : This paper presents ongoing work on the formalism of Cyber-Physical Systems (CPS) simulations. These systems are distributed real-time systems, and their simulations might be distributed or not. In this paper, we propose a model to describe the modular components forming a simulation of a CPS. The main goal is to introduce a model of generic simulation distributed architecture, on which we are able to execute a logical architecture of simulation. This architecture of simulation allows the expression of structural and behavioural constraints on the simulation, abstracting its execution. We will propose two implementations of the execution architecture based on generic architectures of distributed simulation: The High Level Architecture (HLA), an IEEE standard for distributed simulation, and one of its open-source implementation of RunTime Infrastructure (RTI): CERTI. The Distributed Simulation Scheduler (DSS), an Airbus framework scheduling predefined models. Finally, we present the initial results obtained applying our formalism to the open-source case study from the ROSACE case study.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, May 15, 2018 - 3:26:15 PM
Last modification on : Thursday, February 7, 2019 - 5:48:32 PM
Document(s) archivé(s) le : Tuesday, September 25, 2018 - 8:18:54 PM


Files produced by the author(s)




Henrick Deschamps, Gerlando Cappello, Janette Cardoso, Pierre Siron. Toward a formalism to study the scheduling of cyber-physical systems simulations. 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Oct 2017, Roma, Italy. pp. 1-8, ⟨10.1109/DISTRA.2017.8167667⟩. ⟨hal-01792537⟩



Record views


Files downloads