Software safety assurance- What is sufficient?

IET Conference Publications

Volumn 2009, Issue 555 CP, 2009, Pages

  Hawkins, R D ^a   Kelly, T P ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Arguments; Assurance; Patterns; Software

Indexed keywords

ARGUMENTS; ASSURANCE; PATTERNS; SAFETY ARGUMENTS; SAFETY ASSURANCE; SOFTWARE; SOFTWARE SAFETY;

SAFETY FACTOR;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77955952857     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/cp.2009.1542     Document Type: Conference Paper

References (11)

1. CISHEC. "A Guide to Hazard and Operability Studies.", The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd., (1977).
2. HSE. "The Tolerability of Risk from Nuclear Power Stations", Health and Safety Executive, (1988).
3. IEC. "61508 - Functional Safety of Electrical/Electronic/ Programmable Electronic Safety-Related Systems", (1998).
4. T.P. Kelly. "Arguing Safety - A Systematic Approach to Managing Safety Cases." PhD thesis, Department of Computer Science, The University of York, (1998).
5. MoD. "Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems.", HMSO, (2007).
6. Railtrack. "Engineering Safety Management - Yellow Book 3", Railtrack Plc., volumes 1 and 2, (2000).
7. F. Redmill, M Chudleigh, J. Catmur. "System Safety: HAZOP and Software HAZOP". Wiley, (1999).
8. RTCA. "DO-178B - Software Considerations in Airborne Systems and Equipment Certification", (1992).
9. R.A. Weaver. "The safety of Software - Constructing and Assuring Arguments.", PhD thesis, Department of Computer Science, The University of York, (2003).
10. Fan Ye. "Justifying the Use of COTS Components within Safety Critical Applications.", PhD thesis, Department of Computer Science, The University of York, (2005).
11. http://www.ssei.org.uk.