ModellingUS & West
Verification of Composed Digital Twins in Systems-of-Systems
The paper presents an approach to formal verification of digital twin (DT) qualities in systems-of-systems (SoS). The authors use a case study of a greenhouse SoS modeled in VDM-RT, with executable formal models and property-based account of DT qualities. Obstacles to composing these artifacts at the SoS level are analyzed.
Why it matters
Important for developing methods for verification and validation of digital twins in complex integrated systems.
Relevant to DT products
- Original headline
- A System-of-Systems Case Study for the Verification of Composed Digital Twins
Translation and summary are machine-generated from the source. The full article is not republished; its rights belong to the source.