The certification of software for use in safety-critical systems is a requirement in many domains: defence, aerospace, rail, nuclear. However, there is still significant variance in the practice of software safety assurance across these different domains. This paper compares two quite different approaches (software safety case development under the UK Defence Standard 00–56, and software assurance under the civil aerospace guidance document DO-178B.) The paper highlights both the similarities and differences between these approaches. Ultimately, we consider whether there are any circumstances under which they can be considered to be compatible.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
7 References
Habli, I., Kelly, T., Achieving Integrated Process and Product Safety Arguments in The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Anderson, T., Redmill, F. (ed.s), Bristol, UK, Springer, 2007
IEC (1999) IEC61508 - Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems, International Electrotechnical Commission (IEC), 1999
Kelly, T. P. (2004) A Systematic Approach to Safety Case Management, in CAE Methods for Vehicle Crashworthiness and Occupant Safety, and Safety-Critical Systems, Document Number 2004-01-1779, Society of Automotive Engineers, March 2004
MoD (1996) Defence Standard 00-56 Safety Management Requirements for Defence Systems, UK Ministry of Defence, Issue 2, 1996
MoD (2007) Defence Standard 00-56 Safety Management Requirements for Defence Systems, UK Ministry of Defence, Issue 4, 2007
Redmill, F. (2000), Safety Integrity Levels - Theory and Problems, in Lessons in System Safety: Proceedings of the Eighth Safety-Critical Systems Symposium, Anderson, T., Redmill, F. (ed.s), Southampton, UK, Springer, 2000
RTCA (1992) Software Considerations in Airborne Systems and Equipment Certification, Radio Technical Commission for Aeronautics RTCA DO178B/EUROCAE ED-12B, 1992
SAE (1994), ARP 4754 - Certification Considerations for Highly-Integrated or Complex Aircraft Systems, The Society for Automotive Engineers December 1994.
Weaver, R. A., McDermid, J. A., Kelly, T. P. (2002), Software Safety Arguments: Towards a Systematic Categorisation of Evidence, in proceedings of the 20th International System Safety Conference (ISSC 2002), Denver, Colorado, USA, System Safety Society, 2002
Wu, W, Kelly, T. P. (2007) Towards Evidence-Based Architectural Design for Safety-Critical Software Applications, in Architecting Dependable Systems IV, Lecture Notes in Computer Science , Vol. 4615, Lemos, Rogério de; Gacek, Cristina; Romanovsky, Alexander (Eds.), Springer, 2007
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag London Limited
About this paper
Cite this paper
Kelly, T.P. (2008). Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?. In: Redmill, F., Anderson, T. (eds) Improvements in System Safety. Springer, London. https://doi.org/10.1007/978-1-84800-100-8_1
Download citation
DOI: https://doi.org/10.1007/978-1-84800-100-8_1
Publisher Name: Springer, London
Print ISBN: 978-1-84800-099-5
Online ISBN: 978-1-84800-100-8
eBook Packages: Computer ScienceComputer Science (R0)