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. ISBN 978-3-319-46749-8

[img]
Preview
Text
Behavioural Models for FMI Co-simulations.pdf - Accepted Version

Download (459kB)

Abstract

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 veri�ed 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
Uncontrolled Keywords: verification, modelling, Circus, CSP
Subjects: G400 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
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: $ Ian McDonald
Date Deposited: 05 Jan 2017 16:11
Last Modified: 14 Aug 2017 11:19
URI: http://www.open-access.bcu.ac.uk/id/eprint/3770

Actions (login required)

View Item View Item

Research

In this section...