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
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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 metadatas
Contributor : Team Kairos <>
Submitted on : Thursday, December 3, 2020 - 3:16:10 PM
Last modification on : Thursday, January 21, 2021 - 10:46:03 AM


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⟩



Record views


Files downloads