Abstract
Defence Standard 00-56 Issue 4 is goal-based, and requires system developers to demonstrate how they have achieved safety. To this end, evidence is used to support claims relating to software safety. One of the most subtle questions when constructing a safety argument is the determination of whether the evidence presented is sufficient to assure the safety of the system to the level required. This paper presents a framework for assessing the assurance of evidence and claims. We also present a vocabulary for discussing factors which influence assurance. This framework and vocabulary together enable us to construct and discuss safety arguments for software. Using this framework and vocabulary, we present some sample discussions which demonstrate how the factors influencing assurance can interact.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adelard (1998) ASCAD - The Adelard Safety Case Development Manual. ISBN 0 9533771 0 5
British Standards (2001) EN 50128:2001, Railway Applications – Communications, Signalling and Processing Systems – Software for Railway Control and Protection Systems
Govier T (1988) A Practical Study of Argument. Wadsworth
Health and Safety Executive (2001) Reducing Risks, Protecting People. http://www.hse.gov.uk/risk/theory/r2p2.pdf. Accessed 15 September 2008
Kelly T (1999) Arguing Safety – A Systematic Approach to Safety Case Management. DPhil Thesis. Department of Computer Science Green Report YCST99/05
Ministry of Defence (1997): Defence Standard 00-55 Issue 2: Requirements for Safety Related Software in Defence Equipment Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards 243
Ministry of Defence (2007) Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems
RTCA, EUROCAE (1992) Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics RTCA DO178B/EUROCAE ED-12B
Toulmin S, Rieke R, Janik A (1979) An Introduction to Reasoning. Macmillan Publishing Co., New York
Weaver R (2004) The Safety of Software – Constructing And Assuring Arguments. PhD Thesis. University of York
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
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this paper
Cite this paper
Menon, C.i., Hawkins, R., McDermid, J. (2009). Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. In: Dale, C., Anderson, T. (eds) Safety-Critical Systems: Problems, Process and Practice. Springer, London. https://doi.org/10.1007/978-1-84882-349-5_15
Download citation
DOI: https://doi.org/10.1007/978-1-84882-349-5_15
Publisher Name: Springer, London
Print ISBN: 978-1-84882-348-8
Online ISBN: 978-1-84882-349-5
eBook Packages: Computer ScienceComputer Science (R0)