A Software Safety Requirements Elicitation Approach Based on Hazardous Control Action Tree Modelling

作     者：ZHU Danjiang YAO Shuzhen TAN Huobin ZHU Danjiang;YAO Shuzhen;TAN Huobin

作者机构：The 32nd Research Institute of China Electronics Technology Group Corporation School of Computer Science and Engineering Beihang University 

出 版 物：《Chinese Journal of Electronics》 (电子学报(英文))

年 卷 期：2021年第30卷第4期

页      面：676-685页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 0835[工学-软件工程] 081201[工学-计算机系统结构] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Software safety Software safety requirements analysis(SSRA) Requirements elicitation 

摘      要：Software safety requirements are crucial for safety assurance of safety-critical software systems. A novel accident causality model, Systems-theoretic accident modeling and processes(STAMP), has been proposed to overcome the limitations of traditional safety techniques in software safety requirements ***,the STAMP-based method is ad-hoc with no rigorous procedure to elicit software safety requirements ***, the time-related safety requirements, which are important to software safety, have been paid little attention in STAMP-based method. With the purpose of overcoming these limitations, this paper strives to find a systematic approach to elicit software safety requirements with STAMP, especially the time-related safety requirements. Firstly, a new process model of STAMP is proposed to model all the system varilables and the ralationship of them in control processes. Then based on the process model, an approach HCAT-SSRA is proposed to elicit the software safety requirements by building Hazardous control action tree(HCAT) for each control action in system control processes. Additionally,several rules are proposed to guide time-related software safety requirements analysis. Finally, a case study is given to illustrate the availability and feasibility of the proposed method.