DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations

A digital twin is a virtual replica of a physical system that has to interact with it in real-time in order to facilitate decision-making, to reduce failures and costs, and to ensure a coherent and safe system execution. We call effectiveness the ability of the digital twin to direct the physical co...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International journal on software tools for technology transfer Ročník 27; číslo 5; s. 443 - 464
Hlavní autori: Castiglioni, Valentina, Lanotte, Ruggero, Loreti, Michele, Tini, Simone
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2025
Springer Nature B.V
Predmet:
Computer Science
Digital twins
Effectiveness
Feedback
Industrial plants
Perturbation
Real time
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Uncertainty
Virtual reality
Uncertainty
Effectiveness
Digital twins
Feedback
ISSN:1433-2779, 1433-2787
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:A digital twin is a virtual replica of a physical system that has to interact with it in real-time in order to facilitate decision-making, to reduce failures and costs, and to ensure a coherent and safe system execution. We call effectiveness the ability of the digital twin to direct the physical counterpart. In this paper we provide the means to evaluate the effectiveness of a digital twin in the case that the physical system is operating under uncertainty, and it is therefore subject to perturbations . Specifically, we present the DT-Stark tool, that extends Stark , a tool for modelling and verification of systems operating under uncertainty, with feedback , a special mechanism that allow us to model the communications, and their effects, between the digital and the physical (perturbed) twin in a concise, clean fashion. We can then exploit the features of Stark to compare the behaviour of the twins, to verify properties over them, and to measure effectiveness. We provide some examples of the use of our tool by applying it to the evaluation of the effectiveness of digital twins in two robotic scenarios: an industrial plant and a smart hospital.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-025-00826-w