Reliability analysis of warm standby systems using sequential BDD

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

doi:10.1109/rams.2011.5754426

Cited by 54 publications

(30 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We used Boolean and XBefore laws to reduce ATF formulas. The work reported in Tannous et al (2011) and Xing et al (2012) uses Sequential BDDs to reduce formulas with order-based operators. We plan to use similar concepts in a future work.…”

Section: Resultsmentioning

confidence: 99%

“…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%

See 1 more Smart Citation

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

Section: Resultsmentioning

confidence: 99%

Section: Structure Expressionsmentioning

confidence: 99%

An algebra of temporal faults

Didier

Mota

2016

Inf Syst Front

View full text Add to dashboard Cite

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

“…Xing [7] and Bouissou [8] solved static fault trees using a binary decision diagram (BDD). Previous studies have used probability-based methods [9,10], Markov models [11], the inclusive/exclusion approach [12], sequential binary decision diagrams [13], Petri nets [41] and Bayesian networks [14] for analysis of dynamic fault trees. Although analysis of static gates can be simply done using these methods, accurate analysis of dynamic gates in a timely fashion remains a major challenges [1,16,17].…”

Section: Introductionmentioning

confidence: 99%