From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications

Alexander Barbie,Wilhelm Hasselbring

2024-01-16

Abstract:The transformation to Industry 4.0 also transforms the processes of how we develop intelligent manufacturing production systems. To advance the software development of these new (embedded) software systems, digital twins may be employed. However, there is no consensual definition of what a digital twin is. In this paper, we give an overview of the current state of the digital twin concept and formalize the digital twin concept using the Object-Z notation. This formalization includes the concepts of physical twins, digital models, digital templates, digital threads, digital shadows, digital twins, and digital twin prototypes. The relationships between all these concepts are visualized as UML class diagrams.

Software Engineering

What problem does this paper attempt to address?

This paper discusses the concept of Digital Twin, its formal definition, and its applications in different industrial environments. Currently, there is no unified definition for Digital Twin. The authors use the formal method of Object-Z to define Digital Twin, including concepts such as physical twin, digital model, digital template, digital thread, digital shadow, and digital twin prototype, and visualize the relationships between these concepts using UML class diagrams.

The Digital Twin Prototype (DTP) method supports engineers in developing and automating the testing of complex embedded software systems, allowing virtual testing without the need for physical object connection. This can be used in the continuous integration/continuous deployment (CI/CD) process for automated integration testing, promoting agile validation and verification processes.

The paper showcases how to apply and implement Digital Twin through two practical case studies (ocean observation system and smart agriculture) and provides open-source laboratory research for other researchers to replicate and extend. In addition, the paper discusses the potential of Digital Twin in reducing validation and verification costs and the development of automation testing strategies, such as hardware-in-the-loop (HIL) testing to software-in-the-loop (SIL) testing.

Finally, the paper proposes a formal Object-Z specification to clarify the relationships between the concepts of physical twin, digital model, and digital shadow, and identifies three levels of Digital Twin concepts, namely digital model, digital shadow, and digital twin, to avoid confusion in definitions.