Formal analysis of fault tree using probabilistic model checking: A solar array case study

Abstract

Fault Tree Analysis (FTA) is a widespread technique used to assess the reliability of safety-critical systems. The traditional way of conducting FTA is either through paper and pencil proof or through computer simulation techniques, which are inefficient and prone to inaccuracy. In this paper, we propose the use of probabilistic model checking to… (More)
DOI: 10.1109/SYSCON.2016.7490556

Topics

10 Figures and Tables

Slides referencing similar topics