An overview of fault tree analysis and its application in model based dependability analysis

Expert Systems with Applications

Volumn 77, Issue , 2017, Pages 114-135

  Kabir, Sohag ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Dynamic fault trees; Expert systems; Fault tree analysis; Model based dependability analysis; Reliability; Risk analysis; Safety analysis

Indexed keywords

EXPERT SYSTEMS; INTELLIGENT SYSTEMS; OPEN SYSTEMS; PETROLEUM RESERVOIR EVALUATION; RELIABILITY; RELIABILITY ANALYSIS; RISK ANALYSIS; RISK ASSESSMENT; UNCERTAINTY ANALYSIS;

DEPENDABILITY ANALYSIS; DEPENDABILITY EVALUATION; DYNAMIC FAULT TREES; FAULT TREE ANALYSES (FTA); SAFETY ANALYSIS; SYSTEM DEPENDABILITY; TOOLS AND TECHNIQUES; WORKING MECHANISMS;

FAULT TREE ANALYSIS;

EID: 85012065197     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2017.01.058     Document Type: Review

References (171)

1. Adler, R., Domis, D., Höfig, K., Kemmann, S., Kuhn, T., Schwinn, J.-P., et al. Integration of component fault trees into the UML. Workshops and symposia at MODELS, 2011, 312–327.
2. Aizpurua, J.I., Muxika, E., Model-based design of dependable systems : limitations and evolution of analysis and verification approaches. International Journal on Advances in Security 6:1 (2013), 12–31.
3. Åkerholm, M., Carlson, J., Fredriksson, J., Hansson, H., Håkansson, J., Möller, A., et al. The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software 80:5 (2007), 655–667.
4. ALD. ALD RAM commander. 2014 Available online at: http://aldservice.com/reliability-products/rams-software.html.
5. Anand, A., Somani, A.K., Hierarchical analysis of fault trees with dependencies, using decomposition. Proceedings of annual reliability and maintainability symposium, 1998, 69–75, 10.1109/RAMS.1998.653591.
6. Andrews, J.D., Tutorial: Fault tree analysis. Proceedings of the 16th international system safety conference, 1998 Available online at: http://www.fault-tree.net/papers/andrews-fta-tutor.pdf.
7. Arnold, A., Point, G., Griffault, A., Rauzy, A., The AltaRica formalism for describing concurrent systems. Fundamenta Informaticae 40:2 (2000), 109–124.
8. Arnold, F., Belinfante, A.F.E., Van der Berg, F.I., Guck, D., Stoelinga, M.I.A., DFTCalc: A Tool for efficient fault tree analysis. 32nd international conference on computer safety, reliability and security (SAFECOMP’13), 2013, 293–301.
9. Aubry, J.-F., Brînzei, N., Stochastic hybrid automaton. Systems dependability assessment, 2015, 105–120, 10.1002/9781119053996.
10. Auvation, OpenFTA. 2016 Available online at: http://www.openfta.com/.
11. Balakrishnan, M., Trivedi, K., Componentwise decomposition for an efficient reliability computation of systems with repairable components. Twenty-fifth international symposium on fault-tolerant computing, 1995, 259–268.
12. Batteux, M., Prosvirnova, T., Rauzy, A., Kloul, L., The AltaRica 3.0 project for model-based safety assessment. 11th IEEE international conference on industrial informatics (INDIN), IEEE, 2013, 741–746.
13. Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, S., Non deterministic repairable fault trees for computing optimal repair strategy. Proceedings of the 3rd international conference on performance evaluation methodologies and tools, 2008.
14. Beeson, S.C., Non-coherent fault tree analysis. PhD Thesis, 2002, Loughborough University.
15. Bieber, P., Castel, C., Seguin, C., Combination of fault tree analysis and model checking for safety assessment of complex system. Proceedings of the 4th european depting conference on dependable computing (EDCC), 2002, 19–31.
16. 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 71:3 (2001), 249–260, 10.1016/S0951-8320(00)00077-6.
17. Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.P., The AltaRica data-flow language in use: Modeling of production availability of a multi-state system. Reliability Engineering & System Safety 91:7 (2006), 747–755.
18. Boudali, H., Crouzen, P., Stoelinga, M., A compositional semantics for dynamic fault trees in terms of interactive Markov chains. Automated technology for verification and analysis, 2007, 441–456.
19. Boudali, H., Crouzen, P., Stoelinga, M., Dynamic fault tree analysis using input / output interactive Markov chains. Proceedings of the 37th annual IEEE/IFIP international conference on dependable systems and networks, Washington DC, 2007, IEEE Computer Society, 708–717.
20. Boudali, H., Crouzen, P., Stoelinga, M., A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Transactions on Dependable and Secure Computing 7:2 (2010), 128–143, 10.1109/TDSC.2009.45.
21. Boudali, H., Dugan, J.B., A discrete-time Bayesian network reliability modeling and analysis framework. Reliability Engineering and System Safety 87:3 (2005), 337–349, 10.1016/j.ress.2004.06.004.
22. Boudali, H., Dugan, J.B., A continuous-time bayesian network reliability modeling, and analysis framework. IEEE Transaction on Reliability 55:1 (2006), 86–97.
23. Boudali, H., Nijmeijer, A.P., Stoelinga, M., DFTSim: A simulation tool for extended dynamic fault trees. 42nd annual simulation symposium, 2009, 31–38.
24. Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., et al. Symbolic model checking and safety assessment of altarica models. Proceedings of the 10th international workshop on automated verification of critical systems, 2011.
25. Bozzano, M., Villafiorita, A., Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform. Computer Safety, Reliability, and Security 2788 (2003), 49–62.
26. Bozzano, M., Villafiorita, A., The FSAP/NuSMV-SA safety analysis platform. International Journal on Software Tools for Technology Transfer (STTT) 9:1 (2007), 5–24 Special Section on Advances in Automated Verification of Critical Systems.
27. BQR. CARE FTA. 2015 Available online at: http://www.bqr.com/care/care-dfr-package/care-fta/.
28. Carlson, J., Håkansson, J., Pettersson, P., SaveCCM: An analysable component model for real-time systems. Electronic Notes in Theoretical Computer Science 160 (2006), 127–140.
29. Castaneda, G.A.P., Aubry, J.-F., Brînzei, N., Stochastic hybrid automata model for dynamic reliability assessment. Proceedings of the institution of mechanical engineers. Part O: Journal of risk and reliability, 225, 2011, 28–41, 10.1177/1748006XJRR312.
30. Chiacchio, F., Available online at: http://www.dmi.unict.it/∼chiacchio/?m=5&project=raatss, 2012.
31. Chiacchio, F., Cacioppo, M., D'urso, D., Manno, G., Trapani, N., Compagno, L., A Weibull-based compositional approach for hierarchical dynamic fault trees. Reliability Engineering and System Safety 109 (2013), 45–52, 10.1016/j.ress.2012.07.005.
32. Chiacchio, F., D'Urso, D., Compagno, L., Pennisi, M., Pappalardo, F., Manno, G., SHyFTA, a stochastic hybrid fault tree automaton for the modelling and simulation of dynamic reliability problems. Expert Systems with Applications 47 (2016), 42–57, 10.1016/j.eswa.2015.10.046.
33. Codetta-Raiteri, D., The conversion of dynamic fault trees to stochastic petri nets, as a case of graph transformation. Electronic Notes in Theoretical Computer Science 127:2 (2005), 45–60.
34. Codetta-Raiteri, D., Franceschinis, G., Iacono, M., Vittorini, V., Repairable fault tree for the automatic evaluation of repair policies. International conference on dependable systems and networks, 2004, 659–668.
35. Contini, S., Cojazzi, G.G.M., Renda, G., On the use of non-coherent fault trees in safety and security studies. Reliability Engineering and System Safety 93:12 (2008), 1886–1895, 10.1016/j.ress.2008.03.018.
36. Dehlinger, J., Dugan, J.B., Analyzing dynamic fault trees derived from model-based system architectures. Nuclear Engineering and Technology 40:5 (2008), 365–374, 10.5516/NET.2008.40.5.365.
37. Delange, J., Feiler, P., Gluch, D., Hudak, J.J., AADL fault modeling and analysis within an ARP4761 safety assessment., 2014 Technical Report, CMU/SEI-2014-TR-020.
38. Dugan, J.B., Bavuso, S.J., Boyd, M.A., Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41:3 (1992), 363–377, 10.1109/24.159800.
39. Dugan, J.B., Bavuso, S.J., Boyd, M.A., Fault trees and Markov models for reliability analysis of fault-tolerant digital systems. Reliability Engineering & System Safety 39:3 (1993), 291–307.
40. Dugan, J.B., Sullivan, K.J., Coppit, D., Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transactions on Reliability 49:1 (2000), 49–59, 10.1109/24.855536.
41. Dugan, J.B., Venkataraman, B., Gulati, R., DIFtree: A software package for the analysis of dynamic fault tree models. Proceedings of annual reliability and maintainability symposium, 1997, 64–70.
42. EAST-ADL Association. EAST-ADL V2.1.12 specification. 2014 Available online at: http://www.east-adl.info/Specification.html.
43. Edifor, E., Walker, M., Gordon, N., Quantification of priority-OR gates in temporal fault trees. Ortmeier, F., Daniel, P., (eds.) Computer safety, reliability, and security SE - 9, Vol. 7612, 2012, Springer, Berlin Heidelberg, 99–110.
44. Edifor, E., Walker, M., Gordon, N., Quantification of simultaneous-AND gates in temporal fault trees. Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J., (eds.) New results in dependability and computer systems SE - 13, Vol. 224, 2013, Springer International Publishing, 141–151.
45. Edifor, E., Walker, M., Gordon, N., Papadopoulos, Y., Using simulation to evaluate dynamic systems with weibull or lognormal distributions. Proceedings of the ninth international conference on dependability and complex systems DepCoS-RELCOMEX, 2014, 177–187.
46. Ejlali, A., Miremadi, S.G., FPGA-based Monte Carlo simulation for fault tree analysis. Microelectronics Reliability 44:6 (2004), 1017–1028.
47. Ellidiss Software. AADL Inspector. 2016 Available online at: http://www.ellidiss.com/downloads/.
48. EPRI. EPRI CAFTA. 2013 Available online at: http://www.epri.com/abstracts/Pages/ProductAbstract.aspx?ProductId=000000000001015514.
49. Ericson, C.A., Fault Tree Analysis – a history. Proceedings of the 17th international system safety conference, 1999, 1–9.
50. ESSaRel, Embedded systems safety and reliability analyser. The ESSaRel Research Project, 2005 Available online at: http://essarel.de.
51. FBK, FSAP/NuSMV-SA. 2006 Available online at: https://es-static.fbk.eu/tools/FSAP/.
52. Feiler, P.H., Gluch, D.P., Hudak, J.J., The architecture analysis & design language ( AADL ): an introduction., 2006, Carnegie Mellon University Technical Report, CMU/SEI-2006-TN-011.
53. Feiler, P.H., Lewis, B.A., Vestal, S., The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems. Proceedings of the IEEE conference on computer aided control systems design, 2006, IEEE, Munich, 1206–1211, 10.1109/CACSD-CCA-ISIC.2006.4776814.
54. Fenelon, P., McDermid, J.A., An integrated toolset for software safety analysis. Journal of Systems and Software 21:3 (1993), 279–290.
55. Ferdous, R., Khan, F., Veitch, B., Amyotte, P.R., Methodology for computer aided fuzzy fault tree analysis. Process Safety and Environmental Protection 87:4 (2009), 217–226.
56. Förster, M., Kaiser, B., Increased efficiency in the quantitative evaluation of state/event fault trees. IFAC Proceedings Volumes 39:3 (2006), 255–260.
57. Fussel, J.B., Vesely, W.E., A new methodology for obtaining cut sets for fault trees. Transactions of the American Nuclear Society 15:1 (1972), 262–263.
58. Fussell, J.B., Aber, E.F., Rahl, R.G., On the quantitative analysis of priority-AND failure logic. IEEE Transactions on Reliability R-25:5 (1976), 324–326.
59. German, R., Mitzlaff, J., Transient analysis of deterministic and stochastic petri nets with TimeNET. Proceedings of the 8th international conference on computer performance evaluation, modelling techniques, and tools and MMB, 1995, Springer-Verlag, 209–223.
60. Gluchowski, P., Duration calculus for analysis of fault trees with time dependencies. 2nd international conference on dependability of computer systems, 2007, 107–114.
61. Gmytrasiewicz, P., Hassberger, J.A., Lee, J.C., Fault tree based diagnostics using fuzzy logic., 12, 1990, 1115–1119.
62. GRIF, GRIF-workshop. 2016 Available online at: http://grif-workshop.com/.
63. Griffault, A., Point, G., Kuntz, F., Vincent, A., Symbolic computation of minimal cuts for AltaRica models., 2011 Research Report RR-1456-11.
64. Grunske, L., Towards an integration of standard component-based safety evaluation techniques with SaveCCM. Hofmeister, C., Crnkovic, I., Reussner, R., (eds.) Proceedings of the second international conference on quality of software architectures (QoSA’06), Vol. 4214, 2006, Springer Berlin Heidelberg, Berlin, Heidelberg, 199–213.
65. Grunske, L., Han, J., A comparative study into architecture-based safety evaluation methodologies using AADL's error annex and failure propagation models. 11th IEEE high assurance systems engineering symposium, 2008, IEEE, 283–292.
66. Grunske, L., Kaiser, B., An automated dependability analysis method for COTS-based systems. COTS-Based Software Systems, 2005, 178–190.
67. Grunske, L., Kaiser, B., Automatic generation of analyzable failure propagation models from component-level failure annotations. Fifth international conference on quality software(QSIC 2005), 2005, 117–123.
68. Grunske, L., Kaiser, B., Papadopoulos, Y., Model-driven safety evaluation with state-event-based component failure annotations. Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K., (eds.) Proceedings of the 8th international conference on component-based software engineering (CBSE’05), Vol. 3489, 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 33–48, 10.1007/b136248.
69. Grunske, L., Kaiser, B., Reussner, R.H., Specification and evaluation of safety properties in a component-based software engineering process. Component-based software development for embedded systems, 2005, 249–274.
70. Güdemann, M., Ortmeier, F., A framework for qualitative and quantitative formal model-based safety analysis. Proceedings of 12th international symposium on high-assurance systems engineering (HASE), 2010, 132–141.
71. Güdemann, M., Ortmeier, F., Towards model-driven safety analysis. 3rd international workshop on dependable control of discrete systems (DCDS), 2011, 53–58.
72. Güdemann, M., Ortmeier, F., Reif, W., Using deductive cause-consequence analysis ( DCCA ) with SCADE. 26th international conference in computer safety, relaibility, and security, 2007, 465–478.
73. Güdemann, M., Ortmeier, F., Reif, W., Computation of ordered minimal critical sets. Proceedings of the 7th symposium on formal methods for automation and safety in railway and automotive systems (FORMS/FORMAT 08), 2008.
74. Guimarees, A.C.F., Ebecken, N.F.F., FuzzyFTA : A fuzzy fault tree system for uncertainty analysis. Annals of Nuclear Energy 26 (1999), 523–532.
75. Gulati, R., Dugan, J.B., A modular approach for analyzing static and dynamic fault trees. Proceedings of the annual reliability and maintainability symposium, 1997, 57–63, 10.1109/RAMS.1997.571665.
76. Huang, C.-Y., Chang, Y.-R., An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees. Reliability Engineering & System Safety 92:10 (2007), 1403–1412, 10.1016/j.ress.2006.09.008.
77. Idaho National Laboratory, SAPHIRE - Systems analysis programs for hands-on integrated reliability evaluations. 2016 Available online at: https://saphire.inl.gov/.
78. IRT SystemX, OpenAltaRica. 2016 Available online at: http://openaltarica.fr/getting-started/.
79. ISO, ISO 26262: Road vehicles - functional safety. 2011, Geneva, Switzerland.
80. Isograph, Isograph FaultTree+. 2016 Available online at: http://www.isograph.com/software/reliability-workbench/fault-tree-analysis/.
81. ITEM Software, ITEM ToolKit. 2016 Available online at: http://www.itemsoft.com/item_toolkit.html.
82. Joshi, A., Heimdahl, M.P.E., Miller, S.P., Whalen, M.W., Model-based safety analysis., 2006, NASA Langley Research Center, Hampton, VA, USA NASA Technical Report, NASA/CR-2006-213953.
83. Joshi, A., Vestal, S., Binns, P., Automatic Generation of Static Fault Trees from AADL Models. DSN Workshop on Architecting Dependable Systems, 2007.
84. Kabir, S., Compositional dependability analysis of dynamic systems with uncertainty. PhD Thesis, 2016, University of Hull.
85. Kabir, S., Azad, T., Walker, M., Gheraibia, Y., Reliability analysis of automated pond oxygen management system. 18th international conference on computer and information technology, 2015, 144–149, 10.1109/ICCITechn.2015.7488058.
86. Kabir, S., Edifor, E., Walker, M., Gordon, N., Quantification of temporal fault trees based on fuzzy set theory. Proceedings of the ninth international conference on dependability and complex systems DepCoS-RELCOMEX, Brunów, 2014, Springer International Publishing, 255–264, 10.1007/978-3-319-07013-1_24.
87. Kabir, S., Walker, M., Papadopoulos, Y., Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. Ortmeier, F., Rauzy, A., (eds.) Model-based safety and assessment, Vol. 8822, 2014, Springer International Publishing, Cham, 96–109, 10.1007/978-3-319-12214-4.
88. Kabir, S., Walker, M., Papadopoulos, Y., Quantitative evaluation of pandora temporal fault trees via petri nets. IFAC-PapersOnLine 48:21 (2015), 458–463, 10.1016/j.ifacol.2015.09.569.
89. Kabir, S., Walker, M., Papadopoulos, Y., Rüde, E., Securius, P., Fuzzy temporal fault tree analysis of dynamic systems. International Journal of Approximate Reasoning 77 (2016), 20–37, 10.1016/j.ijar.2016.05.006.
90. Kaiser, B., Gramlich, C., Förster, M., State/event fault trees—A safety analysis model for software-controlled systems. Reliability Engineering & System Safety 92:11 (2007), 1521–1537.
91. Kaiser, B., Liggesmeyer, P., Mäckel, O., A new component concept for fault trees. Proceedings of the 8th Australian workshop on safety critical systems and software (SCS’03), Vol. 33, 2003, 37–46.
92. Kwiatkowska, M., Norman, G., Parker, D., PRISM 4.0: Verification of probabilistic real-time systems. Proceedings of the 23rd international conference on computer aided verification (CAV’11), 2011, Springer-Verlag, 585–591.
93. Lee, I., Bremond-Gregoire, P., Gerber, R., A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proceedings of the IEEE 82:1 (1994), 158–171.
94. Leveson, N.G., Safeware: System safety and computers. 1995, Addison-Wesley.
95. Li, S., Li, X., Study on generation of fault trees from Altarica models. Procedia Engineering 80 (2014), 140–152, 10.1016/j.proeng.2014.09.070.
96. Li, Y.F., Huang, H.Z., Liu, Y., Xiao, N., Li, H., A new fault tree analysis method : Fuzzy dynamic fault tree analysis. Eksploatacja I Niezawodnosc-Maintenance and Reliability 14:3 (2012), 208–214.
97. Li, Y.F., Mi, J., Liu, Y., Yang, Y.J., Huang, H.Z., Dynamic fault tree analysis based on continuous-time Bayesian networks under fuzzy numbers. Proceedings of the institution of mechanical engineers. Part O: Journal of risk and reliability, 2015, 1–12, 10.1177/1748006X15588446.
98. Li, Y., Zhu, Y., Ma, C., Xu, M., A method for constructing fault trees from AADL models. Autonomic and Trusted Computing, Lecture Notes in Computer Science, Vol. 6906, 2011, 243–258, 10.1007/978-3-642-23496-5_18.
99. Liang, G.-S., Wang, M.-J.J., Fuzzy fault-tree analysis using failure possibility. Microelectronics Reliability 33:4 (1993), 583–597.
100. Lin, C., Wang, M.J., Hybrid fault tree analysis using fuzzy sets. Reliability Engineering and System Safety 58:3 (1997), 205–213.
101. Lisagor, O., Kelly, T., Niu, R., Model-based safety assessment: Review of the discipline and its challenges. 9th international conference on reliability, maintainability and safety, 2011, 625–632, 10.1109/ICRMS.2011.5979344.
102. LOGAN, LOGAN fault and event tree analysis. 2016 Available online at: http://loganfta.com/.
103. Mahmood, Y.A., Ahmadi, A., Verma, A.K., Srividya, A., Kumar, U., Fuzzy fault tree analysis : A review of concept and application. International Journal of System Assurance Engineering and Management 4:1 (2013), 19–32, 10.1007/s13198-013-0145-x.
104. Mahmud, N., Mian, Z., Automatic generation of temporal fault trees from AADL models. Safety, reliability and risk analysis: beyond the horizon, 2013, 2741–2749.
105. Manian, R., Dugan, J.B., Coppit, D., Sullivan, K.J., Combining various solution techniques for dynamic fault tree analysis of computer systems. Proceedings of third IEEE international high-assurance systems engineering symposium, 1998, IEEE, Washington, 21–28, 10.1109/HASE.1998.731591.
106. Manno, G., Chiacchio, F., Compagno, L., D'Urso, D., Trapani, N., MatCarloRe: An integrated FT and Monte Carlo simulink tool for the reliability assessment of dynamic fault tree. Expert Systems with Applications 39:12 (2012), 10334–10342, 10.1016/j.eswa.2011.12.020.
107. Manno, G., Chiacchio, F., Compagno, L., D'Urso, D., Trapani, N., Conception of repairable dynamic fault trees and resolution by the use of RAATSS, a Matlab toolbox based on the ATS formalism. Reliability Engineering & System Safety 121 (2014), 250–262, 10.1016/j.ress.2013.09.002.
108. Marquez, D., Neil, M., Fenton, N., Solving dynamic fault trees using a new hybrid Bayesian network inference algorithm. 16th mediterranean conference on control and automation, Ajaccio, 2008, IEEE, 609–614.
109. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., Modeling with generalized stochastic petri nets. 1996, West Sussex: Wiley Retrieved from http://www.di.unito.it/∼greatspn/GSPN-Wiley/.
110. Marsan, M.A., Chiola, G., On Petri nets with deterministic and exponentially distributed firing times. Advances in Petri Nets 266 (1987), 132–145.
111. Merle, G., Roussel, J., Lesage, J., Bobbio, A., Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Transactions on Reliability 59:1 (2010), 250–261.
112. Merle, G., Roussel, J.-M., Lesage, J.-J., Algebraic determination of the structure function of dynamic fault trees. Reliability Engineering & System Safety 96:2 (2011), 267–277.
113. Merle, G., Roussel, J.-M., Lesage, J.-J., Quantitative analysis of dynamic fault trees based on the structure function. Quality and Reliability Engineering International 30:1 (2014), 143–156.
114. Mian, Z., Bottaci, L., Papadopoulos, Y., Biehl, M., System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes (IFAC-PapersOnline) 14:PART 1 (2012), 1647–1652, 10.3182/20120523-3-RO-2023.00334.
115. Misra, K.B., Weber, G.G., Use of fuzzy set theory for level-I studies in probabilistic risk assessment. Fuzzy Sets and Systems 37:2 (1990), 139–160, 10.1016/0165-0114(90)90038-8.
116. Mokos, K., Katsaros, P., Bassiliades, N., Vassiliadis, V., Perrotin, M., Towards compositional safety analysis via semantic representation of component failure behaviour. Proceedings of JCKBSE’08, 2008, 405–414.
117. Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D., Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliability Engineering & System Safety 93:7 (2008), 922–932.
118. Niu, R., Tang, T., Lisagor, O., McDermid, J.A., Automatic safety analysis of networked control system based on failure propagation model. IEEE international conference on vehicular electronics and safety (ICVES), 2011, 53–58.
119. Open AADL (2016). Ocarina AADL model processor. In: Available online at: http://www.openaadl.org/ocarina.html.
120. Ortmeier, F., Reif, W., Schellhorn, G., Deductive cause-consequence analysis. Proceedings of the 6th IFAC world congress, 2005, 1434–1439.
121. OSATE. OSATE, 2016 Available online at: http://osate.github.io/.
122. Palshikar, G.K., Temporal fault trees. Information and Software Technology 44:3 (2002), 137–150.
123. Pande, P.K., Spector, M.E., Chatterjee, P., Computerized fault tree analysis: TREEL and MICSUP. 1975, California, USA.
124. Papadopoulos, Y., Safety-Directed system monitoring using safety cases. PhD Thesis, 2000, University of York.
125. Papadopoulos, Y., HiP-HOPS. 2012, Dependable systems research group, University of Hull Retrieved September 1, 2014, from http://hip-hops.eu/.
126. Papadopoulos, Y., Mcdermid, J.A., Hierarchically performed hazard origin and propagation studies. Proceedings of the 18th international conference on computer safety, reliability and security, 1999, 139–152.
127. Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., et al. Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis 18:2 (2011), 590–608, 10.1016/j.engfailanal.2010.09.025.
128. Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., et al. A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control 41 (2016), 170–182, 10.1016/j.arcontrol.2016.04.008.
129. Point, G., Rauzy, A., AltaRica: Constraint automata as a description language. European Journal on Automation 33:8-9 (1999), 1033–1052.
130. PTC. Windchill product risk and reliability. 2016 Available online at: http://www.ptc.com/product-lifecycle-management/windchill/product-risk-and-reliability.
131. Pullum, L.L., Dugan, J.B., Fault tree models for the analysis of complex computer-based systems. Proceedings of annual reliability and maintainability symposium, 1996, 200–207, 10.1109/RAMS.1996.500663.
132. Rajakarunakaran, S., Kumar, A.M., Prabhu, V.A., Applications of fuzzy faulty tree analysis and expert elicitation for evaluation of risks in LPG refuelling station. Journal of Loss Prevention in the Process Industries 33 (2015), 109–123, 10.1016/j.jlp.2014.11.016.
133. Ramentor, ELMAS fault tree. 2016 Available online at: http://www.ramentor.com/products/elmas/fault-tree/.
134. Rao, K.D., Gopika, V., Rao, V.V.S.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 94:4 (2009), 872–883, 10.1016/j.ress.2008.09.007.
135. Rauzy, A., Mode automata and their compilation into fault trees. Reliability Engineering & System Safety 78:1 (2002), 1–12.
136. ReliaSoft. BlockSim: System reliability and maintainability analysis software tool. 2016 Available online at: http://www.reliasoft.com/BlockSim/index.html.
137. RiskSpectrum. RiskSpectrum FTA., 2015.
138. Roth, M., Liggesmeyer, P., Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems. IEEE international symposium on software reliability engineering workshops, 2013, 353–358.
139. Rugina, A., Kanoun, K., Kaâniche, M., A system dependability modeling framework using AADL and GSPNs. Architecting Dependable Systems IV, 2007, 14–38.
140. Rugina, A., Kanoun, K., Kaâniche, M., The ADAPT tool : From AADL architectural models to stochastic petri nets through model transformation. 7th European dependable computing conference (EDCC), 2008, 85–90.
141. Ruijters, E., Stoelinga, M., Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review 15 (2015), 29–62, 10.1016/j.cosrev.2015.03.001.
142. SAE. Architecture analysis & design language (AADL) (AS5506B)., 2012, SAE International, Warrendale, PA Technical Report.
143. Semanderes, S.N., ELRAFT: A computer program for the efficient logic reduction analysis of fault trees. IEEE Transactions on Nuclear Science 18:1 (1971), 481–487.
144. Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y., Model-based dependability analysis: State-of-the-art, challenges, and future outlook. Software quality assurance: In large scale and complex software-intensive systems, 2015, 251–278, 10.1007/10367682_1.
145. Shu, M.-H., Cheng, C.-H., Chang, J.-R., Using intuitionistic fuzzy sets for fault-tree analysis on printed circuit board assembly. Microelectronics Reliability 46:12 (2006), 2139–2148, 10.1016/j.microrel.2006.01.007.
146. Singer, D., A fuzzy set approach to fault tree and reliability analysis. Fuzzy Sets and Systems 34:2 (1990), 145–155.
147. Sokolsky, O., Lee, I., Clark, D., Schedulability analysis of AADL models. 20th parallel and distributed processing symposium, 2006.
148. Steiner, M., Keller, P., Liggesmeyer, P., Modeling the effects of software on safety and reliability in complex embedded systems. Ortmeier, F., Daniel, P., (eds.) Computer safety, reliability, and security, Vol. 7613, 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 454–465, 10.1007/978-3-642-33675-1.
149. Sun, H., Hauptman, M., Lutz, R., Integrating product-line fault tree analysis into AADL models. Proceedings of IEEE international symposium on high assurance systems engineering, 2007, 15–22, 10.1109/HASE.2007.46.
150. Suresh, P.V., Babar, A.K., Raj, V.V., Uncertainty in fault tree analysis : A fuzzy approach. Fuzzy Sets and Systems 83:2 (1996), 135–141.
151. Tanaka, H., Fan, L.T., Lai, F.S., Toguchi, K., Fault-tree analysis by fuzzy probability. IEEE Transactions on Reliability R-32:5 (1983), 453–457.
152. TDC Software. TDC FTA. 2016 Available online at: http://www.tdc.fr/en/products/tdc_fta.php.
153. Tyagi, S.K., Pandey, D., Kumar, V., Fuzzy Fault Tree Analysis for Fault Diagnosis of Cannula Fault in Power Transformer. Applied Mathematics 02:11 (2011), 1346–1355.
154. US Department of Defense, Procedures for Performing a Failure Mode, Effects, and Criticality Analysis (MIL-STD-1629A), 1980 Washington DC, USA.
155. Verma, A.K., Srividya, A., Prabhudeva, S., Vinod, G., Reliability analysis of dynamic fault tree models using fuzzy sets. Communications in Dependability and Quality Management 9:4 (2006), 68–78.
156. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F., Fault tree handbook. 1981, US Nuclear Regulatory Commission, Washington DC, USA.
157. Vesely, W.E., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J., Fault tree handbook with aerospace applications. 2002, NASA Office of Safety and Mission Assurance, Washington DC, USA.
158. Walker, M., Pandora: A logic for the qualitative analysis of temporal fault trees. 2009, University of Hull PhD Thesis.
159. Walker, M., Bottaci, L., Papadopoulos, Y., Compositional temporal fault tree analysis. Proceedings of the 26th international conference on computer safety, reliability and security (SAFECOMP’07), 2007, 106–119.
160. Walker, M., Mahmud, N., Papadopoulos, Y., Tagliabo, F., Torchiaro, S., Schierano, W., et al. ATESST2: Review of relevant safety analysis techniques, 2008.
161. Walker, M., Papadopoulos, Y., Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice 17:10 (2009), 1115–1125.
162. Wang, D., Zhang, P., Chen, L., Fuzzy fault tree analysis for fire and explosion of crude oil tanks. Journal of Loss Prevention in the Process Industries 26:6 (2013), 1390–1398, 10.1016/j.jlp.2013.08.022.
163. Wijayarathna, P.G., Maekawa, M., Extending fault trees with an AND–THEN gate. Proceedings of the 11th international symposium on software reliability engineering, 2000, 283–292.
164. Xu, B., Huang, Z., Hu, J., Wei, O., Zhou, Y., Minimal cut sequence generation for state/event fault trees. Proceedings of the 2013 Middleware Doctoral Symposium, 2013.
165. Yang, L.P., Analysis on dynamic fault tree based on fuzzy set. Applied Mechanics and Materials 110-116 (2011), 2416–2420.
166. Yang, Y., Zeckzer, D., Liggesmeyer, P., Hagen, H., ViSSaAn : Visual support for safety analysis. Dagstuhl Follow-Ups(2), 2011, 378–395.
167. Yevkin, O., An improved modular approach for dynamic fault tree analysis. Proceedings of annual reliability and maintainability symposium, 2011, 1–5, 10.1109/RAMS.2011.5754437.
168. Yuhua, D., Datao, Y., Estimation of failure probability of oil and gas transmission pipelines by fuzzy fault tree analysis. Journal of Loss Prevention in the Process Industries 18:2 (2005), 83–88.
169. Zadeh, L., Fuzzy sets. Information and Control 8:3 (1965), 338–353.
170. Zhang, P., Chan, K.W., Reliability evaluation of phasor measurement unit using Monte Carlo dynamic fault tree method. IEEE Transactions on Smart Grid 3:3 (2012), 1235–1243.
171. Zhang, X., Miao, Q., Fan, X., Wang, D., Dynamic fault tree analysis based on Petri nets. 8th international conference on reliability, maintainability and safety (ICRMS), 2009, IEEE, Chengdu, 138–142.