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.
https://hal.inria.fr/hal-02292048
Contributor : Team Kairos
<>
Submitted on : Thursday, September 19, 2019 - 1:26:52 PM
Last modification on : Friday, September 20, 2019 - 1:18:47 AM
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⟩
