@article{ref1,
title="Safety analysis for vehicle guidance systems with dynamic fault trees",
journal="Reliability engineering and system safety",
year="2019",
author="Ghadhab, Majdi and Junges, Sebastian and Katoen, Joost-Pieter and Kuntz, Matthias and Volk, Matthias",
volume="186",
number="",
pages="37-50",
abstract="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>",
language="en",
issn="0951-8320",
doi="10.1016/j.ress.2019.02.005",
url="http://dx.doi.org/10.1016/j.ress.2019.02.005"
}