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

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) concerning the coordination and the behavioral semantics of the executable models.