DocumentCode :
3460678
Title :
Deriving safety requirements using scenarios
Author :
Allenby, Karen ; Kelly, Tim
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
fYear :
2001
fDate :
2001
Firstpage :
228
Lastpage :
235
Abstract :
Elicitation of requirements for safety critical aero-engine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressing hazardous deviations from that intent. Derivation of these requirements is inextricably linked to the safety assessment process. Conventional civil aerospace practice (as advocated by guidelines such as ARP4754 and ARP4671) promotes the application of Functional Hazard Assessment (FHA) to sets of statements of functional intent. Systematic hazard analysis of scenario-based requirements representations is less well understood. This paper discusses the principles and problems of hazard analysis and proposes an approach to conducting hazard analysis on use case requirements representations. Using the approach, it is possible to justifiably derive hazard-mitigation use cases as first class requirements from systematic hazard analysis of core design intent scenarios. An industrial example is used to illustrate the technique
Keywords :
aerospace control; aerospace engines; safety-critical software; systems analysis; FHA; Functional Hazard Assessment; aeroengine control systems; aerospace engine control; civil aerospace practice; core design intent scenarios; hazard-mitigation use cases; safety critical software; safety requirements engineering; scenario-based requirements representations; standards; use case requirements representations; Aerospace industry; Aerospace safety; Aircraft; Computer science; Control systems; Engines; Guidelines; Hazards; Industrial relations; Vents;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-7695-1125-2
Type :
conf
DOI :
10.1109/ISRE.2001.948563
Filename :
948563
Link To Document :
بازگشت