Safety assessment and the software requirements specification

Although much work has been done on assessing safety in programmable systems, one very important aspect, the integration of hazard analysis and requirements engineering, has been somewhat neglected. The problems associated with this integration are discussed and the HAZAPS methodology is proposed as a means of solving some of these. HAZAPS was developed for identifying hazards in programmable systems, constructing and modelling safety requirements, and assessing these requirements. A computer support tool for HAZAPS is also described.