Quantification of simultaneous-AND gates in temporal Fault Trees

Advances in Intelligent Systems and Computing

Volumn 224, Issue , 2013, Pages 141-151

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

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY; MONTE CARLO METHODS;

DISTRIBUTED EVENTS; DYNAMIC BEHAVIOURS; FAULT-TREES; OUTPUT EVENTS; PARAMETERIZED; SAFETY CRITICAL SYSTEMS;

FAULT TREE ANALYSIS;

DISTRIBUTION; FORESTRY; SIMULATION;

EID: 84882970748     PISSN: 21945357     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-319-00945-2_13     Document Type: Conference Paper

References (24)

1. Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Reliability and Maintainability Symposium (1997)
2. Merle, G., Roussel, J.: Algebraic modelling of Fault Trees with Priority AND gates. In: 1st IFAC Workshop, pp. 175-180 (2007)
3. Dugan, J.B., Doyle, S.A.: New results in fault-tree analysis. In: Tutorial Notes of the Annual Reliability and Maintainability Symposium (1997)
4. Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41(3), 363-377 (1992)
5. Walker, M., Papadopoulos, Y.: Synthesis and analysis of temporal fault trees with PANDORA 2: The time of Priority AND gates. Nonlinear Analysis: Hybrid Systems 2(2), 368-382 (2008)
6. 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), 324-326 (1976)
7. Walker, M., Papadopoulos, Y.: Pandora 2: The time of priority-OR gates. In: IFAC Workshop on Dependable Control of Discrete Event Systems (2007)
8. Walker, M.: Pandora: a logic for the qualitative analysis of temporal fault trees. Dissertation, University of Hull (2009)
9. Vesely, W.E., Stamatelatos, M., et al.: Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance, Washington DC (2002)
10. Durga, R., Gopika, V., et al.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliability Engineering & System Safety 94(4), 872-883 (2009)
11. Yuge, T., Yanagi, S.: Quantitative analysis of a fault tree with Priority AND gates. Reliability Engineering & System Safety 93(11), 1577-1583 (2008)
12. Long, W., Sato, Y., Horigome, M.: Quantification of sequential failure logic for fault tree analysis. Reliability Engineering & System Safety 67(3), 269-274 (2000)
13. Edifor, E., Walker, M., Gordon, N.: Quantification of priority-OR gates in temporal fault trees. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 99-110. Springer, Heidelberg (2012)
14. Merle, G., Roussel, J.: Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Transactions on Reliability 59(1), 250-261 (2010)
15. Chaochen, Z., Hoare, C., Ravn, A.: A calculus of Durations. Information Processing Letters 40(5), 269-276 (1991)
16. Hansen, K.M., Anders, P.R., Stavridou, V.: From safety analysis to software requirements. IEEE Transactions on Software Engineering 24(7), 573-584 (1998)
17. Palshikar, G.: Temporal fault trees. Information and Software Technology 44(3), 137-150 (2002)
18. Gorski, J., Wardzinski, A.: Deriving real-time requirements for software from safety analysis. In: Real-Time Systems, pp. 9-14 (1996)
19. Schellhorn, G., Thums, A., Reif, W.: Formal fault tree semantics. In: Proceedings of The Sixth World Conference on Integrated Design & Process Technology (2002)
20. Güdemann, M., Ortmeier, F., Reif, W.: Computation of Ordered Minimal Critical Sets. In: Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotives (2008)
21. Babczyński, T., Lukowicz, M., Magott, J.: Time coordination of distance protections using probabilistic fault trees with time dependencies. IEEE Transactions on Power Delivery 25(3), 1402-1409 (2010)
22. Rocco, C., Muselli, M.: A machine learning algorithm to estimate minimal cut and path sets from a Monte Carlo simulation. In: Probabilistic Safety Assessment and Management (PSAM7-ESREL), pp. 3142-3147 (2004)
23. Chan, J.C., Kroese, D.P.: Rare-event probability estimation with conditional Monte Carlo. Annals of Operations Research 189(1), 43-61 (2009)
24. Wolfram Research, What Is Mathematica? (2013), http://www.wolfram.co.uk/mathematica (accessed January 07, 2013)