Establishing evidence for safety cases in automotive systems - A case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4680 LNCS, Issue , 2007, Pages 1-13

  Ridderhof, Willem ^a   Gross, Hans Gerhard ^b   Doerr, Heiko ^c  

^a ISPS Medical Software   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c CARMEQ GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE INDUSTRY; BRAKING; STANDARDS; TRUCKS;

ARTIFACTS; AUTOMOTIVE SYSTEMS; SAFETY ARGUMENTS; SAFETY CASES;

SECURITY SYSTEMS;

EID: 38149058992     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_1     Document Type: Conference Paper

References (15)

1. 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)
2. Automotive Standards Committee of the German Institute for Standardization: ISO/WD 26262: Road Vehicles - Functional Safety. Preparatory Working Draft, Technical Report (October 2005)
3. 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
4. Intl. Electrotechnical Commission. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. Technical Report (April 1999)
5. John, G., Hoffmann, M., Weber, M.: EADS-Methodenrichtlinie zur Traceability zwischen Anforderungen und Entwurfsobjekten. Technical Report RM-008, DaimlerChrysler AG (November 2000)
6. 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'97), September 1997, Springer, Heidelberg (1997)
7. Kelly, T.P.: Arguing Safety: A Systematic Approach to Managing Safety Cases. PhD Thesis, University of York, UK (September 1998)
8. Lehmann, E.: Time Partition Testing: A Method for Testing Dynamic Functional Behaviour. In: Proceedings of TEST2000, May 2000, London, Great Britain (2000)
9. Lehmann, E.: Time Partition Testing. PhD Thesis, Technical University of Berlin (February 2004)
10. Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Boston, MA (1995)
11. Koordinierungs- und Beratungsstelle der Bundesregierung für Informationstechnik in der Bundesverwaltung. V-Modell©XT (2004), http://www.kbst.bund.de
12. Storey, N.: Safety Critical Computer Systems. Addison-Wesley, Reading (1996)
13. Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (1958)
14. Weaver, R.A.: The Safety of Software - Constructing and Assuring Arguments. DPhil Thesis, Department of Computer Science, University of York, UK (2003)
15. 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)