Show simple item record

dc.contributor.authorKabir, Sohag
dc.contributor.authorAslansefat, K.
dc.contributor.authorSorokos, I.
dc.contributor.authorPapadopoulos, Y.
dc.contributor.authorKonur, Savas
dc.date.accessioned2020-08-04T20:11:30Z
dc.date.accessioned2020-08-19T11:10:20Z
dc.date.available2020-08-04T20:11:30Z
dc.date.available2020-08-19T11:10:20Z
dc.date.issued2020-05
dc.identifier.citationKabir S, Aslansefat K, Sorokos I et al (2020) A hybrid modular approach for dynamic fault tree analysis. IEEE Access. 8: 97175-97188.en_US
dc.identifier.urihttp://hdl.handle.net/10454/17983
dc.descriptionYesen_US
dc.description.abstractOver 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.en_US
dc.description.sponsorshipThis work was supported in part by the Dependability Engineering Innovation for Cyber Physical Systems (CPS) (DEIS) H2020 Project under Grant 732242, and in part by the LIVEBIO: Light-weight Verification for Synthetic Biology Project under Grant EPSRC EP/R043787/1.en_US
dc.language.isoenen_US
dc.rightsThis work is licensed under a Creative Commons Attribution 4.0 License. For more information, see https://creativecommons.org/licenses/by/4.0/en_US
dc.subjectReliability analysisen_US
dc.subjectFault tree analysisen_US
dc.subjectDynamic fault treesen_US
dc.subjectModularisationen_US
dc.subjectPetri netsen_US
dc.titleA hybrid modular approach for dynamic fault tree analysisen_US
dc.status.refereedYesen_US
dc.date.Accepted2020-05-14
dc.date.application2020-05-22
dc.typeArticleen_US
dc.type.versionPublished versionen_US
dc.identifier.doihttps://doi.org/10.1109/ACCESS.2020.2996643
dc.date.updated2020-08-04T19:11:42Z
refterms.dateFOA2020-08-19T11:10:55Z


Item file(s)

Thumbnail
Name:
Kabir_et_al_IEEE_Access_Final.pdf
Size:
1.339Mb
Format:
PDF
Thumbnail
Name:
IEEE_ACCESS___Modularised_DFT_ ...
Size:
1.402Mb
Format:
PDF
Description:
To keep suppressed

This item appears in the following Collection(s)

Show simple item record