Abstract
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.
Funder
Civil Aviation Joint Funds under National Nature Science Foundation of China and Civil Aviation Administration of China
Subject
Fluid Flow and Transfer Processes,Computer Science Applications,Process Chemistry and Technology,General Engineering,Instrumentation,General Materials Science
Reference14 articles.
1. (2021, September 28). STPA Handbook. Available online: https://psas.scripts.mit.edu/home/materials/.
2. Asare, P., Lach, J., and Stankovic, J.A. (2013, January 8–11). FSTPA-I: A formal approach to hazard identification via system theoretic process analysis. Proceedings of the 4th IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, USA.
3. Thomas, J. (2013). Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis. [Ph.D. Thesis, Massachusetts Institute of Technology].
4. Suo, D. (2015). Tool-assisted hazard analysis and requirement generation based on STPA. [Master’s thesis, Massachusetts Institute of Technology].
5. Souza, F., Pereira, D., Pagliares, R., and Nadjm-Tehrani, S. (, January 22–24). WebSTAMP: A Web Application for STPA & STPA-Sec. Proceedings of the MATEC Web of Conferences, Wuhan, China.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献