Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
Martin Walker
Sohag Kabir
© 2018 Elsevier Ltd Dynamic systems exhibit time-dependent behaviours and complex functional dependencies amongst their components. Therefore, to capture the full system failure behaviour, it is not enough to simply determine the consequences of different combinations of failure events: it is also necessary to understand the order in which they fail. Pandora temporal fault trees (TFTs) increase the expressive power of fault trees and allow modelling of sequence-dependent failure behaviour of systems. However, like classical fault tree analysis, TFT analysis requires a lot of manual effort, which makes it time consuming and expensive. This in turn makes it less viable for use in modern, iterated system design processes, which requires a quicker turnaround and consistency across evolutions. In this paper, we propose for a model-based analysis of temporal fault trees via HiP-HOPS, which is a state-of-the-art model-based dependability analysis method supported by tools that largely automate analysis and optimisation of systems. The proposal extends HiP-HOPS with Pandora, Petri Nets and Bayesian Networks and results to dynamic dependability analysis that is more readily integrated into modern design processes. The effectiveness is demonstrated via application to an aircraft fuel distribution system.
Papadopoulos, Y., Walker, M., & Kabir, S. (2018). Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks. Safety science, 105, 55-70. https://doi.org/10.1016/j.ssci.2018.02.001
Journal Article Type | Article |
---|---|
Acceptance Date | Feb 1, 2018 |
Online Publication Date | Feb 8, 2018 |
Publication Date | Jun 1, 2018 |
Deposit Date | Feb 8, 2018 |
Publicly Available Date | Aug 9, 2019 |
Journal | Safety science |
Print ISSN | 0925-7535 |
Electronic ISSN | 1879-1042 |
Publisher | Elsevier |
Peer Reviewed | Peer Reviewed |
Volume | 105 |
Pages | 55-70 |
DOI | https://doi.org/10.1016/j.ssci.2018.02.001 |
Keywords | Fault tree analysis; Reliability analysis; Model-based safety analysis; Dynamic fault trees; Temporal fault trees; HiP-HOPS; Petri nets, Bayesian networks; Public health; Environmental and occupational health; Safety research; Safety, risk, reliability an |
Public URL | https://hull-repository.worktribe.com/output/585789 |
Publisher URL | https://www.journals.elsevier.com/safety-science/ |
Copyright Statement | ©2018, Elsevier. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ |
Additional Information | This article is maintained by: Elsevier; Article Title: Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks; Journal Title: Safety Science; CrossRef DOI link to publisher maintained version: http://dx.doi.org/10.1016/j.ssci.2018.02.001; Content Type: article; Copyright: © 2018 Elsevier Ltd. All rights reserved. |
Article
(926 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by-nc-nd/4.0/
Copyright Statement
©2018, Elsevier. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/
A Hybrid Modular Approach for Dynamic Fault Tree Analysis
(2020)
Journal Article
A conceptual framework to incorporate complex basic events in HiP-HOPS
(2019)
Book Chapter
Safety + ai: A novel approach to update safety models using artificial intelligence
(2019)
Journal Article
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
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/)
Advanced Search