Papyrus SysML-based model validation extension

Abstract

With the development and application of model-based systems engineering (MBSE), it is more and more accepted and valued in the aerospace field, and system modeling language (SysML), as the most popular model language for MBSE, has become more and more important for the correctness and safety verification of its models. SysML views are described from different angles of the development system in MBSE, and it is very important to verify the relationship between each view, so this article summarizes how to extend its model verification part based on the open source project Papyrus, and successfully extends the correlation validation between various views of SysML.