Aarhus University Seal

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Simon Thrane Hansen
  • Casper Thule
  • ,
  • Cláudio Gomes
  • Jaco van de Pol
  • Maurizio Palmieri, University of Pisa
  • ,
  • Emin Oguz Inci, KU Leuven
  • ,
  • Frederik Madsen
  • ,
  • Jesús Alfonso, Instituto Tecnologico de Aragon
  • ,
  • José Ángel Castellanos, Instituto Tecnologico de Aragon
  • ,
  • José Manuel Rodriguez, Instituto Tecnologico de Aragon

Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator describes how to coordinate the simulation of multiple simulation tools. The simulation result depends on the orchestration algorithm that must stabilize algebraic loops, choose the simulation resolution, and adhere to each simulation tool’s implementation. This paper describes how to verify that an orchestration algorithm respects all contracts related to the simulation tool’s implementation and how to synthesize such tailored orchestration algorithms. The approaches work for complex and adaptive co-simulation scenarios and have been applied to several real-world case studies.

Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Pages (from-to)999-1024
Number of pages26
Publication statusPublished - Dec 2022

Bibliographical note

Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

    Research areas

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

See relations at Aarhus University Citationformats

ID: 296196886