Pragmatic verification and validation of industrial executable SysML models
Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been applied in various industries to design, simulate and verify complex systems. The verification and validation (V&V) of such systems engineering models are crucial to develop high‐quality systems. However, this i...
Saved in:
Published in | Systems engineering Vol. 26; no. 6; pp. 693 - 714 |
---|---|
Main Authors | , , , , , , , , |
Format | Journal Article |
Language | English |
Published |
Hoboken
Wiley Subscription Services, Inc
01.11.2023
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Abstract
In recent years, Model‐Based Systems Engineering (MBSE) practices have been applied in various industries to design, simulate and verify complex systems. The verification and validation (V&V) of such systems engineering models are crucial to develop high‐quality systems. However, this is a challenging problem due to the complexity of the models and semantic differences in how different tools interpret the models, which can undermine the validity of the obtained results if they go undiscovered. To address these issues, we propose (i) a subset of the SysML language for which the practical semantic integrity of tools can be achieved and (ii) a cloud‐based V&V framework for this subset, lifting verification to an industrial scale. We demonstrate the feasibility of our approach on an industrial‐scale model from the aerospace domain and summarize the lessons learned during transitioning formal verification tools to an industrial context. |
---|---|
ISSN: | 1098-1241 1520-6858 |
DOI: | 10.1002/sys.21679 |