Necessary and sufficient conditions for t-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model

被引：1
作者：
Dimitriev, Yu. K. [1 ]
机构：
[1] Russian Acad Sci, Rzhanov Inst Semicond Phys, Siberian Branch, Novosibirsk, Russia
来源：
AUTOMATION AND REMOTE CONTROL | 2016年 / 77卷 / 06期
基金：
俄罗斯基础研究基金会;
关键词：
Graph theory;
D O I：
10.1134/S0005117916060096
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Consideration was given to the graph-theoretical model of self-diagnosis at the system level under multiple permanent faults. A group of testing models based on complete unreliable tests was analyzed. For the models of this group, the necessary and sufficient conditions for t-diagnosability without repair were established. A critical review of the results obtained in the publications of various authors was given, and the noticed errors concerning the proof of the conditions for t-diagnosability without repair were corrected.
引用
收藏
页码：1060 / 1070
页数：11
相关论文
共 15 条
[1]   APPROACH TO DIAGNOSABILITY ANALYSIS OF A SYSTEM [J].
ALLAN, FJ ;
KAMEDA, T ;
TOIDA, S .
IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (10) :1040-1042
[2]  
BARSI F, 1976, IEEE T COMPUT, V25, P585, DOI 10.1109/TC.1976.1674658
[3]   SCHEMES FOR FAULT-TOLERANT COMPUTING - A COMPARISON OF MODULARLY REDUNDANT AND T-DIAGNOSABLE SYSTEMS [J].
CHWA, KY ;
HAKIMI, SL .
INFORMATION AND CONTROL, 1981, 49 (03) :212-238
[4]   ON CERTAIN INVESTIGATIONS ON SELF-DIAGNOSABLE SYSTEMS [J].
DE, N ;
SENGUPTA, A ;
BANDYOPADHYAY, S ;
SRIMANI, PK .
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1980, 11 (03) :363-375
[5]   Local diagnostication in computer systems with the circulant structure [J].
Dimitriev, Yu. K. .
AUTOMATION AND REMOTE CONTROL, 2007, 68 (03) :545-556
[6]   On the conceptual foundations of comparative analysis and solution of self-diagnostic problems in multiprocessor systems under different unreliable testing models [J].
Dimitriev, Yu. K. .
AUTOMATION AND REMOTE CONTROL, 2015, 76 (07) :1260-1270
[7]   Conditional local self-regulation rules and a diagnostic algorithm for a multiprocessor system with circulant diagnostic structure based on these rules [J].
Dimitriev, Yu. K. .
AUTOMATION AND REMOTE CONTROL, 2012, 73 (05) :862-872
[8]  
Dimitriev Yu. K., 1991, ELECT MODELIR, V13, P108
[9]  
Kavianpour A., 1980, P INF PROC 80 IFIP C, P157
[10]  
Koryachko V. P., 2006, ELEKT J
12