STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany
Tue 10 Jun 2025 15:30 - 16:00 at M 001 - ECMFA Session 3: Digital twins and data analysis Chair(s): Iván Alfonso

Over the last few years, digital twins (DTs) are attracting growing attention and uptake in both industry and academia. While several definitions exist for a DT, most definitions of DTs focus on having an exact virtual replica (often called the virtual entity (VE)) of a real-world object or process, which typically consists of several models interacting with each other. Furthermore, due to the connection and synchronization with their real-world physical counterpart, DTs evolve continuously across their lifecycle. Often, however, details of construction and internal structure of DTs are left un- or underspecified. Over time, both these factors (un(der)specification and real-time changes due to synchronization) might lead to misuse, undesirable behavior, or runtime issues, like errors, and performance problems. This hinders the (re)use of DTs and/or its components for the intended purpose or any other future purposes. In this paper, we propose a new approach that helps to overcome the above sketched issues. We do so, in a case-driven way, by addressing a DT of an autonomously driving truck, developed by several researchers over a longer period of time, and with input of several MSc and PhD students. As it turns out, this DT lacks overall complete documentation. We demonstrate how logging can be used to learn about the actual observed runtime behavior of a DT and show how this behavior can differ from its intended behavior at design stage. We explore the different passive model learning techniques, such as Regular positive negative inference (RPNI), Flexfringe and Process mining, in order to (semi-)automate the process of obtaining behavioral models of DT. In addition, we showcase how the learned behavioral model of the DT, can be analyzed further to detect underlying causes of perceived runtime issues in DTs.

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
ECMFA Session 3: Digital twins and data analysisECMFA at M 001
Chair(s): Iván Alfonso Luxembourg Institute of Science and Technology
15:30
30m
Talk
Behavioral analysis of a digital twin using logging and model learning
ECMFA
Gunasekaran Raghavendran Tilburg University, Boudewijn Haverkort University of Twente, Loes Kruger Radboud University
Link to publication DOI
16:00
30m
Talk
Navigating the trace of executable domain specific languages through a trace domain query language
ECMFA
Hiba Ajabri Nantes Université, Jean-Marie Mottu Nantes Université, Christian Attiogbe Nantes Université, Pascal Berruet University of Bretagne Sud
Link to publication DOI
16:30
30m
Talk
Support for Model-Based Data Sovereignty Analysis
ECMFA
Sanjeev Sun Shakya University of Koblenz, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Julian Flake University of Koblenz, Alexander Peikert University of Koblenz
Link to publication DOI