Quantitative evaluation of Pandora temporal fault trees via Petri Nets

IFAC-PapersOnLine

Volumn 28, Issue 21, 2015, Pages 458-463

  Kabir, Sohag ^a   Walker, Martin ^a   Papadopoulos, Yiannis ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Dependability analysis; Fault tree analysis; Stochastic Petri Nets; Temporal fault trees

Indexed keywords

FAULT DETECTION; PETRI NETS; PLANT MANAGEMENT; STOCHASTIC SYSTEMS; FAULT TREE ANALYSIS;

DEPENDABILITY ANALYSIS; DYNAMIC BEHAVIOURS; FAULT-TREES; FUEL DISTRIBUTION SYSTEM; MODEL- BASED DESIGNS; QUANTITATIVE EVALUATION; SEQUENCE-DEPENDENT; STOCHASTIC PETRI NETS; DYNAMIC BEHAVIORS; DYNAMICS ANALYSIS; FAULT TREE ANALYSES (FTA); SYSTEM BEHAVIORS; TEMPORAL FAULT TREE;

FAULT TREE ANALYSIS; PETRI NETS;

EID: 84992490287     PISSN: None     EISSN: 24058963     Source Type: Conference Proceeding    
DOI: 10.1016/j.ifacol.2015.09.569     Document Type: Conference Paper

References (21)

1. Bobbio, A., Franceschinis, G., Gaeta, R. and Portinale, L. (1999). Exploiting Petri Nets to Support Fault Tree Based Dependability Analysis. In: 8th International Workshops on Petri Nets and Performance Models. Zaragoza: IEEE, pp. 146-155.
2. Boudali, H., Crouzen, P. and Stoelinga, M. (2007). Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Washington DC: IEEE Computer Society, pp. 708-717.
3. Boudali, H. and Dugan, J. B. (2005). A new bayesian network approach to solve dynamic fault trees. In: Proceedings of Annual Reliability and Maintainability Symposium. IEEE, pp. 451-456.
4. Codetta-Raiteri, D. (2005). The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation. Electronic Notes in Theoretical Computer Science, 127(2), pp. 45-60.
5. Dugan, J. B., Bavuso, S. J. and Boyd, M. A. (1992). Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41(3), pp. 363-377.
6. Edifor, E., Walker, M. and Gordon, N. (2012). Quantification of Priority-OR Gates in Temporal Fault Trees. In Computer Safety, Reliability, and Security SE - 9, Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp. 99-110.
7. Edifor, E., Walker, M. and Gordon, N. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. In: New Results in Dependability and Computer Systems SE - 13, Advances in Intelligent Systems and Computing. Springer International Publishing, pp. 141-151.
8. Fussell, J. B., Aber, E. F. and Rahl, RG (1976). On the Quantitative Analysis of Priority-AND Failure Logic. IEEE Transactions on Reliability, R-25(5), pp. 324-326.
9. Helmer, G., Wong, J., Slagell, M., Honavar, V., Miller, L., Wang, Y., Wang, X. and Stakhanova, N. (2007). Software fault tree and coloured Petri net - based specification, design and implementation of agent-based intrusion detection systems. International Journal of Information and Computer Security, 1(1), pp. 109-142.
10. Horváth, A., Paolieri, M., Ridi, L. and Vicario, E. (2012). Transient analysis of non-Markovian models using stochastic state classes. Performance Evaluation, 69(7-8), pp. 315-335.
11. Jensen, K., Kristensen, L. M. and Wells, L. (2007). Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer, 9(3-4), pp. 213-254.
12. Kabir, S., Walker, M. and Papadopoulos, Y. (2014). Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. In: Model-Based Safety and Assessment, Lecture Notes in Computer Science. Cham: Springer International Publishing, pp. 96-109.
13. Marsan, M. A., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. (1996). Modeling With Generalized Stochastic Petri Nets. West Sussex: Wiley.
14. Merle, G., Roussel, J.-M. and Lesage, J.-J. (2011). Algebraic determination of the structure function of Dynamic Fault Trees. Reliability Engineering & System Safety, 96(2), pp. 267-277.
15. Molloy, M. K. (1982). Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, c-31(9), pp. 913-917.
16. Montani, S., Portinale, L., Bobbio, A. and Codetta-Raiteri, D. (2008). Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliability Engineering & System Safety, 93(7), pp. 922-932.
17. Neil, M., Tailor, M., Marquez, D., Fenton, N. and Hearty, P. (2008). Modelling dependable systems using hybrid Bayesian networks. Reliability Engineering & System Safety, 93(7), pp. 933-939.
18. Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J. and Railsback, J. (2002). Fault tree handbook with aerospace applications. NASA office of safety and mission assurance, Washington DC.
19. Walker, M. (2009). Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. PhD Thesis, University of Hull.
20. Walker, M. and Papadopoulos, Y. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice, 17(10), pp. 1115-1125.
21. Zhang, X., Miao, Q., Fan, X. and Wang, D. (2009). Dynamic fault tree analysis based on Petri nets. In: 8th International Conference on Reliability, Maintainability and Safety (ICRMS). Chengdu: IEEE, pp. 138-142.