A new methodology for automated fault tree construction, based on a component-based approach for system modelling, and a trace-back algorithm for fault tree synthesis has been developed. This approach has been implemented as a computer program and tested on several simple examples and sample systems. In this paper a case study on a chemical plant is presented. The system modelling procedure and other details are discussed and the results are presented. The results generated by the program are then compared with a manually constructed fault tree. The complete match between the two fault trees verifies the validity of the program outputs.
HasalD. F., Advanced concepts in fault tree analysis. Aero-Space Division of the Boeing Company, 1965.
3.
EricsonC. A‘Fault tree analysis—a history’ (1999)
4.
StamatelatosM.VeselyWFault tree handbook with aerospace applications. (Washington, DC: NASA2002)
5.
CarpignanoA.PoucetA‘Computer assisted fault tree construction: a review of methods and concerns’Reliab. Engng Syst. Saf.44 (3) (1994): 265–278
6.
LappS. APowersG. J‘Computer-aided synthesis of fault-trees’IEEE Trans. Reliab.26 (1977): 2–13
7.
VemuriK. KDuganJ. B‘Automatic synthesis of fault trees for computer-based systems’IEEE Trans. Reliab.48 (4) (1999): 394–402
8.
KumamotoH.HenleyE. J‘Automated fault tree synthesis by semantic network modeling, rule-based development and recursive 3-value procedure’Reliab. Engng Syst. Saf.49 (1995): 171–188
9.
KumamotoH.HenleyE. JProbabilistic risk assessment and management for engineers and scientists (New York: IEEE Press1996)
10.
AndrewsJ. DHenryJ. J‘A computerized fault tree construction methodology’Proc. IMechE, Part E: J. Process Mechanical Engineering211 (1997): 171–183 DOI: 1243/0954408971529656.
11.
HenryJ. JAndrewsJ. D‘Computerized fault tree construction for a train braking system’Qual. Reliab. Engng Int.13 (5) (1997): 299–309
12.
WangY.TeagueTWestHMannanS‘A new algorithm for computer-aided fault tree synthesis’J. Loss Prevention Process Ind.15 (2002): 265–277
13.
WangY.RogersW. JWestH. HMannanM. S‘Algorithmic fault tree synthesis for control loops’J. Loss Prevention Process Ind.16 (2003): 427–441
14.
PapadopoulosY.MarhunM‘Model-based synthesis of fault trees from Matlab–Simulink models’. In Proceedings of the International Conference on Dependable systems and networks, Göteborg, Sweden, 1–4 July 2001, pp. 77–82 (IEEE Computer Society, Washington).
15.
MukharejeeS.ChakrabortyA‘Automated fault tree generation: bridging reliability with text mining’. In Proceedings of the Symposium on Reliability and maintainability, Orlando, Florida, 22–25 January 2007, pp. 83–88.
16.
RaaphorstA. G. T.NettenB. DVingerhoedsR. A‘Automated fault-tree generation for operational fault diagnosis’. In Proceedings of the International Conference on Electric railways in a united Europe, Amsterdam, The Netherlands, 27–30 March 1995, pp. 173–177 (Institution of Electrical Engineers, UK).
17.
R.C de Vries, ‘An automated methodology for generating a fault tree’IEEE Trans. Reliab.39 (1) (1990): 76–86
18.
LiggesmeyerP.RothfelderM‘Improving system reliability with automatic fault tree generation’. In Proceedings of the 28th Annual International Symposium on Fault-tolerance computing, Munich, Germany, 23–25 June 1998, pp. 90–99 (IEEE Computer Society, Washington).
TajarrodF.Latif-ShabgahiG‘A novel methodology for synthesis of fault trees from MATLAB-Simulink model,’Proc. World Acad. Sci., Engng Technol.31 (2008): 631–638
21.
PapadopoulosY.McDermidJMavridesAScheidlerCMaruhnM‘Model-based semiautomatic safety analysis of programmable systems in automotive applications’ (2001)
22.
SalemS. LApostolakisG. EOkrentD‘A new methodology for the computer-aided construction of fault tree’Ann. Nucl. Energy4 (1977): 417–433
23.
ChenB.AvruninG. SClarkeL. AOsterweilL. J‘Automatic fault tree derivation from Little-JIL process definitions’Lect. Notes Comput. Sci.3966 (2006): 150–158
24.
SzabóGTarnaiG‘Automatic fault-tree generation as a support for safety studies of railway interlocking systems’. In Proceedings of the IFAC Symposium on Control in transportation systems, Volume 2, 13–15 June 2000, Braunschweig, Germany, pp. 437–442.
25.
WangY.Development of a computer-aided fault tree synthesis methodology for quantitative risk analysis in the chemical process industry (2004). PhD Thesis, Department of Chemical Engineering, Texas A&M University.
26.
ElliottM. S‘Computer-assisted fault-tree construction using a knowledge-based approach’IEEE Trans. Reliab.43 (1) (1994): 112–120
27.
RenaultI.PilliereMVillatteNMouttapaP‘KB3: computer program for automatic generation of fault trees’. In Proceedings of the Annual Symposium on Reliability and maintainability, Washington, USA, 18–21 January 1999, pp. 389–395.
28.
BouissouM.‘KB3 TOOL: feedback on knowledge bases’, European Safety and Reliability Conference 2002, Lyon, France, 18–22 March 2002.
29.
BouissouM.BouhadanaHBannelierMVillatteN‘Knowledge modeling and reliability processing: presentation of the FIGARO language and associated tools’. In Proceedings of SAFECOMP91, October 1991, Trondheim, Norway.
30.
PoucetA.‘STARS: knowledge-based tools for safety and reliability analysis’Reliab. Engng Syst. Saf.30 (1–3) (1990): 379–391
31.
SckwarzblatM.BakerJ. CAndersonJ. WSmithJ. E‘PC-FTA: an expert system for fault tree construction’. In Proceedings of the International Conference on Probabilistic safety assessment and management, Volume 2, Beverly Hills, California, 4–9 February 1991, pp. 739–799
32.
MajdaraA.WakabayashiT‘Component-based modeling of systems for automated fault tree generation’Reliab. Engng Syst. Saf.94 (6) (2009): 1076–1086
33.
MajdaraA.WakabayashiT‘A new approach for computer-aided fault tree generation’. In Proceedings of the Third Annual IEEE International Conference on Systems, 23–26 March 2009, Vancouver, Canada, pp. 308–312 (IEEE Press, Piscataway, New Jersey).
34.
MajdaraA.WakabayashiT‘Computerized fault tree construction for improved reliability analysis’. The Third International Conference on Safety and security engineering, 1–3 July 2009, Rome, Italy.
