Co-simulating event-B and continuous models via FMI

Abstract

We present a generic co-simulation approach between discrete-event models, developed in the Event-B formal method, and continuous models, exported via the Functional Mock-up Interface for Co-simulation standard.The concept is implemented into a simulation extension for the Rodin platform, thus leveraging powerful capabilities of refinementbased modelling and deductive verification in Event-B while introducing a continuous-time aspect and simulation-based validation for the development of complex hybrid systems.