System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV
Source abstract
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.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Risk and Safety Analysis · Systems Engineering Methodologies and Applications · Occupational Health and Safety Research
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China
Funding
Civil Aviation Joint Funds under National Nature Science Foundation of China and Civil Aviation Administration of China · Science&Technology on Reliability&Enviromental Engineering Laboratory
References (14)
Show source-provided references
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.10.1145/2502524.2502545 ↗
3. Thomas, J. (2013). Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis. [Ph.D. Thesis, Massachusetts Institute of Technology].10.2172/1044959 ↗
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.
6. Zhu, D., and Yao, S. (2018, January 23–25). A Hazard Analysis Method for Software-Controlled Systems Based on System-Theoretic Accident Modeling and Process. Proceedings of the 2018 IEEE 9th International Conference on Software Engineering and Service Science (ICSESS), Beijing, China.10.1109/ICSESS.2018.8663927 ↗
7. Stefan, W., and Horst, L. (2013). Integrating state machine analysis with system-theoretic process analysis. Software Engineering 2013–Workshopband, Proceedings of Fachtagung des GI-Fachbereichs Softwaretechnik, Aachen, Germany, 26 February–1 March 2013, Gesellschaft für Informatik e.V.
8. Chen, M., Wang, L., and Hu, J. (2018, January 29–30). An Extraction Method of STPA Variable Based on Four-Variable Model. Proceedings of the 3rd International Conference on Intelligent and Interactive Systems and Applications, Hong Kong, China.
9. Rey, F., Melo, J., Hirata, C., Saqui-Sannes, P., and Apvrille, L. (2020, January 20–23). Combining STPA with SysML Modeling. Proceedings of the 14th annual IEEE International Systems Conference (SysCon 2020), Montreal, QC, Canada.
10. Zhu, D., Yao, S., and Wu, J. (2018, January 27–29). Petri nets-based method for component-interaction related hazard identification in computer-controlled systems. Proceedings of the 2018 IEEE 15th International Conference on Networking, Sensing and Control (ICNSC), Zhuhai, China.10.1109/ICNSC.2018.8361326 ↗
11. Zhong, D., Gong, H., and Sun, R. (2021, July 05). An STPA for Accurately Identifying Loss Scenarios. Available online: http://220.228.59.187/KCMS/detail/detail.aspx?filename=BJHK20210705000&dbcode=CJFD&dbname=CAPJ2021.
12. Clarke, E.M., Henzinger, T.A., Veith, H., and Bloem, R. (2018). Handbook of Model Checking, Springer.10.1007/978-3-319-10575-8 ↗
13. (2021, December 22). NuSMV: A New Symbolic Model Checker. Available online: https://nusmv.fbk.eu/.
14. (2021, December 22). Modeling and Analysis of Real-Time and Embedded Systems. Available online: https://www.omg.org/omgmarte/.