Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz,, Matthias Volk

TL;DR
This paper introduces a method using dynamic fault trees to analyze the safety of vehicle guidance systems during design, enabling quick evaluation of complex architectures with up to 300 components.
Contribution
It presents a novel approach for modeling and evaluating safety concepts and architectures in vehicle guidance systems using large-scale dynamic fault trees.
Findings
DFTs with up to 300 elements are feasible to evaluate quickly.
The approach supports comprehensive safety analysis during design.
Large-scale DFTs can be analyzed within minutes.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
