Abstract
The upcoming safety standard ISO/WD 26262 that has been derived from the more general IEC 61508 and adapted for the automotive industry, introduces the concept of a safety case, a scheme that has already been successfully applied in other sectors of industry such as nuclear, defense, aerospace, and railway. A safety case communicates a clear, comprehensive and defensible argument that a system is acceptably safe in its operating context. Although, the standard prescribes that there should be a safety argument, it does not establish detailed guidelines on how such an argument should be organized and implemented, or which artifacts should be provided.
In this paper, we introduce a methodology and a tool chain for establishing a safety argument, plus the evidence to prove the argument, as a concrete reference realization of the ISO/WD 26262 for automotive systems. We use the Goal-Structuring-Notation to decompose and refine safety claims of an emergency braking system (EBS) for trucks into sub-claims until they can be proven by evidence. The evidence comes from tracing the safety requirements of the system into their respective development artifacts in which they are realized.
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
Altheide, F., Dörfel, S., Dörr, H., Kanzleiter, J.: An Architecture for a Sustainable Tool Integration. In: Workshop on Tool Integration in System Development, Helsinki, Finland, September 2003, pp. 29–32 (2003)
Automotive Standards Committee of the German Institute for Standardization: ISO/WD 26262: Road Vehicles – Functional Safety. Preparatory Working Draft, Technical Report (October 2005)
Bridal, O., et al.: Deliverable D3.1 Part 1 Appendix E: Safety Case, Version 1.1. Technical Report, EASIS Consortium (February 2006), http://www.easis-online.org
Intl. Electrotechnical Commission. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. Technical Report (April 1999)
John, G., Hoffmann, M., Weber, M.: EADS-Methodenrichtlinie zur Traceability zwischen Anforderungen und Entwurfsobjekten. Technical Report RM-008, DaimlerChrysler AG (November 2000)
Kelly, T.P., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1997), September 1997, Springer, Heidelberg (1997)
Kelly, T.P.: Arguing Safety: A Systematic Approach to Managing Safety Cases. PhD Thesis, University of York, UK (September 1998)
Lehmann, E.: Time Partition Testing: A Method for Testing Dynamic Functional Behaviour. In: Proceedings of TEST 2000, May 2000, London, Great Britain (2000)
Lehmann, E.: Time Partition Testing. PhD Thesis, Technical University of Berlin (February 2004)
Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Boston, MA (1995)
Koordinierungs- und Beratungsstelle der Bundesregierung für Informationstechnik in der Bundesverwaltung. V-Modell©XT (2004), http://www.kbst.bund.de
Storey, N.: Safety Critical Computer Systems. Addison-Wesley, Reading (1996)
Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (1958)
Weaver, R.A.: The Safety of Software – Constructing and Assuring Arguments. DPhil Thesis, Department of Computer Science, University of York, UK (2003)
Weaver, R., Despotou, G., Kelly, T., McDermid, J.: Combining Software Evidence: Arguments and Assurance. In: Proceedings of the 2005 workshop on Realising evidence-based software engineering, St. Louis, Missouri, pp. 1–7 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ridderhof, W., Gross, HG., Doerr, H. (2007). Establishing Evidence for Safety Cases in Automotive Systems – A Case Study. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-75101-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75100-7
Online ISBN: 978-3-540-75101-4
eBook Packages: Computer ScienceComputer Science (R0)