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


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


10 Figures and Tables

Slides referencing similar topics