A System-of-Systems Case Study for the Verification of Composed Digital Twins

• URL: http://arxiv.org/abs/2608.28498v1
• Date: Fri, 28 Aug 2026 16:29:10 GMT
• Title: A System-of-Systems Case Study for the Verification of Composed Digital Twins
• Abstract summary: This study aims to identify challenges that a framework for DT validation and verification should address in Systems-of-Systems.<n>We present a case study based on a DT-enabled greenhouse SoS modelled in VDM-RT.<n>We consider how DT qualities may be operationalised as sets of verifiable properties.
• Score: 4.424567144395299
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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 how DT qualities may be operationalised as sets of verifiable properties. Formal modelling and analysis techniques and tools supporting their verification are identified. The study reveals how interpretations of DT qualities must adapt to different architectural roles and how local quality guarantees form assumptions for compositional reasoning. Full formalisation and verification of SoS composition is identified as future work.

Related papers

• Position: Anthropomorphic Misalignment Research Needs Stronger Evidence [52.76826423649968]
  We show how conceptual ambiguity, non-robust datasets, experimental design, and insufficient causal interventions can lead to overinterpretation of model behaviors.<n>This position paper aims to offer guidance on evidentiary considerations that can help improve methodological rigor in AMR.
  arXiv  Detail & Related papers  (2026-05-29T16:38:53Z)
• Understanding Catastrophic Interference: On the Identifibility of Latent Representations [67.05452287233122]
  Catastrophic interference, also known as catastrophic forgetting, is a fundamental challenge in machine learning.<n>We propose a novel theoretical framework that formulates catastrophic interference as an identification problem.<n>Our approach provides both theoretical guarantees and practical performance improvements across both synthetic and benchmark datasets.
  arXiv  Detail & Related papers  (2025-09-27T00:53:32Z)
• The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review [0.0]
  This systematic literature review investigates DT composition and verification and validation (V&V) methodologies.<n>V&V approaches vary, with semi-formal methods and simulations dominating; formal verification is underutilized.<n>There is a need to move beyond model validation to address integration and cyber-physical consistency.
  arXiv  Detail & Related papers  (2025-06-25T13:45:16Z)
• TwinArch: A Digital Twin Reference Architecture [83.71071897785683]
  Digital Twins (DTs) are dynamic virtual representations of physical systems, enabled by seamless, bidirectional communication between the physical and digital realms.<n>The proposed Digital Twin Reference Architecture is named TwinArch. It is documented using the Views and Beyond methodology by the Software Engineering Institute.
  arXiv  Detail & Related papers  (2025-04-10T07:53:11Z)
• Identifiable Exchangeable Mechanisms for Causal Structure and Representation Learning [54.69189620971405]
  We provide a unified framework, termed Identifiable Exchangeable Mechanisms (IEM), for representation and structure learning.<n>IEM provides new insights that let us relax the necessary conditions for causal structure identification in exchangeable non-i.i.d. data.<n>We also demonstrate the existence of a duality condition in identifiable representation learning, leading to new identifiability results.
  arXiv  Detail & Related papers  (2024-06-20T13:30:25Z)
• Constructing and Evaluating Digital Twins: An Intelligent Framework for DT Development [11.40908718824589]
  Development of Digital Twins (DTs) represents a transformative advance for simulating and optimizing complex systems in a controlled digital space. This paper introduces an intelligent framework for the construction and evaluation of DTs, specifically designed to enhance the accuracy and utility of DTs in testing algorithmic performance. We propose a novel construction methodology that integrates deep learning-based policy gradient techniques to dynamically tune the DT parameters, ensuring high fidelity in the digital replication of physical systems.
  arXiv  Detail & Related papers  (2024-06-19T01:45:18Z)
• Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles [12.153961316909852]
  The concept of Digital Twin (DT) is increasingly applied to systems on different levels of abstraction across domains. The definition of DT is unclear, neither is there a clear pathway to develop DT to fully realise its capacities. We propose a DT maturity matrix, based on which we propose a model-based DT development methodology.
  arXiv  Detail & Related papers  (2024-06-04T11:31:00Z)
• Demystifying Digital Twin Buzzword: A Novel Generic Evaluation Model [0.0]
  Despite the growing popularity of digital twins (DT) developments, there is a lack of common understanding and definition for important concepts of DT. This article proposes a four-dimensional evaluation framework to assess the maturity of digital twins across different domains.
  arXiv  Detail & Related papers  (2023-11-21T19:56:26Z)
• SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version) [71.12474112166767]
  We introduce a variant of one of the most investigated models in this spectrum, namely simple artifact systems (SASs) This DL, enjoying suitable model-theoretic properties, allows us to define SASs to which backward reachability can still be applied, leading to decidability in PSPACE of the corresponding safety problems.
  arXiv  Detail & Related papers  (2021-08-27T15:04:11Z)
• NADS: Neural Architecture Distribution Search for Uncertainty Awareness [79.18710225716791]
  Machine learning (ML) systems often encounter Out-of-Distribution (OoD) errors when dealing with testing data coming from a distribution different from training data. Existing OoD detection approaches are prone to errors and even sometimes assign higher likelihoods to OoD samples. We propose Neural Architecture Distribution Search (NADS) to identify common building blocks among all uncertainty-aware architectures.
  arXiv  Detail & Related papers  (2020-06-11T17:39:07Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.