Papyrus SysML-based model validation extension

Qinchao Jin; Peihao Yang; Tiantian Wang; Xianghu Wu; Kechao Wang

doi:10.1117/12.2673238

13 April 2023 Papyrus SysML-based model validation extension

Qinchao Jin, Peihao Yang, Tiantian Wang, Xianghu Wu, Kechao Wang

Proceedings Volume 12605, 2022 2nd Conference on High Performance Computing and Communication Engineering (HPCCE 2022); 126051L (2023) https://doi.org/10.1117/12.2673238
Event: Second Conference on High Performance Computing and Communication Engineering, 2022, Harbin, China

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.

Citation Download Citation

Qinchao Jin, Peihao Yang, Tiantian Wang, Xianghu Wu, and Kechao Wang "Papyrus SysML-based model validation extension", Proc. SPIE 12605, 2022 2nd Conference on High Performance Computing and Communication Engineering (HPCCE 2022), 126051L (13 April 2023); https://doi.org/10.1117/12.2673238

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available