Citation

Ghadhab M, Junges S, Katoen JP, Kuntz M, Volk M. Reliab. Eng. Syst. Safety 2019; 186: 37-50.

Copyright

(Copyright © 2019, Elsevier Publishing)

DOI

10.1016/j.ress.2019.02.005

PMID

unavailable

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.

Language: en

Keywords

Dynamic fault trees; Hardware partitioning; Model checking