Defence Standard 00-56 Issue 4: Towards evidence-based safety standards

Safety-Critical Systems: Problems, Process and Practice - Proceedings of the 17th Safety-Critical Systems Symposium, SSS 2009

Volumn , Issue , 2009, Pages 223-243

  Menon, Catherine ^a   Hawkins, Richard ^a   McDermid, John ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EVIDENCE-BASED; SAFETY ARGUMENTS; SAFETY STANDARD; SOFTWARE SAFETY; SYSTEM DEVELOPERS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SAFETY FACTOR;

SECURITY SYSTEMS;

EID: 84862780880     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84882-349-5_15     Document Type: Conference Paper

References (12)

1. Adelard (1998) ASCAD-The Adelard Safety Case Development Manual. ISBN 0 9533771 0 5.
2. British Standards (2001) EN 50128:2001, Railway Applications- Communications, Signalling and Processing Systems-Software for Railway Control and Protection Systems.
3. Govier T (1988) A Practical Study of Argument. Wadsworth.
4. Health and Safety Executive (2001) Reducing Risks, Protecting People. http://www.hse.gov.uk/risk/theory/r2p2.pdf. Accessed 15 September 2008.
5. Kelly T (1999) Arguing Safety-A Systematic Approach to Safety Case Management. DPhil Thesis. Department of Computer Science Green Report YCST99/05.
6. Ministry of Defence (1997): Defence Standard 00-55 Issue 2: Requirements for Safety Related Software in Defence Equipment.
7. Ministry of Defence (2007) Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems.
8. RTCA, EUROCAE (1992) Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics RTCA DO178B/EUROCAE ED-12B.
9. Toulmin S, Rieke R, Janik A (1979) An Introduction to Reasoning. Macmillan Publishing Co., New York.
10. Weaver R (2004) The Safety of Software-Constructing And Assuring Arguments. PhD Thesis. University of York.
11. Weaver R, Fenn J, Kelly T (2003) A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society, Darlinghurst.
12. Weaver R, Despotou G, Kelly T et al (2005) Combining Software Evidence-Arguments and Assurance. In: Proceedings of ICSE-2005: Workshop on Realising Evidence Based Software Engineering.