Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins
- Simon Thrane Hansen,
- ,
- Zahra Kazemi
- University of Luxembourg,
- University of Oslo,
- Aarhus University
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewPublication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 47-61 (15 pages)Publication milestones
- Published - 2024
Publication status
Published - 2024
Publisher
Springer, United States, GermanyBook 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 ValidationHost 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
PlumX, opens in new tab
Citations
2
Access to documents
Related Event
Title
International Symposium on Leveraging Applications of Formal Methods
Event type
ConferenceDegree of recognition
International eventDate
27/10/2025 - 31/10/2025Location
Aldemar Knossos Royal ResortCreteGreece
