DTN-Core: Towards a Framework for Designing and Operating Digital Twin Networks

This work presents, DTN-Core, a flexible and verifiable approach to create a network of digital twin models. The goal is to provide a generic design that supports location-independency and heterogeneity of messaging protocols, data formats, and data granularity. We also analyze data compatibility issues that may arise when coupling digital twins. A combination of data and behavioral coupling is used to represent each digital twin. A Timed automata approach is used as a real-time model that describes the behavior of the Digital Twin Network (DTN). System properties are defined using Timed Computation Tree Logic (TCTL) and the model is verified using an existing model-checking tool UPPAAL.