FAULT-TREES AND IMPERFECT COVERAGE

被引：38

作者：

DUGAN, JB

机构：

[1] Duke Univ, Durham, NC, USA

来源：

IEEE TRANSACTIONS ON RELIABILITY | 1989年 / 38卷 / 02期

关键词：

Computer Systems; Digital--Fault Tolerant Capability - Mathematical Techniques--State Space Methods - Mathematical Transformations--Laplace Transforms - Probability;

D O I：

10.1109/24.31102

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A new algorithm is presented for solving the fault tree. The algorithm includes the dynamic behavior of the fault/error handling model but obviates the need for the Markov chain solution. As the state space is expanded in a breadth-first search (the same is done in the conversion to a Markov chain), the state's contribution to each future state is calculated exactly. A dynamic state truncation technique is also presented; it produces bounds on the unreliability of the system by considering only part of the state space. Since the model is solved as the state space is generated, the process can be stopped as soon as the desired accuracy is reached.

引用

页码：177 / 185

页数：9

共 12 条

[1]

BABCOCK PS, 1986, CSDLR1899 CS DRAP LA

[2] ANALYSIS OF TYPICAL FAULT-TOLERANT ARCHITECTURES USING HARP [J].

BAVUSO, SJ ;

DUGAN, JB ;

TRIVEDI, KS ;

ROTHMANN, EM ;

SMITH, WE .

IEEE TRANSACTIONS ON RELIABILITY, 1987, 36 (02) :176-185

[3]

BOBBIO A, 1986, IEEE T COMPUT, V35, P803, DOI 10.1109/TC.1986.1676840

[4]

BOURICIUS WG, 1969, 24TH P ANN ACM NAT C, P295

[5]

BOYD MA, 1986, THESIS DUKE U

[6]

BOYD MA, 1988, OCT AIAA IEEE AV SYS

[7] COVERAGE MODELING FOR DEPENDABILITY ANALYSIS OF FAULT-TOLERANT SYSTEMS [J].

DUGAN, JB ;

TRIVEDI, KS .

IEEE TRANSACTIONS ON COMPUTERS, 1989, 38 (06) :775-787

[8] THE HYBRID AUTOMATED RELIABILITY PREDICTOR [J].

DUGAN, JB ;

TRIVEDI, KS ;

SMOTHERMAN, MK ;

GEIST, RM .

JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 1986, 9 (03) :319-331

[9]

GOYAL A, 1986, 16TH DIG ANN S FAULT, P84

[10]

SMOTHERMAN M, 1986, IEEE T COMPUT, V35, P333, DOI 10.1109/TC.1986.1676766

← 1 2 →