SAFE SYSTEM-LEVEL DIAGNOSIS

被引：7

作者：

VAIDYA, NH

PRADHAN, DK

机构：

[1] Department of Computer Science, Texas A&M University, College Station TX

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1994年 / 43卷 / 03期

关键词：

FAULT DETECTION; FAULT LOCATION; RECOVERY; SAFETY; SYSTEM DIAGNOSIS;

D O I：

10.1109/12.272443

中图分类号：

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

学科分类号：

0812 ;

摘要：

A new approach called safe system level diagnosis is proposed. With this approach, in the event of a small number of faults, all the faulty nodes be identified; also, in the event of a large number of faults, the fault condition can be detected. Systems which achieve a specified level of safe diagnosis are characterized and a diagnosis algorithm for such systems is presented. Also, an application of safe diagnosis to adaptive diagnosis on arbitrary t-diagnosable graphs is discussed.

引用

页码：367 / 370

页数：4

共 13 条

[1] ON A LOGICAL PROBLEM
BLECHER, PM
[J]. DISCRETE MATHEMATICS, 1983, 43 (01) : 107 - 110
[2] DAHBURA AT, 1984, IEEE T COMPUT, V33, P486, DOI 10.1109/TC.1984.1676472
[3] DAHBURA AT, 1988, CONCURRENT COMPUTATI
[4] CHARACTERIZATION OF CONNECTION ASSIGNMENT OF DIAGNOSABLE SYSTEMS
HAKIMI, SL
AMIN, AT
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (01) : 86 - 88
[5] MALLELA S, 1978, IEEE T COMPUT, V27, P560, DOI 10.1109/TC.1978.1675147
[6] DYNAMIC TESTING STRATEGY FOR DISTRIBUTED SYSTEMS
MEYER, FJ
PRADHAN, DK
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1989, 38 (03) : 356 - 365
[7] ON CONNECTION ASSIGNMENT PROBLEM OF DIAGNOSABLE SYSTEMS
PREPARATA, FP
METZE, G
CHIEN, RT
[J]. IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1967, EC16 (06): : 848 - +
[8] A PARALLEL FAULT IDENTIFICATION ALGORITHM
SCHMEICHEL, E
HAKIMI, SL
OTSUKA, M
SULLIVAN, G
[J]. JOURNAL OF ALGORITHMS, 1990, 11 (02) : 231 - 241
[9] Sullivan G., 1984, 25th Annual Symposium on Foundations of Computer Science (Cat. No. 84CH2085-9), P148, DOI 10.1109/SFCS.1984.715911
[10] FAULT-TOLERANT DESIGN STRATEGIES FOR HIGH-RELIABILITY AND SAFETY
VAIDYA, NH
PRADHAN, DK
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (10) : 1195 - 1206

← 1 2 →