Generation of Co-simulation Algorithms Subject to Simulator Contracts

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

Correct co-simulation results require a careful consideration of how the interacting simulators are implemented. In version 2.0 of the FMI Standard, input handling implementation is left implicit, which leads to the situation where a simulator can be interacted with in a manner that its implementation does not expect, yielding incorrect results. In this paper, we build on prior work to make information about each simulator implementation explicit, in order to derive correct interactions with it. The formalization we use is specific to two kinds of contracts, but could serve as a basis to a general approach to black box co-simulation. The algorithm we propose generates a co-simulation execution plan in linear time. It has been successfully applied to an industrial case study, and the results are available online.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - SEFM 2019 Collocated Workshops : CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
EditorsJavier Camara, Martin Steffen
Number of pages16
Publication yearSep 2020
ISBN (print)9783030575052
Publication statusPublished - Sep 2020
EventSEFM International Conference on Software Engineering and Formal Methods - Oslo, Norway
Duration: 16 Sep 202020 Sep 2020
Conference number: 2019


ConferenceSEFM International Conference on Software Engineering and Formal Methods
SeriesLecture Notes in Computer Science (LNCS)
SeriesProgramming and Software Engineering

    Research areas

  • Co-simulation, Constraint solving, Contract-based code generation, Prolog

See relations at Aarhus University Citationformats

ID: 198040778