A case study on safety cases in the automotive domain: Modules, patterns, and models

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2010, Pages 269-278

  Wagner, Stefan ^a   Schätz, Bernhard ^b   Puchner, Stefan ^c   Kock, Peter ^d  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b FORTISS GMBH   (Germany)

^c CAPGEMINI   (France)

^d MAN Nutzfahrzeuge AG   (Germany)

Author keywords

Automotive; Model based development; Safety case

Indexed keywords

AUTOMOTIVE; AUTOMOTIVE DOMAINS; AUTOMOTIVE MANUFACTURERS; AUTOMOTIVE SAFETY; CRUISE CONTROL SYSTEMS; DOMAIN SPECIFIC; MARKET NEEDS; MODEL-BASED DEVELOPMENT; SAFETY CASE;

COMPUTER CONTROL; COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE; RESEARCH; SOFTWARE RELIABILITY; VEHICLES;

SAFETY ENGINEERING;

EID: 79952020938     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2010.31     Document Type: Conference Paper

References (17)

1. A. Pretschner, C. Salzmann, B. Schätz, and T. Stauner, "4th international ICSE workshop on software engineering for automotive systems," in ICSE Companion. IEEE Computer Society, 2007, p. 146.
2. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission, 1998.
3. B. Kitchenham and S. L. Pfleeger, "Software quality: The elusive target," IEEE Software, vol. 13, no. 1, pp. 12-21, 1996.
4. P. Runeson and M. Höst, "Guidelines for conducting and reporting case study research in software engineering," Empirical Software Engineering, vol. 14, no. 2, pp. 131-164, 2009.
5. P. Bishop and R. Bloomfield, "A methodology for safety case development," in Proc. Sixth Safety-Critical Systems Symposium (SSS'98). Springer-Verlag, 1998.
6. T. Kelly and R. Weaver, "The goal structuring notation - a safety argument notation," in Proc. DSN 2004 Workshop on Assurance Cases, 2004.
7. Using Simulink and Stateflow in Automotive Applications, The Mathworks, 1998.
8. T. Kelly, "Managing complex safety cases," in Proc. 11th Safety Critical System Symposium (SSS'03). Springer-Verlag, 2003, pp. 99-115.
9. T. P. Kelly and J. A. McDermid, "Safety case construction and reuse using patterns," in Proc. 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). Springer-Verlag, 1997.
10. W. Ridderhof, H.-G. Groß, and H. Dörr, "Establishing evidence for safety cases in automotive systems - a case study," in Proc. 26th International Conference on Computer Safety, Reliability, and Security (SAFECOMP'07), ser. LNCS, vol. 4680. Springer-Verlag, 2007.
11. F. Törner and P. Öhman, "Automotive safety cases - a qualitative case study of drivers, usages, and issues," in Proc. 11th IEEE High Assurance Systems Engineering Symposium. IEEE Computer Society, 2008, pp. 313-322.
12. D. Chen, R. Johansson, H. Lönn, Y. Papadopoulos, A. Sandberg, F. Törner, and M. Törngren, "Modelling support for design of safety-critical automotive embedded systems," in Proc. 27th International Conference on Computer Safety, Reliability, and Security (SAFECOMP '08), ser. LNCS, vol. 5219. Springer-Verlag, 2008, pp. 72-85.
13. I. Habli, I. Ibarra, R. Rivett, and T. Kelly, "Model-based assurance for justifying automotive functional safety," in Proc. 2010 SAE World Congress, 2010.
14. P. Braun, J. Philipps, B. Schätz, and S. Wagner, "Model-based safety cases for software-intensive systems," Electronic Notes in Theoretical Computer Science, vol. 238, no. 4, pp. 71-77, 2009.
15. F. Deissenboeck, B. Hummel, E. Juergens, B. Schaetz, S. Wagner, J.-F. Girard, and S. Teuchert, "Clone detection in automotive model-based development," in Proc. 30th International Conference on Software Engineering (ICSE '08). ACM Press, 2008, pp. 603-612.
16. F. Deißenböck, S. Wagner, M. Pizka, S. Teuchert, and J.-F. Girard, "An activity-based quality model for maintainability," in Proc. 23rd International Conference on Software Maintenance (ICSM '07). IEEE Computer Society Press, 2007, pp. 184-193.
17. S. Wagner, "A Bayesian network approach to assess and predict software quality using activity-based quality models," Information and Software Technology, vol. 52, no. 11, pp. 1230-1241, 2010.