Use this URL to cite or link to this record in EThOS:
Title: The integration of hazard evaluation procedures and requirements engineering for safety-critical embedded systems
Author: Broomfield, Eamon J.
ISNI:       0000 0001 3482 5375
Awarding Body: Loughborough University
Current Institution: Loughborough University
Date of Award: 1997
Availability of Full Text:
Access from EThOS:
Access from Institution:
Although much work has been done on assessing safety requirements in programmable systems, one very important aspect, the integration of hazard evaluation procedures and requirements engineering, has been somewhat neglected. This thesis describes the derivation and application of a methodology, HAZAPS (HAZard Assessment in Programmable Systems). The methodology assists at the requirements stage in the development of safety-critical embedded systems. The objectives are to identify hazards in programmable systems, construct and model the associated safety requirements, and, finally, to assess these requirements. HAZAPS integrates safety engineering and software modelling techniques. The analysis of more than 300 computer related incidents provided the criteria used to identify, select and modify safety engineering techniques.
Supervisor: Not available Sponsor: Department of Trade and Insdustry ; EPSRC
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Control systems