Showing 1–1 of 1 results for author: Kuntz, M
-
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees
Authors:
Majdi Ghadhab,
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Kuntz,
Matthias Volk
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 w…
▽ More
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.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.