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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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.

Originalsprog	Engelsk
Titel	Leveraging Applications of Formal Methods, Verification and Validation
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	15
Forlag	Springer
Publikationsdato	2024
Sider	47-61
DOI	https://doi.org/10.1007/978-3-031-75390-9_4
Status	Udgivet - 2024
Udgivet eksternt	Ja
Begivenhed	12th International Symposium - Aldemar Knossos Royal Resort, Crete, Grækenland Varighed: 27 okt. 2025 → 31 okt. 2025 https://2024-isola.isola-conference.org/

Konference

Konference	12th International Symposium
Lokation	Aldemar Knossos Royal Resort
Land/Område	Grækenland
By	Crete
Periode	27/10/2025 → 31/10/2025
Internetadresse	https://2024-isola.isola-conference.org/

Navn	Lecture Notes in Computer Science
Vol/bind	15223

Adgang til dokumentet

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

Citationsformater

@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 = "12th International Symposium, 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. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation. Springer, Lecture Notes in Computer Science, bind 15223, s. 47-61, 12th International Symposium, Crete, Grækenland, 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. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2024. s. 47-61 (Lecture Notes in Computer Science, Bind 15223).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

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

AU - Hansen, Simon Thrane

AU - Kamburjan, Eduard

AU - Kazemi, Zahra

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 - 12th International Symposium

Y2 - 27 October 2025 through 31 October 2025

ER -

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater