System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV

Applied Sciences

卷:12

Tianhuai Wang¹  Deming Zhong¹  Rui Sun¹  Haoyuan Gong¹ 

[1] School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China;

关键词: system theory process analysis (STPA);    SysML;    NuSMV;    unsafe control action (UCA);    loss scenario;   

DOI  :  10.3390/app12031671

来源: DOAJ

【 摘 要 】

Systems Theoretical Accident Model and Process (STAMP), which considers system safety as an emergent property of the system, is a more effective accident/loss causality model for modern complex systems. Based on STAMP, System Theoretical Process Analysis (STPA) has attracted increasing attention as a new approach to hazard analysis, and relevant international standards are being developed. However, STPA is mainly performed manually, leading to inefficiencies, and constructs models in non-standard language, hindering the integration with existing systems engineering. STPA-SN (STPA based on SysML/MARTE and NuSMV) is proposed to build model in SysML, describing the timing with MARTE (Modeling and Analysis of Real-Time and Embedded Systems), transform SysML model into NuSMV model and output loss scenarios automatically with model checker. An application example of STPA-SN is provided to demonstrate potentials for higher efficiency of analysis and for collaboration with SysML-based systems engineering.

【 授权许可】

Unknown