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.