Behavioural Models for FMI Co-simulations

Cavalcanti, Ana and Woodcock, Jim and Amalio, Nuno (2016) Behavioural Models for FMI Co-simulations. ICTAC 2016. ISSN 0302-9743

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

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: Article
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: 29 Jun 2017 11:42
URI: http://www.open-access.bcu.ac.uk/id/eprint/3770

Actions (login required)

View Item View Item

Research

In this section...