期刊
2023 ANNUAL MODELING AND SIMULATION CONFERENCE, ANNSIM
卷 -, 期 -, 页码 220-232出版社
IEEE
关键词
digital twins; verification; model quality; fidelity; substitutability; cyber-physical systems
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据