Fault tree analysis method based on probabilistic model checking and discrete time Markov Chain

References

• Rao K, Gopika V, Rao V, et al. Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliab Eng Syst Saf. 2009;94:872–883.
   Web of Science ®Google Scholar
• Hu C, Yao JW. The reliability analysis of EMU based on the fault tree-Monte Carlo method. China Railway Sci. 2012;33: 52–59. in Chinese.
   Google Scholar
• Javier F, Juan AA, Martorell SS. Simulation methods for reliability and availability of complex systems. New York (NY): Spring-Verlag; 2010.
   Google Scholar
• Arnold F, Belinfante A, Berg FVD, et al., DFTCalc: a tool for efficient fault tree analysis, Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, Sept. 24–27, Toulouse, France, 293–301; 2013.
   Google Scholar
• Hichem D, Mustapha B. Generating diagnoses for probabilistic model checking using causality. J Comput Inf Technol. 2013;21: 13–22.
   Google Scholar
• John H, Marta K, Gethin N, et al. Probabilistic model checking of complex biological pathways. Theor Comput Sci. 2006;391:32–47.
   Web of Science ®Google Scholar
• Su G, Feng Y, Chen T, et al. Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Trans Software Eng. 2016;42:623–639.
   Web of Science ®Google Scholar
• Ammar M, Hamad GB, Mohamed OA, et al., Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking, Proceedings of 2016 Forum on Specification and Design Languages, Sept. 14–16, Bremen, Germany, 7880373; 2016.
   Google Scholar
• Nikola B, Barbora B, Ivana C, et al., Reliability analysis in component-based development via probabilistic model checking, Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, Jun. 25–28, Bertinoro, Ital, 83–92; 2012.
   Google Scholar
• Li L, Qian Y, Yang Y, et al. Evaluating mission reliability for complex weapon systems with probabilistic model checking. J Mech Eng. 2011;47: 171–176. in Chinese.
   Google Scholar
• Lars G, Robert C, Kirsten W, “Probabilistic model-checking support for FMEA,” Proceedings of 4th International Conference on the Quantitative Evaluation of Systems, Sept. 17–19, Edinburgh, UK, 119–128; 2007.
   Google Scholar
• Sagar C, Joseph G, David K, et al. Optimizing robotic team performance with probabilistic model checking. Lect Notes Comput Sci. 2014;8810:134–145.
   Google Scholar
• Feng C, Zhang H, Yan S, et al., Reliability evaluation for distribution system based on probabilistic model checking, Proceedings of 2nd International Conference on Reliability Systems Engineering, Jul. 10–12, Beijing, China, 8030776; 2017.
   Google Scholar
• Zhang D, Zhang YJ, Yu MR, Probabilistic model checking for reliability and safety analysis of a flexible manufacturing cell. Proceedings of 22nd Annual Conference on European Safety and Reliability, Sept. 29 – Oct. 2, Amsterdam, Netherlands, 3063–3069; 2013.
   Google Scholar
• Andrei S, Mourad D, Alhadidi. D, et al. Transportation risk analysis using probabilistic model checking. Expert Syst Appl. 2015;42:4410–4421.
   Web of Science ®Google Scholar
• Matthias V, Sebastian J, Joost-Pieter K. Fast dynamic fault tree analysis by model checking techniques. IEEE Trans Ind Inform. 2018;14:370–379.
   Web of Science ®Google Scholar
• Ammar M, Hoque KA, Mohamed OA, Formal analysis of fault tree using probabilistic model checking: a solar array case study, Proceedings of 10th Annual International Systems Conference, Apr. 18–21, Orlando, USA, 7490556; 2016.
   Google Scholar
• Marta K, Gethin N, David P, Advances and challenges of probabilistic model checking, Proceedings of 48th Annual Allerton Conference on Communication, Control and Computing, Sept. 29 - Oct. 1, Monticello, USA, 1691–1698; 2010.
   Google Scholar
• Zhou CH, Liu ZF, Wang CD. Bounded model checking for probabilistic computation tree logic. J Software. 2012;23: 1656–1668. in Chinese.
   Google Scholar
• Volk M, Junges S, Katoen JP. Fast dynamic fault tree analysis by model checking techniques. IEEE Trans Ind Inform. 2018;14:370–379.
   Web of Science ®Google Scholar