基于场景控制特征的安全性需求分析方法

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增，安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模，提出描述控制过程中系统变量间关系的变量影响图模型，进一步给出了安全性需求分析方法。通过该方法，使用变量影响图等对控制过程进行分析，生成基于系统理论事故模型和过程（STAMP）的危险性控制活动，并以此获得系统安全性需求。经实验验证，所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。

Safety requirements analysis method based on control characteristics of scenarios

Safety requirements are critical to ensure the system safety. With the increase of system complexity and coupling degree, it becomes more difficult to analyze and extract the safety requirements. We construct the variables effect graph which describes the relationships among system variables in the control process through control structure and process analysis modeling for the system scenario. Then we present a safety requirements analysis method. By using the method, the control process is analyzed with variables effect graph etc., and the hazardous control actions based on the systems-theoretic accident model and process (STAMP) are created, and thereby the system safety requirements are generated. The experimental results show that our method is effective on correctness and consistency.