Integration of Requirements Analysis and Safety Analysis for Safety-Critical211 Software

摘要

In this paper, the authors present an approach for integrating the activities of211u001erequirements analysis and safety analysis. The aim of safety analysis is to 211u001edetermine the risk associated with requirements specifications and assess whether 211u001ethis is acceptable within the context of system risk. The advantage of conducting 211u001ethe safety analysis during the early phases of software development is that 211u001esafety related errors are less likely to propagate through to subsequent phases 211u001eof development. The applicability of the proposed approach is demonstrated by 211u001econducting the safety analysis of an example based on a train set crossing. The 211u001eexample illustrates how the approach to safety analysis supports verification 211u001ewithin a formal model of the train set system and how the validation of the 211u001eformal model is performed.