Sohag Kabir
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets
Kabir, Sohag; Papadopoulos, Yiannis; Walker, Martin
Abstract
© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable to capture sequence dependent dynamic behaviour. Pandora introduces temporal gates and temporal laws to fault trees to allow sequence-dependent dynamic analysis of events. Pandora can be easily integrated in model-based design and analysis techniques; however, the combinatorial quantification techniques used to solve classical fault trees cannot be applied to temporal fault trees. Temporal fault trees capture state and therefore require a state space solution for quantification of probability. In this paper, we identify Petri Nets as a possible framework for quantifying temporal trees. We describe how Pandora fault trees can be mapped to Petri Nets for dynamic dependability analysis and demonstrate the process on a fault tolerant fuel distribution system model.
Citation
Kabir, S., Papadopoulos, Y., & Walker, M. (2015). Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets. IFAC Proceedings Volumes/ International Federation of Automatic Control, 48(21), 458-463. https://doi.org/10.1016/j.ifacol.2015.09.569
Journal Article Type | Article |
---|---|
Conference Name | IFAC-PapersOnLine |
Acceptance Date | May 8, 2015 |
Publication Date | Sep 1, 2015 |
Deposit Date | Feb 29, 2016 |
Publicly Available Date | Nov 23, 2017 |
Journal | IFAC-PapersOnLine |
Print ISSN | 1474-6670 |
Publisher | Elsevier |
Peer Reviewed | Peer Reviewed |
Volume | 48 |
Issue | 21 |
Pages | 458-463 |
DOI | https://doi.org/10.1016/j.ifacol.2015.09.569 |
Keywords | Dependability analysis, Fault tree analysis, Stochastic petri nets, Temporal fault nets |
Public URL | https://hull-repository.worktribe.com/output/471830 |
Publisher URL | http://www.sciencedirect.com/science/article/pii/S2405896315016985 |
Additional Information | This is the accepted manuscript version of a paper published in IFAC-Papersonline, 2015, v.48 issue 21. |
Contract Date | Nov 23, 2017 |
Files
Article.pdf
(376 Kb)
PDF
Copyright Statement
© 2016 IFAC. Originally published in IFAC-PapersOnline, vol. 48, no. 21 by Elsevier Ltd. (DOI 10.1016/j.ifacol.2015.09.569)
You might also like
A safety analysis approach to clinical workflows : application and evaluation
(2014)
Journal Article
Quantification of temporal fault trees based on fuzzy set theory
(2014)
Journal Article
A synthesis of logic and bio-inspired techniques in the design of dependable systems
(2016)
Journal Article
Fuzzy temporal fault tree analysis of dynamic systems
(2016)
Journal Article
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search