Turning Up the HEAT on Safety Case Construction
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns are obvious, and therefore the development of a thorough and convincing Safety Case is paramount. Goal Structuring Notation was chosen as the method for this, on its perceived merits of ease of construction and clarity of review. This paper outlines the work conducted, and appraises these perceived merits against experience during and following the construction of the Preliminary Safety Case.
KeywordsArgument Structure Safe Behaviour Safety Critical System Safety Case Safety Management System
Unable to display preview. Download preview PDF.
- Adelard, 2003, The Adelard Safety Case Editor—ASCE, http://www.adelard.co.uk/software/asce/index.htmGoogle Scholar
- Civil Aviation Authority, 2001, SW01—Regulatory Objectives for Software Safety Assurance in ATS Equipment in Part B (Generic Requirements and Guidance) of CAP670—Air Traffic Services Safety Requirements, London, UK.Google Scholar
- Eurocontrol, 2001, The EUR RVSM Pre-lmplementation Safety Case, http://www.eur-rvsm.comlsafety.htm#precase.Google Scholar
- Graham, K., 2002, Heavy Modifications: A Three Stage Safety Process for Modification of Undocumented Legacy Systems, MSc SCSE Project Report, Department of Computer Science, University of York, UK.Google Scholar
- Kelly, T.P. & McDerrnid, I.A., 1997, Safety Case Construction and Reuse Using Patterns in Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP’97), Springer-Verlag.Google Scholar
- Kelly, T.P., 1999, Arguing Safety - A Systematic Approach to Safety Case Management, DPhil Thesis, Green Report YCST 99/05, Department of Computer Science, University of York, UK.Google Scholar
- Kelly, T.P., 2003, Managing Complex Safety Cases in Current Issues in Safety Critical Systems: Proceedings of the 11th Safety Critical Systems Symposium, Springer-Verlag.Google Scholar
- Kelly, T.P., et al., 2003, Hazard and Risk Management & Safety Cases, MSc SCSE module notes, Department of Computer Science, University of York, UK.Google Scholar
- Ministry of Defence, 1996, Defence Standard 00-56 Issue 2: Safety Management Requirements for Defence Systems, Glasgow, UK.Google Scholar
- Staple, A. & Handcock, A., 2002, The All-Electric Rotorcraft - Challenges and Opportunities, 28th European Rotorcraft Forum, Bristol, UK.Google Scholar