Skip to Main content Skip to Navigation
Conference papers

Towards the Verification of Hybrid Co-simulation Algorithms

Casper Thule 1 Cláudio Gomes 2 Julien Deantoni 3 Peter Larsen 1 Jörg Brauer 4 Hans Vangheluwe 2
3 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 : Engineering modern, hybrid systems is becoming increasingly difficult due to the heterogeneity between different subsystems. Modelling and simulation techniques have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole. Co-simulation is a technique to combine multiple models and their simulators in order to analyse the behaviour of the whole system over time. Past research, however, has shown that the na¨ıvena¨ıve combination of simulators can easily lead to incorrect simulation results, especially when co-simulating hybrid systems. This paper shows (i) how co-simulation of a family of hybrid systems can fail to reproduce the order of events that should have occurred (event ordering); (ii) how to prove that a co-simulation algorithm is correct (w.r.t. event ordering), and if it is incorrect, how to obtain a counterexample showing how the co-simulation fails; and (iii) how to correct an incorrect co-simulation algorithm. We apply the above method to two well known co-simulation algorithms used with the FMI Standard, and we show that one of them is incorrect for the family of hybrid systems under study, under the restrictions of the standard. The conclusion is that either the standard needs to be revised, or one of the algorithms should be avoided.
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Tuesday, September 11, 2018 - 8:20:23 AM
Last modification on : Tuesday, December 7, 2021 - 4:10:54 PM
Long-term archiving on: : Wednesday, December 12, 2018 - 12:44:08 PM


Files produced by the author(s)


  • HAL Id : hal-01871531, version 1



Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Larsen, Jörg Brauer, et al.. Towards the Verification of Hybrid Co-simulation Algorithms. Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France. ⟨hal-01871531⟩



Record views


Files downloads