EXAMINING MODEL QUALITIES AND THEIR IMPACT ON DIGITAL TWINS

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.

Automated summary

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.