Abstract
A safety case should provide a clear, comprehensible and defensible argument, supported by evidence, that a system is acceptably safe to operate in a particular environment. This approach is not new. For example, in the nuclear industry, safety cases are approaching their 50th birthday. In stark contrast, the automotive industry has never been required to produce a safety case. Instead, it has relied on compliance with extensive regional and national regulation. With the imminent introduction of the automotive safety standard ISO 26262, the production of a safety case is now explicitly required by the standard for electrical and electronic systems. This presents both opportunities and challenges to safety practitioners and researchers within that industry. This paper sets out to look at the issues of what a safety case might look like for a complete vehicle and how the ISO 26262 fits into the existing framework of automotive safety. Using the ideas of modular safety case construction, this approach is developed into a number of reusable safety arguments to form an automotive safety case pattern catalogue. Evaluation of the approach is carried out through an industrial case study.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Department for Transport: Road Casualties in Great Britain: Main Results. Department for Transport (2008), http://www.dft.gov.uk/pgr/statistics/datatablespublications/accidents/casualtiesmr/rcgbmainresults2008
European Road Statistics, http://www.irfnet.eu/images/stat/2008/
Commission for Global Road Safety: Make Road Safe, http://www.fiafoundation.org/commissionforglobalroadsafety/
Haddon, W.: The Changing Approach to the Epidemiology, Prevention and Amelioration of Trauma: The Transition to Approaches Etiologically Rather than Descriptively Based. Am. J. Public Health 58, 143–1438 (1968)
Leveson, N.G.: System Safety in Computer Controlled Automotive systems. In: SAE, vol. 1048 (2000)
Federal Motor Vehicle Safety Standards and Regulations, http://www.nhtsa.dot.gov/cars/rules/import/FMVSS/#SN101
Dowding, M.: Maintenance of the Certification Basis for a Distributed Control System – Developing a Safety Case Architecture. MSc Thesis, University of York, UK (2002)
Kelly, T.P.: Arguing Safety – A Systematic Approach to Safety Case Management. DPhil Thesis, Department of Computer Science, University of York, UK (1998)
Bate, I.J., Kelly, T.P.: Architecture Consideration in the Certification of Modular Systems. Reliability Engineering and System Safety 81(3), 303–324 (2003)
Wu, W.: Architectural Reasoning for Safety Critical Software Applications. DPhil Thesis, Department of Computer Science, University of York, UK (2007)
International Organization for Standardization (ISO): ISO26262 Road vehicles – Functional safety. Draft, Baseline 15 (2009)
International Electrotechnical Commission (IEC): BS IEC 61508 – Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related System. BSC/IEC (2002)
Habli, I., Kelly, T.P.: Process and Product Certification Arguments: Getting the Balance Right. Innovative Techniques for Certification of Embedded Systems, CA, USA (2006)
Kelly, T.P., McDermid, J.A.: Safety Case Construction and Reuse using Patterns. In: 16th International Conference on Computer Safety, Reliability and Security (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Palin, R., Habli, I. (2010). Assurance of Automotive Safety – A Safety Case Approach. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)