TY  - JOUR
PY  - 2019//
TI  - Safety analysis for vehicle guidance systems with dynamic fault trees
JO  - Reliability engineering and system safety
A1  - Ghadhab, Majdi
A1  - Junges, Sebastian
A1  - Katoen, Joost-Pieter
A1  - Kuntz, Matthias
A1  - Volk, Matthias
SP  - 37
EP  - 50
VL  - 186
IS  - 
N2  - This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees can be used to evaluate various quantitative measures by means of model checking. The approach is accompanied by a large-scale evaluation: The resulting DFTs with up to 300 elements constitute larger-than-before DFTs, yet the concepts and architectures can be evaluated in a matter of minutes.<p />  <p>Language: en</p>
LA  - en
SN  - 0951-8320
UR  - http://dx.doi.org/10.1016/j.ress.2019.02.005
ID  - ref1
ER  -