Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

Simon Thrane Hansen; Eduard Kamburjan; Zahra Kazemi

doi:10.1007/978-3-031-75390-9_4

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

Simon Thrane Hansen
, Eduard Kamburjan
, Zahra Kazemi

University of Luxembourg
University of Oslo
Aarhus University

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Editors	Tiziana Margaria, Bernhard Steffen
Number of pages	15
Publisher	Springer
Publication date	2024
Pages	47-61
DOIs	https://doi.org/10.1007/978-3-031-75390-9_4
Publication status	Published - 2024
Externally published	Yes
Event	International Symposium on Leveraging Applications of Formal Methods - Aldemar Knossos Royal Resort, Crete, Greece Duration: 27 Oct 2025 → 31 Oct 2025 Conference number: 12 https://2024-isola.isola-conference.org/

Conference

Conference	International Symposium on Leveraging Applications of Formal Methods
Number	12
Location	Aldemar Knossos Royal Resort
Country/Territory	Greece
City	Crete
Period	27/10/2025 → 31/10/2025
Internet address	https://2024-isola.isola-conference.org/

Series	Lecture Notes in Computer Science
Volume	15223

Keywords

co-simulation
digital twins
monitoring
runtime verification
discrepancy detection

Access to Document

10.1007/978-3-031-75390-9_4

Cite this

@inproceedings{f94c1de634a54734ad22668d1662a96c,

title = "Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins",

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{\textquoteright}s overhead may be significant for short simulations, but amortizes over longer simulations, as illustrated by a case study.",

keywords = "co-simulation, digital twins, monitoring, runtime verification, discrepancy detection",

author = "Hansen, \{Simon Thrane\} and Eduard Kamburjan and Zahra Kazemi",

year = "2024",

doi = "10.1007/978-3-031-75390-9\_4",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "47--61",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

address = "Germany",

note = "International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024 ; Conference date: 27-10-2025 Through 31-10-2025",

url = "https://2024-isola.isola-conference.org/",

}

Hansen, ST, Kamburjan, E & Kazemi, Z 2024, Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Springer, Lecture Notes in Computer Science, vol. 15223, pp. 47-61, International Symposium on Leveraging Applications of Formal Methods, Crete, Greece, 27/10/2025. https://doi.org/10.1007/978-3-031-75390-9_4

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. / Hansen, Simon Thrane; Kamburjan, Eduard; Kazemi, Zahra.
Leveraging Applications of Formal Methods, Verification and Validation. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2024. p. 47-61 (Lecture Notes in Computer Science, Vol. 15223).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

AU - Hansen, Simon Thrane

AU - Kamburjan, Eduard

AU - Kazemi, Zahra

N1 - Conference code: 12

PY - 2024

Y1 - 2024

N2 - 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.

AB - 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.

KW - co-simulation

KW - digital twins

KW - monitoring

KW - runtime verification

KW - discrepancy detection

U2 - 10.1007/978-3-031-75390-9_4

DO - 10.1007/978-3-031-75390-9_4

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 47

EP - 61

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - International Symposium on Leveraging Applications of Formal Methods

Y2 - 27 October 2025 through 31 October 2025

ER -

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this