A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures

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...

Celý popis

Podrobná bibliografie
Hlavní autoři: Daniel Dunbar, Thomas Hagedorn, Mark Blackburn, Dinesh Verma
Médium: Článek
Jazyk:English
Vydáno: MDPI AG 2024-01-01
Edice:Systems
Témata:
digital engineering
model-based systems engineering
ontology
Semantic Web
verification
multi-domain modeling
On-line přístup:https://www.mdpi.com/2079-8954/12/1/27

Internet

https://www.mdpi.com/2079-8954/12/1/27

Podobné jednotky