SYNTHESIZING ORCHESTRATION ALGORITHMS FOR FMI 3.0

An essential part of building reliable cyber-physical systems is to be able to predict the behavior of such systems using accurate simulations. Standards for describing the behavior of such systems and simulations are evolving to facilitate a broader range of applications. The Functional Mockup Interface (FMI) standard is no exception. FMI 3.0 introduces synchronous clocks to facilitate efficient and repeatable simulation of event-driven systems. Nevertheless, the standard does not specify how to implement the synchronization of models, and it is up to the tool vendors to implement the orchestration algorithm responsible for this task. This paper presents the first approach to synthesizing the orchestration algorithm for FMI 3.0 supporting synchronous clocks. A prototype implementation of the algorithm is presented.

Automated summary

An accurate simulation is crucial for building reliable cyber-physical systems, and standards for describing system behavior and simulations are evolving to accommodate a wider range of applications. The Functional Mockup Interface (FMI) 3.0 standard introduces synchronous clocks to enable efficient and repeatable simulation of event-driven systems. However, the standard does not specify how to synchronize models, leaving it up to the tool vendors to implement the orchestration algorithm. This paper presents the first approach to synthesizing the orchestration algorithm for FMI 3.0 supporting synchronous clocks, along with a prototype implementation.