Skip to Main content Skip to Navigation
Conference papers

CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations

Giovanni Liboni 1 Julien Deantoni 2, 3, 4
4 KAIROS - Logical Time for Formal Embedded System Design
Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The development of Cyber-Physical Systems involves several disciplines and stakeholders, which use heterogeneous models and formalisms to specify the system and make early validation and verification. In order to understand the behaviour emerging from the heterogeneous models, a collaborative simulation (co-simulation) can be used. To make it happen, the system engineer must define a correct coordination of the different executable models, which can be distributed over different enterprises. This is an important but difficult (and error prone) task that can not be done without information about the behavioral semantics of each model. In this paper, we introduce an integrated development environment which allows 1) to import different executable models (named simulation units), 2) to graphically connect them with rich connectors and 3) to generate a dedicated, accurate and efficient distributed co-simulation. The framework is based on Eclipse EMF for the modeling part and on ∅MQ for the deployment. It is named CoSim20.
Complete list of metadata
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Thursday, December 3, 2020 - 3:16:10 PM
Last modification on : Friday, January 21, 2022 - 3:12:23 AM
Long-term archiving on: : Thursday, March 4, 2021 - 7:22:53 PM


Files produced by the author(s)


  • HAL Id : hal-03038547, version 1



Giovanni Liboni, Julien Deantoni. CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations. ICISE 2020 - 5th International Conference on Information Systems Engineering, Nov 2020, Manchester / Virtual, United Kingdom. ⟨hal-03038547⟩



Les métriques sont temporairement indisponibles