A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures
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...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2024-01-01
|
Series: | Systems |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-8954/12/1/27 |
_version_ | 1797342517807546368 |
---|---|
author | Daniel Dunbar Thomas Hagedorn Mark Blackburn Dinesh Verma |
author_facet | Daniel Dunbar Thomas Hagedorn Mark Blackburn Dinesh Verma |
author_sort | Daniel Dunbar |
collection | DOAJ |
description | 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. |
first_indexed | 2024-03-08T10:34:53Z |
format | Article |
id | doaj.art-d74a7c914a71493a991bcc1eeab485b4 |
institution | Directory Open Access Journal |
issn | 2079-8954 |
language | English |
last_indexed | 2024-03-08T10:34:53Z |
publishDate | 2024-01-01 |
publisher | MDPI AG |
record_format | Article |
series | Systems |
spelling | doaj.art-d74a7c914a71493a991bcc1eeab485b42024-01-26T18:39:54ZengMDPI AGSystems2079-89542024-01-011212710.3390/systems12010027A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data StructuresDaniel Dunbar0Thomas Hagedorn1Mark Blackburn2Dinesh Verma3Stevens Institute of Technology, Hoboken, NJ 07030, USAStevens Institute of Technology, Hoboken, NJ 07030, USAStevens Institute of Technology, Hoboken, NJ 07030, USAStevens Institute of Technology, Hoboken, NJ 07030, USAIndividual 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.https://www.mdpi.com/2079-8954/12/1/27digital engineeringmodel-based systems engineeringontologySemantic Webverificationmulti-domain modeling |
spellingShingle | Daniel Dunbar Thomas Hagedorn Mark Blackburn Dinesh Verma A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures Systems digital engineering model-based systems engineering ontology Semantic Web verification multi-domain modeling |
title | A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures |
title_full | A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures |
title_fullStr | A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures |
title_full_unstemmed | A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures |
title_short | A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures |
title_sort | three pronged verification approach to higher level verification using graph data structures |
topic | digital engineering model-based systems engineering ontology Semantic Web verification multi-domain modeling |
url | https://www.mdpi.com/2079-8954/12/1/27 |
work_keys_str_mv | AT danieldunbar athreeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT thomashagedorn athreeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT markblackburn athreeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT dineshverma athreeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT danieldunbar threeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT thomashagedorn threeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT markblackburn threeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures AT dineshverma threeprongedverificationapproachtohigherlevelverificationusinggraphdatastructures |