FAULT INJECTION AND DEPENDABILITY EVALUATION OF FAULT-TOLERANT SYSTEMS

被引:104
作者
ARLAT, J
COSTES, A
CROUZET, Y
LAPRIE, JC
POWELL, D
机构
[1] Laboratoire d'Automatique et d'Analyse des Systemes du Centre National de la Recherche Scientifique (LAAS-CNRS)
关键词
COVERAGE; DEPENDABILITY MODELING AND EVALUATION; EXPERIMENTAL EVALUATION; FAULT INJECTION; FAULT TOLERANCE; MARKOV CHAINS;
D O I
10.1109/12.238482
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection test sequence aimed at evaluating the coverage of the fault tolerance process are presented. Emphasis is given to the derivation of experimental measures. The various steps by which the fault occurrence and fault tolerance processes are combined to evaluate dependability measures are identified and their interactions are analyzed. The method is illustrated by an application to the dependability evaluation of the distributed fault-tolerant architecture of the ESPRIT Delta-4 Project.
引用
收藏
页码:913 / 923
页数:11
相关论文
共 38 条
[1]   EXPERIMENTAL EVALUATION OF THE FAULT TOLERANCE OF AN ATOMIC MULTICAST SYSTEM [J].
ARLAT, J ;
AGUERA, M ;
CROUZET, Y ;
FABRE, JC ;
MARTINS, E ;
POWELL, D .
IEEE TRANSACTIONS ON RELIABILITY, 1990, 39 (04) :455-467
[2]   FAULT INJECTION FOR DEPENDABILITY VALIDATION - A METHODOLOGY AND SOME APPLICATIONS [J].
ARLAT, J ;
AGUERA, M ;
AMAT, L ;
CROUZET, Y ;
FABRE, JC ;
LAPRIE, JC ;
MARTINS, E ;
POWELL, D .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (02) :166-182
[3]  
Arlat J., 1985, Fifteenth Annual International Symposium on Fault-Tolerant Computing FTCS 15. Digest of Papers. (Cat. No. 85CH2143-6), P318
[4]  
ARLAT J, 1991, LAASCNRS91396 REP
[5]  
ARLAT J, 1991, P ESP C ESP 91, P791
[6]  
ARLAT J, 1990, THESIS NATIONAL POLY
[7]  
ARLAT J, 1991, DEPENDABILITY TESTIN
[8]  
Avresky Dimitri, 1992, 22 INT S FAULT TOL C, P345
[9]  
BOURICIUS WG, 1969, 24TH P ANN ACM NAT C, P295
[10]  
CARTER WC, 1987, P AIAA COMPUTERS AER, P70