Quantification of priority-OR gates in temporal fault trees

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7612 LNCS, Issue , 2012, Pages 99-110

  Edifor, Ernest ^a   Walker, Martin ^a   Gordon, Neil ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Dynamic Fault Trees; Fault Trees; Markov Chains; Monte Carlo; Pandora; Safety

Indexed keywords

BOOLEAN GATE; DYNAMIC FAULT TREES; FAULT-TREES; LOGICAL ANALYSIS; MARKOV ANALYSIS; MONTE CARLO; MONTE CARLO SIMULATION; PANDORA; RELIABILITY ENGINEERING;

ACCIDENT PREVENTION; FAULT TREE ANALYSIS; MARKOV PROCESSES; MONTE CARLO METHODS; RELIABILITY ANALYSIS; SAFETY ENGINEERING; SECURITY OF DATA;

FORESTRY;

ALGORITHMS; FAILURE; RANDOM PROCESSES; RELIABILITY; SAFETY;

EID: 84867618314     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33678-2_9     Document Type: Conference Paper

References (20)

1. Vesely, W.E., Stamatelatos, M., Dugan, J.B., et al.: Fault tree handbook with aerospace applications. NASA office of safety and mission assurance, Washington DC (2002)
2. Merle, G., Roussel, J.: Algebraic modelling of fault trees with priority AND gates. In: IFAC Workshop on Dependable Control of Discrete Systems, pp. 175-180 (2007)
3. Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree for fault-tolerant computer systems. IEEE Transactions on Reliability 41(3), 363-376 (1992)
4. Merle, G.: Algebraic modelling of dynamic fault trees, contribution to qualitative and quantitative analysis. Dissertation, Décole Normale Supérieure De Cachan (2010)
5. Tang, Z., Dugan, J.B.: Minimal cut set/sequence generation for dynamic fault trees. In: Reliability And Maintainability Symposium (RAMS), Los Angeles, January 26-29 (2004)
6. Walker, M., Papadopoulos, Y.: Synthesis and analysis of temporal fault trees with PANDORA: The Time of Priority AND Gates. Nonlinear Analysis Hybrid Systems 2(2008), 368-382 (2006)
7. Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. Dissertation. University of Hull (2009)
8. Fussel, J.B., Aber, E.F., Rahl, R.G.: On the quantitative analysis of Priority-AND failure logic. IEEE Transactions on Reliability R-25(5), 324-326 (1976)
9. Walker, M., Papadopoulos, Y.: Qualitative Temporal Analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice 17(2009), 1115-1125 (2008)
10. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. US Nuclear Regulatory Commission, Washington, DC (1981)
11. Andrews, J.A.: To Not or Not to Not. In: Proceedings of the 18th International System Safety Conference, Fort Worth, pp. 267-275 (September 2000)
12. Sharvia, S., Papadopoulos, Y.: Non-coherent modelling in compositional fault tree analysis. In: The International Federation of Automatic Control, Seoul, July 6-11 (2008)
13. Esary, D., Proschan, F.: Coherent Structures with Non-Identical Components. Technometrics 5(2), 191-209 (1963)
14. Department of Defence, Military Handbook: electronic reliability design handbook, Webbooks (1998), http://webbooks.net/freestuff/mil-hdbk-338b.pdf (accessed June 27, 2011)
15. Pukite, J., Pukite, P.: Modelling for reliability analysis. Wiley-IEEE Press, New York (1998)
16. Weisstein, E.W.: Monte Carlo Method, MathWorld (2011), http://mathworld.wolfram.com/MonteCarloMethod.html (Accessed August 01, 2011)
17. Rao, D.K., et al.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliability Engineering and System Safety 94(4), 872-883 (2008)
18. Rocco, C.M., Muselli, M.: A machine learning algorithm to estimate minimal cut and path sets from a Monte Carlo simulation. In: Proceedings Probabilistic Safety Assessment and Management PSAM7/ESREL 2004, pp. 3142-3147. Springer, Berlin (2004)
19. Manian, R., Dugan, B.J., Coppit, D., Sullivan, K.J.: Combining various solution techniques for dynamic fault tree analysis of computer systems. In: Third IEEE International High-Assurance Systems Engineering Symposium, pp. 21-28. IEEE Computer Society (2002)
20. Isograph Limited, Reliability Workbench Version 11 User Guide, p. 392 (2011)