@inproceedings{361436f1f2454b6ab5738527afe44f1f,
title = "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.",
keywords = "MBSE, Papyrus, SysML, model validation",
author = "Qinchao Jin and Peihao Yang and Tiantian Wang and Xianghu Wu and Kechao Wang",
note = "Publisher Copyright: {\textcopyright} 2023 SPIE.; 2022 2nd Conference on High Performance Computing and Communication Engineering, HPCCE 2022 ; Conference date: 16-12-2022 Through 18-12-2022",
year = "2023",
doi = "10.1117/12.2673238",
language = "英语",
series = "Proceedings of SPIE - The International Society for Optical Engineering",
publisher = "SPIE",
editor = "Linlin Shen",
booktitle = "2022 2nd Conference on High Performance Computing and Communication Engineering, HPCCE 2022",
address = "美国",
}