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.