Aarhus University Seal

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

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

Simulation-based analyses of cyber-physical systems are increasingly vital. Co-simulation is one such technique that enables the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator dictates how each simulation tool should simulate its corresponding subsystem. Obtaining correct simulation results requires an implementation-aware orchestration algorithm tailored to the specific scenario, without the orchestrator knowing each simulation tool’s implementation. Such an algorithm should stabilize algebraic loops, perform time step negotiation, and adhere to each simulation tool’s implementation. This paper describes an approach and implementation to prove that a given orchestration algorithm respects all contracts related to the simulation units’ implementation. The approach has been applied to an industrial case study and other complex scenarios. The tool and results are available online.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
EditorsA L Lafuente, A Mavridou
Number of pages18
Publication year2021
ISBN (print)978-3-030-85248-1
Publication statusPublished - 2021
Event26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 - Virtual, Online
Duration: 24 Aug 202126 Aug 2021


Conference26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021
ByVirtual, Online
SeriesLecture Notes in Computer Science

Bibliographical note

Funding Information:
We are grateful to the Poul Due Jensen Foundation, which has supported the establishment of a new Centre for Digital Twin Technology at Aarhus University. Maurizio Palmieri is also grateful to the Italian Ministry of Education and Research (MIUR) in the framework of the CrossLab project (Department of Excellence).

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

    Research areas

  • Co-simulation, Cyber-physical systems, Model-checking

See relations at Aarhus University Citationformats

ID: 229124307