Intelligent Computing Theory

Abstract

Safety requirement of software is a fundamental part of the system safety requirements to safety critical system. The majority of the existing safety analysis techniques try to analyze the potential safety problems from system level; therefore, it is difficult to pinpoint hidden factors to software behavior and state level. In this paper, a safety requirement elicitation technique combined with scenario is proposed to refine the system-level safety analysis into software behaviors in specific scenarios, which would affirm those software behaviors and states that affect the system safety and, furthermore, formulate safety requirement model which could be directly applied to safety requirements validation and verification. The feasibility of the method presented in this paper was practically demonstrated by metro traffic control system's safety analysis. © 2014 Springer International Publishing Switzerland.