Author(s): de Lemos, R., Saeed, A. and Anderson, T.
Abstact: Requirements analysis plays a vital role in the development of safety-critical systems since any faults in the requirements specification will corrupt the subsequent stages of system development. Experience in safety-critical systems has shown that faults in the requirements can and do cause accidents. This paper presents a general framework for the requirements analysis of safety-critical systems, which incorporates the verification and validation of the safety specifications produced during the analysis, and propose feasibility analysis to asses whether the development of the system (as described by the requirements specification) should continue. To illustrate the proposed approach an example based on a train set crossing is presented.