Affiliation:
1. Stevens Institute of Technology, Hoboken, NJ 07030, USA
Abstract
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.
Funder
Systems Engineering Research Center
Subject
Information Systems and Management,Computer Networks and Communications,Modeling and Simulation,Control and Systems Engineering,Software
Reference43 articles.
1. (2023, August 19). Ansys ModelCenter|MBSE Software. Available online: https://www.ansys.com/products/connect/ansys-modelcenter.
2. SAIC (2022, December 11). Digital Engineering Validation Tool. Available online: https://www.saic.com/digital-engineering-validation-tool.
3. Model-Based Systems Engineering: Motivation, Current Status, and Research Opportunities;Madni;Syst. Eng.,2018
4. (2022, May 15). Defense Acquisition University Glossary. Available online: https://www.dau.edu/glossary/Pages/Glossary.aspx#!both|D|27345.
5. Madni, A.M., Augustine, N., and Sievers, M. (2022). Handbook of Model-Based Systems Engineering, Springer International Publishing.