%0 Journal Article
%T Safety analysis for vehicle guidance systems with dynamic fault trees
%J Reliability engineering and system safety
%D 2019
%A Ghadhab, Majdi
%A Junges, Sebastian
%A Katoen, Joost-Pieter
%A Kuntz, Matthias
%A Volk, Matthias
%V 186
%N 
%P 37-50
%X 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>
%G en
%I Elsevier Publishing
%@ 0951-8320
%U http://dx.doi.org/10.1016/j.ress.2019.02.005