Journal
2023 ANNUAL MODELING AND SIMULATION CONFERENCE, ANNSIM
Volume -, Issue -, Pages 220-232Publisher
IEEE
Keywords
digital twins; verification; model quality; fidelity; substitutability; cyber-physical systems
Ask authors/readers for more resources
Digital Twins (DTs) are created using modeling and simulation techniques in complex domains, such as cyber-physical systems. This article focuses on the investigation of how a DT service and its qualities relate to the models used by the service. It examines the qualities of relevance, verifiability, substitutability, and fidelity, and discusses strategies for adapting models to ensure these qualities, using an incubator system as an example.
Digital Twins (DTs) are built using modelling and simulation techniques in complex domains such as cyber-physical systems. However, further formal investigation is required for how a DT and the services it provides relate to the qualities of the models used by a service. Specifically, this article examines when a DT service can be said to have the qualities of relevant, verifiable, substitutable, and faithful based on the results of checking properties in comparison to the actual system. Using an incubator system as our running example, we show how a DT service relies on multiple models, present the consequences when these qualities are violated, and discuss strategies for adapting models to ensure these qualities.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available