TY - GEN
T1 - A case study on safety cases in the automotive domain
T2 - 2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010
AU - Wagner, Stefan
AU - Schätz, Bernhard
AU - Puchner, Stefan
AU - Kock, Peter
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
KW - Automotive
KW - Model-based development
KW - Safety case
UR - http://www.scopus.com/inward/record.url?scp=79952020938&partnerID=8YFLogxK
U2 - 10.1109/ISSRE.2010.31
DO - 10.1109/ISSRE.2010.31
M3 - Conference contribution
AN - SCOPUS:79952020938
SN - 9780769542553
T3 - Proceedings - International Symposium on Software Reliability Engineering, ISSRE
SP - 269
EP - 278
BT - Proceedings - 2010 IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010
Y2 - 1 November 2010 through 4 November 2010
ER -