Turning Up the HEAT on Safety Case Construction

  • Paul Chinneck
  • David Pumfrey
  • Tim Kelly


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.


Argument Structure Safe Behaviour Safety Critical System Safety Case Safety Management System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Adelard, 2003, The Adelard Safety Case EditorASCE, Scholar
  2. Civil Aviation Authority, 2001, SW01Regulatory 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
  3. Eurocontrol, 2001, The EUR RVSM Pre-lmplementation Safety Case, http://www.eur-rvsm.comlsafety.htm#precase.Google Scholar
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. Ministry of Defence, 1996, Defence Standard 00-56 Issue 2: Safety Management Requirements for Defence Systems, Glasgow, UK.Google Scholar
  10. Staple, A. & Handcock, A., 2002, The All-Electric Rotorcraft - Challenges and Opportunities, 28th European Rotorcraft Forum, Bristol, UK.Google Scholar

Copyright information

© Springer-Verlag London 2004

Authors and Affiliations

  • Paul Chinneck
    • 1
  • David Pumfrey
    • 2
  • Tim Kelly
    • 2
  1. 1.Safety & Airworthiness DepartmentWestland HelicoptersYeovilUK
  2. 2.Department of Computer ScienceUniversity of YorkYorkUK

Personalised recommendations