Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking

Fault Tree Analysis (FTA) is a widely used technique to assess the reliability of safety-critical systems. The conventional FTA approaches are based on simulation and often require extensive computing capabilities. In this paper, a model checking based technique is proposed to examine the probability of safety-critical systems failure. The proposed approach uses the advantages of both dynamic FTA and statistical model checking (SMC). In order to illustrate our proposed approach, the sources of failure in Data Communication System (DCS) are analyzed. After detecting the critical causes of system failure, several redundant architectures based on Triple Modular Redundancy (TMR) are investigated to assess their capabilities of risk mitigation.