# Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

**Authors:** Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz,, Matthias Volk

arXiv: 1903.05361 · 2019-03-14

## 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.

## Key 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.

---
Source: https://tomesphere.com/paper/1903.05361