Section: Research Program

Cyber-Physical co-simulation

The FMI standard (Functional Mock-Up interface) has been proposed for “purely physical” co-simulation, and then adopted in frameworks such as Matlab/Simulink and Ansys, to mention two famous model editors. Conversely, the SystemC extension language of C/C++ is also a popular standard for hardware and System-on-Chip (SoC) simulation. A closer inspection shows that our kind of targeted “reactive” software applications share some of the features in that spectrum. But none of these formalisms and standards actually aims or pretends to describes in any formal way the functional and temporal constraints that are to bind several simulation models together.