TY - JOUR
T1 - A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures
AU - Dunbar, Daniel
AU - Hagedorn, Thomas
AU - Blackburn, Mark
AU - Verma, Dinesh
N1 - Publisher Copyright:
© 2024 by the authors.
PY - 2024/1
Y1 - 2024/1
N2 - Individual model verification is a common practice that increases the quality of design on the left side of the Vee model, often before costly builds and prototypes are implemented. However, verification that spans multiple models at higher levels of abstraction (e.g., subsystem, system, mission) is a complicated endeavor due to the federated nature of the data. This paper presents a tool-agnostic approach to higher-level verification tasks that incorporates tools from Semantic Web Technologies (SWTs) and graph theory more generally to enable a three-pronged verification approach to connected data. The methods presented herein use existing SWTs to characterize a verification approach using ontology-aligned data from both an open-world and closed-world perspective. General graph-based algorithms are then introduced to further explore structural aspects of portions of the graph. This verification approach enables a robust model-based verification on the left side of the Vee model to reduce risk and increase the visibility of the design and analysis work being performed by multidisciplinary teams.
AB - Individual model verification is a common practice that increases the quality of design on the left side of the Vee model, often before costly builds and prototypes are implemented. However, verification that spans multiple models at higher levels of abstraction (e.g., subsystem, system, mission) is a complicated endeavor due to the federated nature of the data. This paper presents a tool-agnostic approach to higher-level verification tasks that incorporates tools from Semantic Web Technologies (SWTs) and graph theory more generally to enable a three-pronged verification approach to connected data. The methods presented herein use existing SWTs to characterize a verification approach using ontology-aligned data from both an open-world and closed-world perspective. General graph-based algorithms are then introduced to further explore structural aspects of portions of the graph. This verification approach enables a robust model-based verification on the left side of the Vee model to reduce risk and increase the visibility of the design and analysis work being performed by multidisciplinary teams.
KW - digital engineering
KW - model-based systems engineering
KW - multi-domain modeling
KW - ontology
KW - Semantic Web
KW - verification
UR - http://www.scopus.com/inward/record.url?scp=85183413592&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85183413592&partnerID=8YFLogxK
U2 - 10.3390/systems12010027
DO - 10.3390/systems12010027
M3 - Article
AN - SCOPUS:85183413592
VL - 12
JO - Systems
JF - Systems
IS - 1
M1 - 27
ER -