A System-of-Systems Case Study for the Verification of Composed Digital Twins
[Inżynieria oprogramowania] Autorzy: Mennatullah T. Khedr, Mengwei Xu, John S. Fitzgerald i 1 więcej
Current approaches to engineering dependable Digital Twins (DTs) of Cyber-Physical Systems lack practical guidance on how qualities such as relevance, verifiability, substitutability and fidelity may be formalised and verified. This need is amplified in Systems-of-Systems (SoS), where reliance is placed on the composition of DTs. The goal of this study is to identify foundational challenges that a framework for DT validation and verification should address in an SoS setting, and to investigate the formalisation of individual DT artefacts as a step towards compositional reasoning. We present a case study based on a DT-enabled greenhouse SoS modelled in VDM-RT (Vienna Development Method, Real-Time), including executable formal models, a property-based account of DT qualities, and an analysis of the obstacles arising when attempting to compose these artefacts at the SoS level. We consider …
- Kategoria arxiv
- cs.SE
- Kategoria
- Inżynieria oprogramowania