Skip to search boxSkip to navigationSkip to main content

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

  • University of Luxembourg
    ,
  • University of Oslo
    ,
  • Aarhus University
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 47-61 (15 pages)

Publication milestones

  • Published - 2024

Publication status

Published - 2024

Publisher

Springer, United States, Germany

Book series

  • Book series name: Lecture Notes in Computer Science
    Volume: 15223

Publication IDs

  • Scopus: 105003226095

Host publication title

Leveraging Applications of Formal Methods, Verification and Validation

Host publication editors

  • Tiziana Margaria
  • Bernhard Steffen

Abstract

Co-simulation, essential for various domains, involves simulating systems with heterogeneous subsystems by combining them into scenarios using orchestration algorithms. Due to system evolutions, digital twins may require dynamic reconfiguration of the scenario and orchestration algorithm, which may introduce a significant simulation error that may go unnoticed if the scenario and orchestration algorithm are not correctly aligned. This paper introduces a monitor-based approach to automatically detect and help prevent any discrepancies between the scenario and the orchestration algorithm. The approach’s overhead may be significant for short simulations, but amortizes over longer simulations, as illustrated by a case study.

Publication metrics

Related Event

Title

International Symposium on Leveraging Applications of Formal Methods

Event type

Conference

Degree of recognition

International event

Date

27/10/2025 - 31/10/2025

Location

Aldemar Knossos Royal ResortCreteGreece