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

Stefan Wagner, Bernhard Schätz, Stefan Puchner, Peter Kock

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

20 Scopus citations

Abstract

Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what poses many new challenges on assuring the safety of the vehicle. Safety cases constitute a proven technique to systematically use existing information about a system, its environment, and development context to show its safety. We construct the safety case for a cruise control system describe in a case study in the automotive domain with a special consideration of existing domain-specific models. In the case study, we identify generic safety case modules and several reoccurring patterns, which will simplify the development of future automotive safety cases.

Original languageEnglish
Title of host publicationProceedings - 2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010
Pages269-278
Number of pages10
DOIs
StatePublished - 2010
Event2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010 - San Jose, CA, United States
Duration: 1 Nov 20104 Nov 2010

Publication series

NameProceedings - International Symposium on Software Reliability Engineering, ISSRE
ISSN (Print)1071-9458

Conference

Conference2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010
Country/TerritoryUnited States
CitySan Jose, CA
Period1/11/104/11/10

Keywords

  • Automotive
  • Model-based development
  • Safety case

Fingerprint

Dive into the research topics of 'A case study on safety cases in the automotive domain: Modules, patterns, and models'. Together they form a unique fingerprint.

Cite this