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
PublisherSpringer
Publication yearSep 2020
Pages34-49
ISBN (print)9783030575052
DOIs
Publication statusPublished - Sep 2020
EventSEFM International Conference on Software Engineering and Formal Methods - Oslo, Norway
Duration: 16 Sep 202020 Sep 2020
Conference number: 2019

Conference

ConferenceSEFM International Conference on Software Engineering and Formal Methods
Nummer2019
LandNorway
ByOslo
Periode16/09/202020/09/2020
SeriesLecture Notes in Computer Science (LNCS)
Volume12226
ISSN0302-9743
SeriesProgramming and Software Engineering
Volume12226

    Research areas

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

See relations at Aarhus University Citationformats

ID: 198040778