A Hybrid Modular Approach for Dynamic Fault Tree Analysis
Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and high computational requirements, compromising t...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2020-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9098861/ |
| _version_ | 1819276385574715392 |
|---|---|
| author | Sohag Kabir Koorosh Aslansefat Ioannis Sorokos Yiannis Papadopoulos Savas Konur |
| author_facet | Sohag Kabir Koorosh Aslansefat Ioannis Sorokos Yiannis Papadopoulos Savas Konur |
| author_sort | Sohag Kabir |
| collection | DOAJ |
| description | Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and high computational requirements, compromising their efficacy. Modularisation techniques have been developed to address these issues by identifying and quantifying static and dynamic modules of the fault tree separately by using binary decision diagrams and Markov models. Although these approaches appear effective in reducing computational effort and avoiding state-space explosion, the reliance of the Markov chain on exponentially distributed data of system components can limit their widespread industrial applications. In this paper, we propose a hybrid modularisation scheme where independent sub-trees of a DFT are identified and quantified in a hierarchical order. A hybrid framework with the combination of algebraic solution, Petri Nets, and Monte Carlo simulation is used to increase the efficiency of the solution. The proposed approach uses the advantages of each existing approach in the right place (independent module). We have experimented the proposed approach on five independent hypothetical and industrial examples in which the experiments show the capabilities of the proposed approach facing repeated basic events and non-exponential failure distributions. The proposed approach could provide an approximate solution to DFTs without unacceptable loss of accuracy. Moreover, the use of modularised or hierarchical Petri nets makes this approach more generally applicable by allowing quantitative evaluation of DFTs with a wide range of failure rate distributions for basic events of the tree. |
| first_indexed | 2024-12-23T23:39:23Z |
| format | Article |
| id | doaj.art-1a2888d2272647c88d064e76e900efc9 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-23T23:39:23Z |
| publishDate | 2020-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-1a2888d2272647c88d064e76e900efc92022-12-21T17:25:44ZengIEEEIEEE Access2169-35362020-01-018971759718810.1109/ACCESS.2020.29966439098861A Hybrid Modular Approach for Dynamic Fault Tree AnalysisSohag Kabir0https://orcid.org/0000-0001-7483-9974Koorosh Aslansefat1https://orcid.org/0000-0001-9318-8177Ioannis Sorokos2https://orcid.org/0000-0003-2704-8381Yiannis Papadopoulos3https://orcid.org/0000-0001-7007-5153Savas Konur4Department of Computer Science, University of Bradford, Bradford, U.K.Department of Computer Science and Technology, University of Hull, Hull, U.K.Department of Computer Science and Technology, University of Hull, Hull, U.K.Department of Computer Science and Technology, University of Hull, Hull, U.K.Department of Computer Science, University of Bradford, Bradford, U.K.Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and high computational requirements, compromising their efficacy. Modularisation techniques have been developed to address these issues by identifying and quantifying static and dynamic modules of the fault tree separately by using binary decision diagrams and Markov models. Although these approaches appear effective in reducing computational effort and avoiding state-space explosion, the reliance of the Markov chain on exponentially distributed data of system components can limit their widespread industrial applications. In this paper, we propose a hybrid modularisation scheme where independent sub-trees of a DFT are identified and quantified in a hierarchical order. A hybrid framework with the combination of algebraic solution, Petri Nets, and Monte Carlo simulation is used to increase the efficiency of the solution. The proposed approach uses the advantages of each existing approach in the right place (independent module). We have experimented the proposed approach on five independent hypothetical and industrial examples in which the experiments show the capabilities of the proposed approach facing repeated basic events and non-exponential failure distributions. The proposed approach could provide an approximate solution to DFTs without unacceptable loss of accuracy. Moreover, the use of modularised or hierarchical Petri nets makes this approach more generally applicable by allowing quantitative evaluation of DFTs with a wide range of failure rate distributions for basic events of the tree.https://ieeexplore.ieee.org/document/9098861/Reliability analysisfault tree analysisdynamic fault treesmodularisationpetri nets |
| spellingShingle | Sohag Kabir Koorosh Aslansefat Ioannis Sorokos Yiannis Papadopoulos Savas Konur A Hybrid Modular Approach for Dynamic Fault Tree Analysis IEEE Access Reliability analysis fault tree analysis dynamic fault trees modularisation petri nets |
| title | A Hybrid Modular Approach for Dynamic Fault Tree Analysis |
| title_full | A Hybrid Modular Approach for Dynamic Fault Tree Analysis |
| title_fullStr | A Hybrid Modular Approach for Dynamic Fault Tree Analysis |
| title_full_unstemmed | A Hybrid Modular Approach for Dynamic Fault Tree Analysis |
| title_short | A Hybrid Modular Approach for Dynamic Fault Tree Analysis |
| title_sort | hybrid modular approach for dynamic fault tree analysis |
| topic | Reliability analysis fault tree analysis dynamic fault trees modularisation petri nets |
| url | https://ieeexplore.ieee.org/document/9098861/ |
| work_keys_str_mv | AT sohagkabir ahybridmodularapproachfordynamicfaulttreeanalysis AT kooroshaslansefat ahybridmodularapproachfordynamicfaulttreeanalysis AT ioannissorokos ahybridmodularapproachfordynamicfaulttreeanalysis AT yiannispapadopoulos ahybridmodularapproachfordynamicfaulttreeanalysis AT savaskonur ahybridmodularapproachfordynamicfaulttreeanalysis AT sohagkabir hybridmodularapproachfordynamicfaulttreeanalysis AT kooroshaslansefat hybridmodularapproachfordynamicfaulttreeanalysis AT ioannissorokos hybridmodularapproachfordynamicfaulttreeanalysis AT yiannispapadopoulos hybridmodularapproachfordynamicfaulttreeanalysis AT savaskonur hybridmodularapproachfordynamicfaulttreeanalysis |