Towards a Static Check of FMUs in VDM-SL

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each responsible for a part of the system. The contribution presented in this paper is an initial formal model of the FMI standard using the VDM Specification Language. Early results suggest that the FMI standard defines a number of FMU static constraints that are not enforced by many of the tools that are able to export such FMUs.

Original languageEnglish
Title of host publicationFormal Methods : FM 2019 International Workshops
EditorsEmil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Number of pages17
Place of publicationCham
Publication year2020
ISBN (print)978-3-030-54996-1
ISBN (Electronic)978-3-030-54997-8
Publication statusPublished - 2020
EventFM 2019 International Workshops - Porto, Portugal
Duration: 9 Oct 201911 Oct 2019


ConferenceFM 2019 International Workshops
SeriesLecture Notes in Computer Science

See relations at Aarhus University Citationformats

ID: 196430106