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.