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.
Important for developing methods for verification and validation of digital twins in complex integrated systems.
Translation and summary are machine-generated from the source. The full article is not republished; its rights belong to the source.
