Safety Analysis of Software Requirements: Model and Process

Since lots of software hazards are caused by incompleteness or omissions of requirements, safety analysis of software requirements becomes more and more important. However, there are no systematic researches and exposition on the scope and the requirements of safety analysis. Safety analysts often get confused about how to take a complete analysis of software safety requirements. In this paper, referring to the software V&V model, an analysis model is proposed to specify the scope of software requirements safety analysis. Then, a process framework of safety analysis is determined to verify those analysis requirements derived from the analysis model. Relevant software safety analysis techniques which may be used in the analysis process framework were classified. Finally, the analysis model and process were applied to the landing gear control system.