A Semi-Markov Process-based Hierarchical Solution for Dynamic Fault Trees
Dynamic fault tree (DFT) is a top-down deductive technique extended to model systems with complex failure behaviors and interactions. In two last decades, different methods have been applied to improve its capabilities, such as computational complexity reduction, modularization, intricate failure distribution, and reconfiguration. This paper uses semi-Markov process (SMP) theorem for DFT solution with the motivation of obviating the model state-explosion, considering nonexponential failure distribution through a hierarchical solution. In addition, in the proposed method, a universal SMP for static and dynamic gates is introduced, which can generalize dynamic behaviors like functional dependencies, sequences, priorities, and spares in a single model. The efficiency of the method regarding precision and competitiveness with commercial tools, repeated events consideration, computational complexity reduction, nonexponential failure distribution consideration, and repairable events in DFT is studied by a number of examples, and the results are then compared to those of the selected existing methods.
Aslansefat, Koorosh, & Latif-Shabgahi, G. R. (2019). A Hierarchical Approach for Dynamic Fault Trees Solution through Semi-Markov Process. IEEE Transactions on Reliability. [DOI: 10.1109/TR.2019.2923893][PDF][WORD]
Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., & Konur, S. (2020). A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access. [DOI: 10.1109/ACCESS.2020.2996643]
Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., & Gheraibia, Y. (2019, October). A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. In International Symposium on Model-Based Safety and Assessment (pp. 109-124). Springer, Cham. [DOI: 10.1007/978-3-030-32872-6_8]
Hierarchical Dynamic Fault Tree (HDFT) framework is available under an MIT License.
| SafeML | SafeDrones | SafeIoT | SafeNN |
|---|---|---|---|
 |
 |
 |
 |