WIP on a Coordination Language to Automate the Generation of Co-Simulations

Giovanni Liboni 1, 2 Julien Deantoni 1, 3, 4
1 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 : System Engineering involves several disciplines to design, develop and verify complex systems, using different modeling languages with different semantics. A simulation of the global behavior from the heterogeneous executable models is used to verify and validate the emerging behavior of the system. Co-simulation is a way to realize this simulation but it requires coordinating the different heterogeneous artifacts. This coordination is not a trivial task due to the increasing complexity and heterogeneity. In this paper, we propose a language that enables the specification of a coordination between models and the automatic generation of a dedicated coordinator (Master Algorithm) with respect to the coordination and the behavioral semantics of the executable models.
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

Contributor : Team Kairos <>
Submitted on : Thursday, September 19, 2019 - 1:26:52 PM
Last modification on : Friday, September 20, 2019 - 1:18:47 AM


Files produced by the author(s)


  • HAL Id : hal-02292048, version 1



Giovanni Liboni, Julien Deantoni. WIP on a Coordination Language to Automate the Generation of Co-Simulations. Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom. ⟨hal-02292048⟩



Record views


Files downloads