Probabilistic analysis of dynamic and temporal fault trees using accurate stochastic logic gates

Cheshmikhani, Elham; Zarandi, Hamid R.

doi:10.1016/j.microrel.2015.06.047

Cited by 11 publications

(7 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Elham presented accurate models for the analysis of fault trees based on stochastic logic. 71 The method was more accurate than previous methods using the proposed stochastic logic gates for dynamic and temporal fault trees. In addition, Elham 72 carried out DFT simulation through the GPGPU instead of CPU the basis of the stochastic model, and experiments on the dynamic gate probability model and different combination of cold standby gate models showed that the average calculation efficiency is increased by 235 times.…”

Section: Algorithm Optimizationmentioning

confidence: 90%

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Zhu

Jiang

et al. 2023

Quality & Reliability Eng

View full text Add to dashboard Cite

Dynamic fault tree (DFT) is designed to conduct risk assessment studies of complex systems. With the development of intelligent and network technology, risk assessment technology faces a leap forward development. The requirements for improving system safety are being recognized. On the one hand, research on DFT is exploring the integration with different methods. On the other hand, DFT method becomes more intelligent. The purpose of this paper is to identify the feasibility and effectiveness of different integration frameworks. To achieve this goal, a suitable review process is proposed. This paper comprehensively reviews and proposes future perspective the research status of intellectualization in DFT, and focuses on the different types of integration framework of DFT, modeling technology and algorithm optimization, and the support of computer‐aided analysis. Theoretical contributions, frameworks features, and the development process of computer intelligent analysis in the scientific and technical literature are carefully reviewed. Finally, the challenges in future research are summarized to promote the development of intelligent evaluation.

show abstract

Section: Algorithm Optimizationmentioning

confidence: 90%

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Zhu

Jiang

et al. 2023

Quality & Reliability Eng

View full text Add to dashboard Cite

show abstract

“…A constant among existing FTA techniques is that the failure of a basic event cannot be reverted (i.e., when a basic event changes from the normal state to the fail state, it will remain in the fail state forever) [21]. However, it has been noted in the literature that basic events (i.e., events that may lead to the failure of a component) are not always permanent.…”

Section: Proposed Tdft Modeling and Analysis Methodologymentioning

confidence: 99%

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs)

et al. 2019

View full text Add to dashboard Cite

Fault tree (FT) is a standardized notation for representing relationships between a system's reliability and the faults and/or the events associated with it. However, the existing FT fault models are only capable of portraying permanent events in the system. This is a major hindrance since these models fail to reflect accurately the other classes of faults, such as soft-faults, which are often temporary events that usually disappear after the source of the interference is no longer present. This paper proposes a new fault tree modeling paradigm, to capture the impact of temporal events in systems, called temporal dynamic fault trees (TDFTs). TDFTs are utilized to model the characteristics and dependencies between different temporal events, soft-faults, and permanent faults. These features are integrated into the proposed probabilistic models of the temporal gates, which are modeled as priced-timed automata. This paper also proposes a new FT analysis methodology, based on statistical model checking, designed to circumvent the state-explosion problem that is inherent to other model-checking approaches. The proposed analysis is able to evaluate the impact of temporal faults in systems, as well as to estimate the reliability and availability of the system over extended periods of time. The experiments reported in this paper demonstrate the versatility and scalability of the proposed approach. For instance, the results display the impact that temporal events may have in a digital system. Our observations indicate that while regular soft-fault analyses tend to underestimate metrics such as system reliability, TDFT analysis shows remarkable consistency with radiation testing, with differences of under 2%, in the conducted analysis.

show abstract

“…Beside communication networks, many interesting works have been found that utilized analytical approaches to analyze dynamic fault trees [144,145,146,147]. For instance, the authors present an algebraic framework to model dynamic gates and than can be used to determine the structure function of any Dynamic Fault Tree (DFT) [144].…”

Section: Analytical Methods With Fault Treementioning

confidence: 99%

Reliability modeling and analysis of communication networks

Ahmed

Hasan

Pervez

et al. 2017

Journal of Network and Computer Applications

View full text Add to dashboard Cite

In recent times, the functioning of various aspects of modern society-ranging from the various infrastructural utilities such as electrical power, water to socio-economical aspects such as telecommunications, business, commerce, education-has become critically reliant on communication networks, and particularly on the Internet. With the migration of critical facilities to the Internet, it has become vitally important to ensure the reliability and availability of networks. In this paper, we study various modeling and analysis techniques that can aid in the study of reliability of communication networks. In this regard, we provide background on the modeling techniques (such as reliability block diagrams, fault trees, Markov chains, etc.) and analysis techniques (such as mathematical analytical methods, simulation methods, and formal methods). Apart from providing the necessary background, we also critically evaluate the pros and cons of different approaches, and provide a detailed survey of their applications in communication networks. To the best of our knowledge, this is the first in-depth review of the application of reliability modeling and analysis techniques in communication networks. work, the ability of a network to maintain an acceptable reliability level under extreme environmental conditions and assess the impact of design changes on the reliability of the overall network [17]. Similarly, the availability prediction allows us to evaluate various maintenance design options to achieve the desired availability of the network [18].The qualitative and quantitative reliability analysis requires the selection of an appropriate mathematical modeling and analysis technique. The modeling technique must be able to effectively capture the important parameters of the real system and the analysis technique should be capable of providing insights into the system behavior without running (or executing) the real system. There are numerous techniques that can provide analysis in the early phase, when only initial details are available of the design, and there are other techniques that cater the analysis of the later design phases, when more precise implementation details are available [16]. Some of the most widely used formalisms/techniques for modeling reliability and availability of communication networks are: Reliability Block Diagram (RBD) [19], Fault Tree (FT) [20], and Markov Chain (MC) [21]. Traditionally, the models developed using these techniques are analyzed using analytical methods or simulation tools.Recently, the computer networks community has shown great interest in the utilization of formal methods [22] as a reliability analysis technique for communication networks. Formal methods use mathematical logic to precisely model the system's intended behavior and deploy mathematical reasoning to construct an irrefutable proof that the given system satisfies its requirements. This kind of mathematical modeling and analysis makes formal methods an accurate and rigorous analysis method compared to the traditional a...

show abstract

Probabilistic analysis of dynamic and temporal fault trees using accurate stochastic logic gates

Cited by 11 publications

References 35 publications

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs)

Reliability modeling and analysis of communication networks

Contact Info

Product

Resources

About