Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Computer Science Review

Volumn 15, Issue , 2015, Pages 29-62

  Ruijters, Enno ^a   Stoelinga, Mariëlle ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Dependability evaluation; Dynamic Fault Trees; Fault trees; Graphical models; Reliability; Risk analysis

Indexed keywords

RELIABILITY; RELIABILITY ANALYSIS; RISK ANALYSIS; RISK ASSESSMENT; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SURVEYS; TREES (MATHEMATICS);

COMMON CAUSE FAILURE; DEPENDABILITY EVALUATION; DYNAMIC FAULT TREES; FAULT TREE ANALYSES (FTA); FAULT-TREES; GRAPHICAL MODEL; QUALITATIVE ANALYSIS; QUANTITATIVE TECHNIQUES;

FAULT TREE ANALYSIS;

EID: 84929709003     PISSN: 15740137     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cosrev.2015.03.001     Document Type: Review

References (193)

1. Bozzano M., Villafiorita A. Design and Safety Assessment of Critical Systems 2010, CRC Press.
2. Rausand M., Hoylan A. System Reliability Theory. Models, Statistical Methods, and Applications. Wiley series in probability and statistics 2004, Wiley.
3. Bozzano M., Cimatti A., Katoen J.-P., Nguyen V.Y., Noll T., Roveri M. Safety, dependability and performance analysis of extended AADL models. Comput. J. 2011, 54:754-775. 10.1093/comjnl/bxq024.
4. US Department of Defense, Procedures for performing a failure mode, effects and criticality analysis, MIL-P-1629A, 1949.
5. U.D.o.T. Federal AviationAdministration, Reusable launch and reeintry vehicle system safery process, 2005.
6. Automotive Industry Action Group, Potential Failure Mode & Effects Analysis 2008.
7. M. Stamatelatos, W. Vesely, J.B. Dugan, J. Fragola, J. Minarick, J. Railsback, Fault Tree Handbook with Aerospace Applications, Office of safety and mission assurance NASA headquarters, 2002.
8. Kletz T.A. Hazop and Hazan 1999, CRC Press.
9. Modarres M., Kaminskiy M., Krivtsov V. Reliability Engineering and Risk Analysis 2009, CRC Press.
10. S. Distefano, A. Puliafito, Dynamic reliability block diagrams: Overview of a methodology, in: Proc. European Safety and Reliability Conf., ESREL, Vol.7, 2007, pp. 1059-1068.
11. Walter M., Siegle M., Bode A. Opensesame: the simple but extensive, structured availability modeling environment. Reliab. Eng. Syst. Safety 2007, 93(6):857-873. 10.1016/j.ress.2007.03.034.
12. A. Goyal, W.C. Carter, E. deSouzae Silva, S.S. Lavenberg, K.S. Trivedi, The system availability estimator, in: Proc. 25th Int. Symp. Fault-Tolerant Computing, FTCS, Highlights from Twenty-Five Years, 1995. pp. 182-187. http://dx.doi.org/10.1109/FTCSH.1995.532632.
13. Architecture, analysis and design language, aS5506, 2004.
14. M. Hecht, A. Lam, C. Vogl, C. Dimpfl, A tool set for generation of failure modes and effects analyses from AADL models, in: Presentation at Systems and Software Technology Conference 2012, 2012.
15. Ern B., Nguyen V.Y., Noll T. Characterization of failure effects on AADL models. Lecture Notes in Computer Science 2013, vol. 8153:241-252. Springer, Berlin, Heidelberg. 10.1007/978-3-642-40793-2_22.
16. Rumbaugh J., Jabobson I., Booch G. Unified Modeling Language Referance Manual 2004, Pearson Higher Education. second ed.
17. A. Bondavalli, I. Majzik, I. Mura, Automatic dependability analysis for supporting design decisions in UML, in: Proc. 4th Int. Symp. High Assurance Systems Engineering, HASE, 1999, pp. 64-71. http://dx.doi.org/10.1109/HASE.1999.809476.
18. S. Bernardi, S. Donatelli, J. Merseguer, From UML sequence diagrams and statecharts to analysable petri net models, in: Proc. 3rd Int. Workshop on Software and Performance, WOSP, 2002, pp. 35-45. http://dx.doi.org/10.1145/584369.584376.
19. P. Popic, D. Desovski, W. Abdelmoez, B. Cukic, Error propagation in the reliability analysis of component based systems, in: Proc. 16th Int. Symp. on Software Reliability Engineering, ISSRE, 2005, pp. 52-62. http://dx.doi.org/10.1109/ISSRE.2005.18.
20. Deavours D.D., Clark G., Courtney T., Daly D., Derisavi S., Doyle J.M., Sanders W.H., Webster P.G. The Möbius framework and its implementation. IEEE Trans. Softw. Eng. 2002, 28(10):956-969. 10.1109/TSE.2002.1041052.
21. W.H. Sanders, T. Courtney, D. Deavours, D. Daly, S. Derisavi, V. Lam, Multi-formalism and multi-solution-method modeling frameworks: The Möbius approach, in: Proc. Symp. Performance Evaluation - Stories and Perspectives, Vienna, Austria, 2003, pp. 241-256.
22. Council directive 89/391/EEC of 12 June 1989 on the introduction of measures to encourage improvements in the safety and health of workers at work, 1989.
23. IEC 61025: Fault tree analysis, 2006.
24. Occupational Safety and Health Administration, US Department of Labor, OSHA 3133: Process Safety Management Guidelines for Compliance, 1994.
25. Directive 2006/42/EC of 17 May 2006 on machinery, 2006.
26. Hoogerkamp P. Praktijkgids Risicobeoordeling Machinerichtlijn, Nederlands Normalisatie-instituur 2010.
27. Federal Aviation Administration, US Department of Transportation, FAA Order 8040.4: Safety Risk Management, 1998.
28. Federal Aviation Administration, US Department of Transportation, System Safety Handbook, 2000.
29. C.A. Ericson, Fault Tree Analysis-a history, in: Proc. 17th International System Safety Conference, Orlando, Florida, USA, 1999, pp. 1-9.
30. Vesely W.E., Goldberg F.F., Roberts N.H., Haasl D.F. Fault Tree Handbook 1981, Office of Nuclear Regulatory Reasearch, US Nuclear Regulatory Commision.
31. Lee W.-S., Grosh D.L., Tillman F.A., Lie C.H. Fault tree analysis, methods, and applications - A review. IEEE Trans. Rel. 1985, R-34(3):194-203. 10.1109/TR.1985.5222114.
32. Malhotra M., Trivedi K.S. Dependability modeling using Petri-nets. IEEE Trans. Rel. 1995, 44(3):428-440. 10.1109/24.406578.
33. Bänsch K., Hein A., Malhotra M., Trivedi K. Comment/correction: Dependability modeling using Petri nets. IEEE Trans. Rel. 1996, 45(2):272-273. 10.1109/24.510814.
34. Codetta-Raiteri D., Franceschinis G., Iacono M., Vittorini V. Repairable fault tree for the automatic evaluation of repair policies. Proc. Int. Conf. Dependable Systems and Networks, DSN 2004, 659-668. IEEE.
35. Fussell J.B., Henry E.B., Marshall N.H. MOCUS: a computer program to obtain minimal sets from fault trees, Tech. rep 1974, Aerojet Nuclear Co, Idaho Falls.
36. Pande P.K., Spector M.E., Chatterjee P. Computerized fault tree analysis: TREEL and MICSUP, Tech. Rep. 1975, Operation Research Centre, University of California, Berkeley.
37. O. Coudert, J.C. Madre, Fault tree analysis: 1020 Prime implicants and beyond, in: Proc. Reliability and Maintainability Symposium, RAMS, 1993, pp. 240-245. http://dx.doi.org/10.1109/RAMS.1993.296849.
38. Coudert O., Madre J.C. MetaPrime: An interactive fault-tree analyzer. IEEE Trans. Rel. 1994, 43:121-127. 10.1109/24.285125.
39. Rauzy A.B. New algorithms for fault tree analysis. Reliab. Eng. Syst. Safety 1993, 40(3):203-211. 10.1016/0951-8320(93)90060-C.
40. Rauzy A., Dutuit Y. Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia. Reliab. Eng. Syst. Safety 1997, 58(2):127-144. 10.1016/S0951-8320(97)00034-3.
41. Dutuit Y., Rauzy A.B. A linear-time algorithm to find modules of fault trees. IEEE Trans. Rel. 1996, 45:422-425. 10.1109/24.537011.
42. Dugan J.B., Venkataraman B., Gulati R. DIFtree: A software package for the analysis of dynamic fault tree models. Proc. Reliability and Maintainability Symposium, RAMS 1997, 64-70. IEEE. 10.1109/RAMS.1997.571666.
43. R. Remenyte, J.D. Andrews, A simple component connection approach for fault tree conversion to binary decision diagram, in: Proc. 1st Int. Conf. Availability, Reliability and Security, ARES, 2006, pp. 449-456. http://dx.doi.org/10.1109/ARES.2006.17.
44. Remenyte-Prescott R., Andrews J. An enhanced component connection method for conversion of fault trees to binary decision diagrams. Reliab. Eng. Syst. Safety 2008, 93(10):1543-1550. 10.1016/j.ress.2007.09.001.
45. Codetta-Raiteri D. BDD based analysis of parametric fault trees. Proc. Reliability and Maintainability Symposium, RAMS 2006, 442-449. IEEE. 10.1109/RAMS.2006.1677414.
46. J. Xiang, K. Yanoo, Y. Maeno, K. Tadano, F. Machida, A. Kobayashi, T. Osaki, Efficient analysis of fault trees with voting gates, in: Proc. 22nd Int. Symp. on Software Reliability Engineering, ISSRE, 2011, pp. 230-239. http://dx.doi.org/10.1109/ISSRE.2011.23.
47. Carrasco J.A., Suñé V. An algorithm to find minimal cuts of coherent fault-trees with event-classes using a decision tree. IEEE Trans. Rel. 1999, 48:31-41. 10.1109/24.765925.
48. Vesely W.E., Narum R.E. PREP and KITT: computer codes for the automatic evaluation of a fault tree, Tech. rep 1970, Idaho Nuclear Corp., Idaho Falls.
49. Akers S.B. Binary decision diagrams. IEEE Trans. Comput. 1978, C-27(6):509-516. 10.1109/TC.1978.1675141.
50. Clarke E.M., Grumberg O., Peled D. Model checking 1999, MIT Press.
51. Sinnamon R.M., Andrews J.D. Fault tree analysis and binary decision diagrams. Proc. Reliability and Maintainability Symposium, RAMS 1996, 215-222. IEEE. 10.1109/RAMS.1996.500665.
52. Ross D.E., Butler K.M., Mercer M.R. Exact ordered binary decision diagram size when representing classes of symmetric functions. J. Electron. Test. 1991, 2(3):243-259. 10.1007/BF00135441.
53. Bollig B., Wegener I. Improving the variable ordering of OBDDs is NP-complete. IEEE Trans. Comput. 1996, 45(9):993-1002. 10.1109/12.537122.
54. Way Y.-S., Hsia D.-Y. A simple component-connection method for building binary decision diagrams encoding a fault tree. Reliab. Eng. Syst. Safety 2000, 70(1):59-70. 10.1016/S0951-8320(00)00048-X.
55. Tang Z., Dugan J.B. Minimal cut set/sequence generation for dynamic fault trees. Proc. Reliability and Maintainability Symposium, RAMS 2004, 207-213. IEEE. 10.1109/RAMS.2004.1285449.
56. Miao Z., Niu R., Tang T., Liu J. A new generation algorithm of fault tree minimal cut sets and its application in CBTC system. Proc. Int. Conf. Intelligent Rail Transportation, ICIRT 2013, 221-226. IEEE. 10.1109/ICIRT.2013.6696297.
57. Barlow R.E., Proschan F. Statistical Theory of Reliability and Life Testing 1975, Holt, Rinehart, & Winstron.
58. Stecher K. Evaluation of large fault-trees with repeated events using an efficient bottom-up algorithm. IEEE Trans. Rel. 1986, 35:51-58. 10.1109/TR.1986.4335344.
59. Bobbio A., Portinale L., Minichino M., Ciancamerla E. Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliability Engineering & System Safety 2001, 71(3):249-260. 10.1016/S0951-8320(00)00077-6.
60. Montani S., Portinale L., Bobbio A., Varesio M., Codetta-Raiteri D. DBNet, a tool to convert dynamic fault trees into dynamic Bayesian networks, Tech. Rep. 2005, Dip. di Informatica, Univ. del Piemonte Orientale.
61. Durga-Rao K., Gopika V., Sanyasi-Rao V.V.S., Kushwaha H.S., Verma A.K., Srividya A. Dynamic fault tree analysis using monte carlo simulation in probabilistic safety assessment. Reliability Engineering & System Safety 2009, 94(4):872-883. 10.1016/j.ress.2008.09.007.
62. Aliee H., Zarandi H.R. A fast and accurate fault tree analysis based on stochastic logic implemented on field-programmable gate arrays. IEEE Trans. Rel. 2013, 62:13-22. 10.1109/TR.2012.2221012.
63. Amari S.V., Akers J.B. Reliability analysis of large fault trees using the vesely failure rate. Proc. Reliability and Maintainability Symposium, RAMS 2004, 391-396. IEEE. 10.1109/RAMS.2004.1285481.
64. Schneeweiss W.G. On the polynomial form of boolean functions: Derivations and applications. IEEE Trans. Comput. 1998, 47:217-221. 10.1109/12.663768.
65. Schneeweiss W. SyRePa'89-a package of programs for systems reliability evaluations, Tech. Rep., Informatik-Rep. 91 1990, Fern Universität.
66. Rauzy A. Binary decision diagrams for reliability studies. Handbook of Performability Engineering 2008, 381-396. 10.1007/978-1-84800-131-2_25.
67. I. Ben-Gal, Bayesian networks, in: Encyclopedia of Statistics in Quality and Reliability I, 2008. http://dx.doi.org/10.1002/9780470061572.eqr089.
68. Langseth H., Portinale L. Bayesian networks in reliability. Reliab. Eng. Syst. Safety 2007, 92(1):92-108. 10.1016/j.ress.2005.11.037.
69. Lampis M. Application of bayesian belief networks to system fault diagnostics 2010, (Ph.D. thesis), Loughborough University.
70. Crosetti P.A. Fault tree analysis with probability evaluation. IEEE Trans. Nucl. Sci. 1971, 18(1):465-471. 10.1109/TNS.1971.4325911.
71. Vesely W.E. A time-dependent methodology for fault tree evaluation. Nucl. Eng. Des. 1970, 13(2):337-360. 10.1016/0029-5493(70)90167-6.
72. Rushdi A.M. Uncertainty analysis of fault-tree outputs. IEEE Trans. Rel. 1985, R-34(5):458-462. 10.1109/TR.1985.5222232.
73. Birnbaum Z.W. On the importance of different components in a multicomponent system, Tech. Rep. 1968, Department of Mathematics, University of Washington.
74. Jackson P.S. On the s-importance of elements and prime implicants of non-coherent systems. IEEE Trans. Rel. 1983, R-32(1):21-25. 10.1109/TR.1983.5221464.
75. Andrews J.D., Beeson S. Birnbaum's measure of component importance for noncoherent systems. IEEE Trans. Rel. 2003, 52:213-219. 10.1109/TR.2003.809656.
76. Contini S., Matuzas V. New methods to determine the importance measures of initiating and enabling events in fault tree analysis. Reliab. Eng. Syst. Safety 2011, 96(7):775-784. 10.1016/j.ress.2011.02.001.
77. Hong J.S., Lie C.H. Joint reliability-importance of two edges in an undirected network. IEEE Trans. Rel. 1993, 42:17-23. 10.1109/24.210266.
78. Armstrong M.J. Joint reliability-importance of components. IEEE Trans. Rel. 1995, 44:408-412. 10.1109/24.406574.
79. Lu L., Jiang J. Joint failure importance for noncoherent fault trees. IEEE Trans. Rel. 2007, 435-443. 10.1109/TR.2007.898574.
80. Fussell J.B. How to hand-calculate system reliability and safety characteristics. IEEE Trans. Rel. 1975, R-24(3):169-174. 10.1109/TR.1975.5215142.
81. Dutuit Y., Rauzy A.B. Efficient algorithms to assess component and gate importance in fault tree analysis. Reliab. Eng. Syst. Safety 2001, 72(2):213-222. 10.1016/S0951-8320(01)00004-7.
82. A.L Development, Fault Tree Analysis, FTA, Software, . http://aldservice.com/en/reliability-products/fta.html.
83. EPRI, CAFTA, . http://www.epri.com/abstracts/Pages/ProductAbstract.aspx?ProductId=000000000001015514.
84. Isograph, FaultTree+, . http://www.isograph.com/software/reliability-workbench/fault-tree-analysis/.
85. Johnson M.A., Taaffe M.R. The denseness of phase distributions, Tech. Rep., School of Industrial Engineering Research Memoranda 88-20 1988, Purdue University.
86. I. Software, ITEM Toolkit: Fault Tree Analysis, FTA, . http://www.itemsoft.com/fault_tree.html.
87. OpenFTA, . http://www.openfta.com/.
88. ReliaSoft, BlockSim, . http://www.reliasoft.com/BlockSim/index.html.
89. PTC, Windchill FTA, . http://www.ptc.com/product/relex/fault-tree.
90. L.R. Consulting, Risk Spectrum, . http://www.riskspectrum.com/en/risk.
91. Dugan J.B., Bavuso S.J., Boyd M.A. Fault trees and sequence dependencies. Proc. 1990 Annual Reliability and Maintainability Symp 1990, 286-293. IEEE. 10.1109/ARMS.1990.67971.
92. Boudali H., Crouzen P., Stoelinga M. Dynamic fault tree analysis using input/output interactive Markov chains. Proc. 37th Int. Conf. Dependable Systems and Networks, DSN 2007, 708-717. IEEE. 10.1109/DSN.2007.37.
93. Boudali H., Crouzen P., Stoelinga M. A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secure Comput. 2010, 7(2):128-143. 10.1109/TDSC.2009.45.
94. Walker M., Papadopoulos Y. Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Eng. Pract. 2009, 17(10):1115-1125. 10.1016/j.conengprac.2008.10.003.
95. Boudali H., Crouzen P., Stoelinga M. A compositional semantics for dynamic fault trees in terms of interactive Markov chains. Lecture Notes in Computer Science 2007, vol. 4762:441-456. Springer, Berlin, Heidelberg. 10.1007/978-3-540-75596-8_31.
96. Portinale L., Codetta-Raiteri D., Montani S. Supporting reliability engineers in exploiting the power of dynamic Bayesian networks. Int. J. Approx. Reason. 2010, 51(2):179-195. 10.1016/j.ijar.2009.05.009.
97. Bobbio A., Codetta-Raiteri D. Parametric fault trees with dynamic gates and repair boxes. Proc. Reliability and Maintainability Symposium, RAMS 2004, 459-465. IEEE. 10.1109/RAMS.2004.1285491.
98. Guck D., Katoen J.-P., Stoelinga M., Luiten T., Romijn J. Smart railroad maintenance engineering with stochastic model checking. Proc. 2nd Int. Conf. Railway Technology: Reseach, Development and Maintenance (Railways) 2014, Saxe-Coburg Publications, Ajaccio, Corsica, France. 10.4203/ccp.104.299.
99. Codetta-Raiteri D. Integrating several formalisms in order to increase fault trees' modeling power. Reliability Engineering & System Safety 2011, 96(5):534-544. 10.1016/j.ress.2010.12.027.
100. H.-L. Zhang, C.-Y. Zhang, D. Liu, R. Li, A method of quantitative analysis for dynamic fault tree, in: Proc. Reliability and Maintainability Symposium, RAMS, 2011, pp. 1-6. http://dx.doi.org/10.1109/RAMS.2011.5754471.
101. Liu D., Xing W., Zhang C., Li R., Li H. Cut sequence set generation for fault tree analysis. Lecture Notes in Computer Science 2007, vol. 4523:592-603. Springer, Berlin, Heidelberg. 10.1007/978-3-540-72685-2_55.
102. Liu D., Zhang C., Xing W., Li R., Li H. Quantification of cut sequence set for fault tree analysis. Lecture Notes in Computer Science 2007, vol. 4782:755-765. Springer, Berlin, Heidelberg. 10.1007/978-3-540-75444-2_70.
103. P.-Y. Chaux, J.-M. Roussel, J.-J. Lesage, G. Deleuze, M. Bouissou, Towards a unified definition of minimal cut sequences, in: Proc. 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS, Vol.4, 2013, pp. 1-6. http://dx.doi.org/10.3182/20130904-3-UK-4041.00013.
104. G. Merle, J.-M. Roussel, Algebraic modelling of fault trees with priority AND gates, in: Proc. 1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS, 2007, pp. 175-180.
105. Merle G., Roussel J.-M., Lesage J.-J., Bobbio A. Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Trans. Rel. 2010, 59(1):250-261. 10.1109/TR.2009.2035793.
106. Merle G. Algebraic modelling of dynamic fault trees, contribution to qualitative and quantitative analysis 2010, (Ph.D. thesis), École normale supérieure de Cachan.
107. G. Merle, J.-M. Roussel, J.-J. Lesage, Dynamic fault tree analysis based on the structure function, in: Proc. Reliability and Maintainability Symposium, RAMS, 2011, pp. 1-6. http://dx.doi.org/10.1109/RAMS.2011.5754452.
108. Rauzy A.B. Sequence algebra, sequence decision diagrams and dynamic fault trees. Reliab. Eng. Syst. Safety 2011, 96(7):785-792. 10.1016/j.ress.2011.02.005.
109. ichi Minato S. Zero-suppressed BDDs for set manipulation in combinatorial problems. Proc. 30th ACM/IEEE Design Automation Conf 1993, 272-277. ACM, New York. 10.1145/157485.164890.
110. Dugan J.B., Bavuso S.J., Boyd M.A. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Rel. 1992, 363-377. 10.1109/24.159800.
111. Kwiatkowska M., Norman G., Parker D. PRISM 4.0: Verification of probabilistic real-time systems. LNCS 2011, vol. 6806:585-591. Springer, Berlin, Heidelberg. 10.1007/978-3-642-22110-1_47.
112. Baier C., Katoen J.-P. Principles of Model Checking 2008, MIT Press.
113. D. Codetta-Raiteri, The conversion of dynamic fault trees to stochastic petri nets, as a case of graph transformation, in: Proc. Workshop on Petri Nets and Graph Transformations, PNGT 2004, Vol. 127, 2005, pp. 45-60. http://dx.doi.org/10.1016/j.entcs.2005.02.005.
114. Chiola G., Dutheillet C., Franceschinis G., Haddad S. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 1993, 42:1343-1360.
115. Hermanns H. Interactive Markov chains: and the quest for quantified quality 2002, Springer-Verlag, Berlin.
116. Arnold F., Belinfante A., Freark van-der Berg D.G., Stoelinga M. DFTCalc: A tool for efficient fault tree analysis. Lecture Notes in Computer Science 2013, 293-301. Springer, Berlin, Heidelberg, Toulouse, Fance. 10.1007/978-3-642-40793-2_27.
117. Pullum L.L., Dugan J.B. Fault tree models for the analysis of complex computer-based systems. Proc. Reliability and Maintainability Symposium, RAMS 1996, 200-207. IEEE. 10.1109/RAMS.1996.500663.
118. Long W., Sato Y., Horigome M. Quantification of sequential failure logic for fault tree analysis. Reliab. Eng. Syst. Safety 2000, 67(3):269-274. 10.1016/S0951-8320(99)00075-7.
119. Han W., Guo W., Hou Z. Research on the method of dynamic fault tree analysis. Proc. 9th Int. Conf. Reliability, Maintainability and Safety, ICRMS 2011, 950-953. IEEE. 10.1109/ICRMS.2011.5979422.
120. S. Amari, D. Glenn, H. Eileen, A new approach to solve dynamic fault trees, in: Proc. Reliability and Maintainability Symposium, RAMS, 2003, pp. 374-379. http://dx.doi.org/10.1109/RAMS.2003.1182018.
121. D. Liu, L. Xiong, Z. Li, P. Wang, H. Zhang, The simplification of cut sequence set analysis for dynamic systems, in: Proc. 2nd Int. Conf. Computer and Automation Engineering, ICCAE, Vol.3, 2010, pp. 140-144. http://dx.doi.org/10.1109/ICCAE.2010.5451831.
122. O. Yevkin, An improved modular approach for dynamic fault tree analysis, in: Proc. Reliability and Maintainability Symposium, RAMS, 2011, pp. 1-5. http://dx.doi.org/10.1109/RAMS.2011.5754437.
123. S. Montani, L. Portinale, A. Bobbio, Dynamic Bayesian networks for modeling advanced fault tree features in dependability analysis, in: Proc. European Safety and Reliability Conf., ESREL, 2005, pp. 1415-1422.
124. H. Boudali, J.B. Dugan, A new Bayesian network approach to solve dynamic fault trees, in: Proc. Reliability and Maintainability Symposium, RAMS, 2005, pp. 451-456. http://dx.doi.org/10.1109/RAMS.2005.1408404.
125. Rongxing D., Guochun W., Decun D. A new assessment method for system reliability based on dynamic fault tree. Proc. Int. Conf. Intelligent Computation Technology and Automation, ICICTA 2010, 219-222. IEEE. 10.1109/ICICTA.2010.237.
126. Graves T.L., Hamada M.S., Klamann R., Koehler A., Martz H.F. A fully Bayesian approach for combining multi-level information in multi-state fault tree quantification. Reliab. Eng. Syst. Safety 2007, 92(10):1476-1483. 10.1016/j.ress.2006.11.001.
127. Mo Y. A multiple-valued decision-diagram-based approach to solve dynamic fault trees. IEEE Trans. Rel. 2014, 63(1):81-93. 10.1109/TR.2014.2299674.
128. Ni J., Tang W., Xing Y. A simple algebra for fault tree analysis of static and dynamic systems. IEEE Trans. Rel. 2013, 62:846-861. 10.1109/TR.2013.2285035.
129. H. Boudali, A.P. Nijmeijer, M.I.A. Stoelinga, DFTSim: A simulation tool for extended dynamic fault trees, in: Proc. 42nd Annual Simulation Symposium, ANSS, San Diego, California, USA, 2009.
130. Liang X., Yi H., Zhang Y., Li D. A numerical simulation approach for reliability analysis of fault-tolerant repairable system. Proc. 8th Int. Conf. Reliability, Maintainability and Safety, ICRMS 2009, 191-196. IEEE. 10.1109/ICRMS.2009.5270210.
131. Zhang X., Miao Q., Fan X., Wang D. Dynamic fault tree analysis based on Petri nets. IEEE 2009, 138-142. IEEE. 10.1109/ICRMS.2009.5270223.
132. H. Aliee, H.R. Zarandi, Fault tree analysis using stochastic logic: A reliable and high speed computing, in: Proc. Reliability and Maintainability Symposium, RAMS, 2011, pp. 1-6. http://dx.doi.org/10.1109/RAMS.2011.5754466.
133. Rajabzadeh A., Jahangiry M.S. Hardware-based reliability tree (HRT) for fault tree analysis. Proc. 15th CSI Int. Symp. Computer Architecture and Digital Systems, CADS 2010, 171-172. IEEE. 10.1109/CADS.2010.5623587.
134. Y. Ou, J.B. Dugan, Sensitivity analysis of modular dynamic fault trees, in: Proc. IEEE Int. Computer Performance and Dependabily Symp., IPDS, 2000, pp. 35-43. http://dx.doi.org/10.1109/IPDS.2000.839462.
135. H. Boudali, P. Crouzen, M. Stoelinga, CORAL - a tool for compositional reliability and availability analysis, in: ARTIST workshop, presented at the 19th Int. Conf. Computer Aided Verification, 2007.
136. L. Portinale, A. Bobbio, D. Codetta-Raiteri, S. Montani, Compiling dynamic fault trees into dynamic Bayesian nets for reliability analysis: the RADYBAN tool, in: Proc. 5th UAI Bayesian Modeling Applications Workshop, UAI-AW, 2007.
137. Montani S., Portinale L., Bobbio A., Codetta-Raiteri C. Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Safety 2008, 93(7):922-932. 10.1016/j.ress.2007.03.013.
138. Tanaka H., Fan L., Lai F., Toguchi K. Fault-tree analysis by fuzzy probability. IEEE Trans. Rel. 1983, 32(5):453-457. 10.1109/TR.1983.5221727.
139. Mahmood Y.A., Ahmadi A., Verma A.K., Srividya A., Kumar U. Fuzzy fault tree analysis: a review of concept and application. Int. J. Syst. Assur. Eng. Manag. 2013, 4(1):19-32. 10.1007/s13198-013-0145-x.
140. Singer D. A fuzzy set approach to fault tree and reliability analysis. Fuzzy Sets and Systems 1990, 34(2):145-155. 10.1016/0165-0114(90)90154-X.
141. Lin C.-T., Wang M.-J.-J. Hybrid fault tree analysis using fuzzy sets. Reliab. Eng. Syst. Safety 1997, 58(3):205-213. 10.1016/S0951-8320(97)00072-0.
142. Kim C., Ju Y., Gens M. Multilevel fault tree analysis using fuzzy numbers. Comput. Oper. Res. 1996, 23(7):695-703. 10.1016/0305-0548(95)00070-4.
143. Shu M.-H., Cheng C.-H., Chang J.-R. Using intuitionistic fuzzy sets for fault-tree analysis on printed circuit board assembly. Microelectron. Reliab. 2006, 46(12):2139-2148. 10.1016/j.microrel.2006.01.007.
144. Li D.-F. A note on "using intuitionistic fuzzy sets for fault-tree analysis on printed circuit board assembly". Microelectron. Reliab. 2008, 48(10):1741. 10.1016/j.microrel.2008.07.059.
145. Ren Y., Kong L. Fuzzy multi-state fault tree analysis based on fuzzy expert system. Proc. 9th Int. Conf. Reliability, Maintainability and Safety, ICRMS 2011, 920-925. IEEE. 10.1109/ICRMS.2011.5979415.
146. A. El-Iraki, E.R. Odoom, Fuzzy probist reliability assessment of repairable systems, in: Proc. Conference of the North American Fuzzy Information Processing Society, NAFIPS, 1998, pp. 96-100.
147. Huang H.-Z., Tong X., Zuo M.J. Posbist fault tree analysis of coherent systems. Reliability Engineering & System Safety 2004, 84(2):141-148. 10.1016/j.ress.2003.11.002.
148. Page L.B., Perry J.E. Standard deviation as an alternative to fuzziness in fault tree models. IEEE Trans. Rel. 1994, 43(3):402-407. 10.1109/24.326434.
149. Forster M., Trapp M. Fault tree analysis of software-controlled component systems based on second-order probabilities. Proc. 20th Int. Symp. on Software Reliability Engineering, ISSRE 2009, 146-154. IEEE. 10.1109/ISSRE.2009.22.
150. Furuta H., Shiraishi N. Fuzzy importance in fault tree analysis. Fuzzy Sets and Systems 1984, 12(3):205-213. 10.1016/0165-0114(84)90068-X.
151. Suresh P.V., Babar A.K., Raj V.V. Uncertainty in fault tree analysis: A fuzzy approach. Fuzzy Sets and Systems 1996, 83(2):135-141. 10.1016/0165-0114(95)00386-X.
152. Carreras C., Walker I.D. Interval methods for fault-tree analysis in robotics. IEEE Trans. Rel. 2001, 50:3-11. 10.1109/24.935010.
153. Zadeh L.A. The concept of a linguistic variable and its application to approximate reasoning. Inform. Sci. 1975, 8(3):199-249. 10.1016/0020-0255(75)90036-5.
154. Soman K.P., Misra K.B. Fuzzy fault tree analysis using resolution identity. J. Fuzzy Math. 1993, 1:193-212.
155. Guimare-es A.C.F., Ebecken N.F.F. FuzzyFTA: A fuzzy fault tree system for uncertainty analysis. Ann. Nucl. Energy 1999, 26(6):523-532. 10.1016/S0306-4549(98)00070-X.
156. Wang Y.F., Xie M., Ng K.M., Meng Y.F. Quantitative risk analysis model of integrating fuzzy fault tree with Bayesian network. Proc. Int. Conf. Intelligence and Security Informatics, ISI 2011, 267-271. IEEE. 10.1109/ISI.2011.5984095.
157. Wang Y., Xie M. Approach to integrate fuzzy fault tree with Bayesian network. Procedia Eng. 2012, 45:131-138. 10.1016/j.proeng.2012.08.133.
158. Buchacker K. Combining fault trees and Petri nets to model safety-critical systems. Proc. High Performance Computing Symposium, HPC 1999, 439-444. The Society for Computer Simulation International.
159. K. Buchacker, Modeling with extended fault trees, in: Proc. 5th Int. Symp. High Assurance Systems Engineering, HASE, 2000, pp. 238-246. http://dx.doi.org/10.1109/HASE.2000.895468.
160. Zang X., Wang D., Sun H., Trivedi K.S. A BDD-based algorithm for analysis of multistate systems with multistate components. IEEE Trans. Comput. 2003, 52(12):1608-1618. 10.1109/TC.2003.1252856.
161. Twigg D.W., Ramesh A.V., Sandadi U.R., Sharma T.C. Modeling mutually exclusive events in fault trees. Proc. Reliability and Maintainability Symposium, RAMS 2000, 8-13. IEEE. 10.1109/RAMS.2000.816276.
162. Vaurio J.K. Treatment of general dependencies in system fault-tree and risk analysis. IEEE Trans. Rel. 2002, 51:278-287. 10.1109/TR.2002.801848.
163. M. Bouissou, Boolean logic Driven Markov Processes: a powerful new formalism for specifying and solving very large Markov models, in: Proc. 6th Int. Conf. Probabilistic Safety Assessment and Management, PSAM, San Juan, Puerto Rico, USA, 2002.
164. M. Bouissou, BDMP (Boolean logic Driven Markov Processes)®as an alternative to Event Trees, in: Proc. European Safety and Reliability Conf., ESREL, 2008.
165. P.-Y. Chaux, J.-M. Roussel, J.-J. Lesage, G. Deleuze, M. Bouissou, Systematic extraction of minimal cut sequences from a BDMP model, in: Proc. European Safety and Reliability Conf., ESREL, Vol.4, 2012, pp. 3344-3351.
166. P.-Y. Chaux, J.-M. Roussel, J.-J. Lesage, G. Deleuze, M. Bouissou, Qualitative analysis of a BDMP by finite automaton, in: Proc. European Safety and Reliability Conf., ESREL, 2011, pp. 2050-2057.
167. ®. Proc. 16th European Safety and Reliability Conf., ESREL 2007, Stavanger, Norway.
168. Flammini F., Mazzocca N., Iacono M., Marrone S. Using repairable fault trees for the evaluation of design choices for critical repairable systems. Proc. Int. Symp. High Assurance Systems Engineering, HASE 2005, 163-172. IEEE. 10.1109/HASE.2005.26.
169. M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, S. Hadded, Non deterministic repairable fault trees for computing optimal repair strategy, in: Proc. 3rd Int. Conf. Performance Evaluation, Methodologies and Tools, 2008.
170. Beccuti M., Franceschinis G., Codetta-Raiteri D., Haddad S. Computing optimal repair strategies by means of NdRFT modeling and analysis. Comput. J. 2014, 57(12):1870-1892. 10.1093/comjnl/bxt134.
171. M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, S. Haddad, Parametric NdRFT for the derivation of optimal repair strategies, in: Proc. Int. Conf. Dependable Systems and Networks (DSN), 2009, pp. 399-408. http://dx.doi.org/10.1109/DSN.2009.5270312.
172. Balakrishnan M., Trivedi K. Componentwise decomposition for an efficient reliability computation of systems with repairable components. 25th Int. Symp. Fault-Tolerant Computing, FTCS, Digest of Papers 1995, 259-268. IEEE. 10.1109/FTCS.1995.466972.
173. Dutuit Y., Rauzy A.B. Approximate estimation of system reliability via fault trees. Reliability Engineering & System Safety 2005, 87(2):163-172. 10.1016/j.ress.2004.02.008.
174. Flammini F., Marrone S., Iacono M., Mazzocca N., Vittorini V. A multiformalism modular approach to ERTMS/ETCS failure modelling. Int. J. Reliab. Quality Safety Eng. 2014, 21. 10.1142/S0218539314500016.
175. Codetta-Raiteri D. Extended fault trees analysis supported by stochastic petri nets 2005, (Ph.D. thesis), Università degli Studi di Torino.
176. Kara-Zaitri C., Ever E. A hardware accelerated semi analytic approach for fault trees with repairable components. Proc. 11th Int. Conf. Computer Modelling and Simulation, UKSIM 2009, 146-151. IEEE. 10.1109/UKSIM.2009.83.
177. P.G. Wijayarathna, M. Maekawa, Extending fault trees with an AND-THEN gate, in: Proc. 11th Int. Symp. on Software Reliability Engineering, ISSRE, 2000, pp. 283-292. http://dx.doi.org/10.1109/ISSRE.2000.885879.
178. Walker M., Bottaci L., Papadopoulos Y. Compositional temporal fault tree analysis. Lecture Notes in Computer Science 2007, vol. 4680:106-119. Springer, Berlin, Heidelberg. 10.1007/978-3-540-75101-4_12.
179. Walker M., Papadopoulos Y. A hierarchical method for the reduction of temporal expressions in pandora. Proc. First Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems, DYADEM-FTS 2010, 7-12. ACM, New York. 10.1145/1772630.1772634.
180. G. Schellhorn, A. Thums, W. Reif, Formal fault tree semantics, in: Proc. 6th World Conf. on Integrated Design and Process Technology, 2002.
181. P. Gluchowski, Duration calculus for analysis of fault trees with time dependencies, in: Proc. 2nd Int. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX, 2007, pp. 107-114. http://dx.doi.org/10.1109/DEPCOS-RELCOMEX.2007.19.
182. Chaochen Z., Hoare C.A.R., Ravn A.P. A calculus of durations. Inform. Process. Lett. 1991, 40(5):269-276. 10.1016/0020-0190(91)90122-X.
183. Palshikar G.K. Temporal fault trees. Inf. Softw. Technol. 2002, 44(3):137-150. 10.1016/S0950-5849(01)00223-3.
184. Kaiser B., Gramlich C. State-event-fault-trees - a safety analysis model for software controlled systems. Lecture Notes in Computer Science 2004, vol. 3219:195-209. Springer, Berlin, Heidelberg. 10.1007/978-3-540-30138-7_17.
185. Kaiser B., Gramlich C., Förster M. State/event fault trees - a safety analysis model for software-controlled systems. Reliability Engineering & System Safety 2007, 92(11):1521-1537. 10.1016/j.ress.2006.10.010.
186. Kaiser B. Extending the expressive power of fault trees. Proc. Reliability and Maintainability Symposium, RAMS 2005, 468-474. IEEE. 10.1109/RAMS.2005.1408407.
187. Förster M., Kaiser B. Increased efficiency in the quantitative evaluation of state/event fault trees. Proc. 12th IFAC Symp. 2006, vol.-12:255-260. Elsevier Science Ltd. 10.3182/20060517-3-FR-2903.00143.
188. Xu B., Huang Z., Hu J., Wei O., Zhou Y. Minimal cut sequence generation for state/event fault trees. Proc. 2013 Middleware Doctoral Symposium 2013, ACM, New York, p. Article No. 3. 10.1145/2541534.2541592.
189. de-Alfaro L., Henzinger T.A. Interface automata. Proc. Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Int. Symp. Foundations of Software Engineering 2001, 109-120. ACM Press. 10.1145/503209.503226.
190. M. Roth, P. Liggesmeyer, Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems, in: Proc. Int. Symp. on Software Reliability Engineering Workshops, ISSREW, 2013, pp. 353-358. http://dx.doi.org/10.1109/ISSREW.2013.6688920.
191. Fovino I.N., Masera M., Cian A.D. Integrating cyber attacks within fault trees. Reliability Engineering & System Safety 2009, 94(9):1394-1402. 10.1016/j.ress.2009.02.020.
192. Kordy B., Piètre-Cambacèdés L., Schweitzer P. Dag-based attack and defense modeling: Don't miss the forest for the attack trees. Comput. Sci. Rev. 13-14 2014, 1-38. 10.1016/j.cosrev.2014.07.001.
193. Bouissou M. BDMP Knowledge Base for KB3 2012, http://sourceforge.net/projects/visualfigaro/files/Doc_and_examples/English/.