Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams

Xing, Liudong; Tannous, Ola; Dugan, J.B.

doi:10.1109/tsmca.2011.2170415

Cited by 134 publications

(65 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…According to (16), the results of system reliability are reported in Table 11 if node v 7 or v 14 malfunctions. It can be seen from Table 11 that as expected, system reliability can be obtained no matter what a single node or several nodes fail.…”

Section: Systemmentioning

confidence: 99%

“…Based on this definition, there has been a steady move towards the systematical use of reliability theory and historical failure data to evaluate and further improve system reliability in the last few decades. These methods include, but are not limited to, fault tree analysis (FTA), reliability block diagram (RBD), binary decision diagrams (BDD), dynamic fault tree (DFT), Markov model, Petri net, and Bayesian method (e.g., [5][6][7][8][9][10][11][12][13][14][15][16][17]). However, selfdefects of the above approaches hinder their application in the CEMSs.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

System Reliability Assessment Based on Failure Propagation Processes

2018

View full text Add to dashboard Cite

One or several component failures may lead to more related component malfunction and ultimately cause system reliability reduction. Based on this, we focus on the assessment system reliability of complex electromechanical systems (CEMSs) in a fault-propagation view. First, failure propagation model taking into consideration failure data based on network theory and improved polychromatic sets is proposed for system reliability evaluation. From the node point of view, system effectiveness index is constructed to investigate the variation of efficiency of the holistic network. Subsequently, from the system's perspective, system reliability measurement is provided and estimated in combination with system effectiveness index and failure propagation models. Finally, the application of proposed method to a bogie system of high-speed train assesses system reliability, and meanwhile, the effectiveness of the proposed method is able to be illustrated.

show abstract

Section: Systemmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

System Reliability Assessment Based on Failure Propagation Processes

2018

View full text Add to dashboard Cite

show abstract

“…The work reported in Tannous et al (2011) and Xing et al (2012) shows the top-level events probability calculation for DFTs by converting them to a simplified version, using only order-based operators. Such a simplified version, which is based on a modified BDD that includes an order-based operator, creates Sequential BDDs that are used to perform the probabilistic analysis.…”

Section: Structure Expressionsmentioning

confidence: 99%

An algebra of temporal faults

Didier

Mota

2016

Inf Syst Front

View full text Add to dashboard Cite

Faults modelling is essential to anticipate failures in critical systems. Traditionally, Static Fault Trees are employed to this end, but Temporal and Dynamic Fault Trees are gaining evidence due to their enriched power to model and detect intricate propagation of faults that lead to a failure. In previous work, we showed a strategy based on the process algebra CSP and Simulink models to obtain fault traces that lead to a failure. Although that work used Static Fault Trees, it could be used with Temporal or Dynamic Fault Trees. In the present work we define an algebra of temporal faults (with a notion of fault propagation) and prove that it is indeed a Boolean algebra. This allows us to inherit Boolean algebra's properties, laws and existing reduction techniques, which are very beneficial for faults modelling and analysis. We illustrate our work on a simple but real case study supplied by our industrial partner EMBRAER.

show abstract

“…However, the inclusion-exclusion expansion makes the complexity of the method exponential. Another combinatorial approach based on sequential binary decision diagram (SBDD) has recently been proposed to evaluate the standby systems [14][15].…”

Section: Introductionmentioning

confidence: 99%

Reliability analysis of imperfect coverage systems with a shared warm standby

2017

View full text Add to dashboard Cite

Abstract.Redundancy technique is commonly applied to satisfy the reliability requirements of fault-tolerant systems. Warm standby, a compromise between hot standby and cold standby in term of power consumption and recovery time, has attracted wide attention over the past several decades. However, the existing reliability analysis methods for warm standby system with imperfect coverage are difficult to deal with some cases, such as non-exponential time-tofailure distributions for the system components and the systems with shared standbys. In this paper, a new approach based on step function and impulse function is proposed to overcome the limitations of the existing approaches. The reliability of a system including shared standbys is deduced considering two kinds of imperfect fault coverage models, which contain Element Level Coverage (ELC) and Fault Level Coverage (FLC). The proposed approach can applicable to any type of time-to-failure distributions for the system components subject to imperfect fault coverage. A case study is presented to illustrate the applications and advantages.

show abstract

Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams

Cited by 134 publications

References 20 publications

System Reliability Assessment Based on Failure Propagation Processes

System Reliability Assessment Based on Failure Propagation Processes

An algebra of temporal faults

Reliability analysis of imperfect coverage systems with a shared warm standby

Contact Info

Product

Resources

About