Behavioural Models for FMI Co-simulations

Cavalcanti, Ana and Woodcock, Jim and Amalio, Nuno (2016) Behavioural Models for FMI Co-simulations. In: Theoretical Aspects of Computing – ICTAC 2016. Lecture Notes in Computer Science . Springer, pp. 255-273. ISBN 978-3-319-46749-8

Full text not available from this repository. (Request a copy)


Simulation is a favoured technique for analysis of cyberphysical systems. With their increase in complexity, co-simulation, which involves the coordinated use of heterogeneous models and tools, has become widespread. An industry standard, FMI, has been developed to support orchestration; we provide the first behavioural semantics of FMI. We use the state-rich process algebra, Circus, to present our modelling approach, and indicate how models can be automatically generated from a description of the individual simulations and their dependencies. We
illustrate the work using three algorithms for orchestration. A stateless version of the models can be verified using model checking via translation to CSP. With that, we can prove important properties of these algorithms, like termination and determinism, for example. We also show
that the example provided in the FMI standard is not a valid algorithm.

Item Type: Book Section
Identification Number:
22 September 2016Published
Uncontrolled Keywords: verification, modelling, Circus, CSP
Subjects: CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Depositing User: Ian Mcdonald
Date Deposited: 05 Jan 2017 16:11
Last Modified: 22 Mar 2023 12:01

Actions (login required)

View Item View Item


In this section...