Explicit semantic adaptation of hybrid formalisms for FMI co-simulation

Abstract

With the advent of Software-Intensive and Cyber-Physical Systems, hybrid formalisms can be used to intuitively model the interactions of different models in different formalisms. Hybrid formalisms combine discrete (time/event) model constructs with continuous-time model constructs. These hybrid formalisms usually require a dedicated simulator. In this work we explicitly model the interfaces involved in the semantic adaptation of different formalisms and implement the execution using the Functional Mock-up Interface standard for co-simulation. The interfaces and co-simulation units are automatically generated using transformations. On the one hand, this allows tool builders to reuse the existing simulation tools without the need to create a new simulation kernel for the hybrid formalism. On the other hand, our approach supports the generation of different bus architectures to address different constraints, such as the use of hardware in the loop, the API of the legacy simulator, bus or processor load performance, and real-time constraints. We apply our approach to the modelling and (co-)simulation of an automotive power window.