Xception: A technique for the experimental evaluation of dependability in modern computers

被引:231
作者
Carreira, J [1 ]
Madeira, H [1 ]
Silva, JG [1 ]
机构
[1] Univ Coimbra, Dept Informat Engn, P-3030 Coimbra, Portugal
关键词
fault injection; RISC processors; dependability evaluation; real time;
D O I
10.1109/32.666826
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however with the rapid increase in processor complexity, traditional techniques are also increasingly more difficult to apply. This paper presents a new software implemented fault injection and monitoring environment, called Xception, which is targeted for the modern and complex processors. Xception uses the advanced debugging and performance monitoring features existing in most of the modern processors to inject quite realistic faults by software, and to monitor the activation of the faults and their impact on the target system behavior in detail. Faults are injected with minimum interference with the target application. The target application is not modified, no software traps are inserted, and it is not necessary to execute the target application in special trace mode (the application is executed at full speed). Xception provides a comprehensive set of fault triggers, including spatial and temporal fault triggers, and triggers related to the manipulation of data in memory. Faults injected by Xception can affect any process running on the target system (including the kernel), and it is possible to inject faults in applications for which the source code is not available. Experimental results are presented to demonstrate the accuracy and potential of Xception in the evaluation of the dependability properties of the complex computer systems available nowadays.
引用
收藏
页码:125 / 136
页数:12
相关论文
共 49 条
[1]  
[Anonymous], P INT S FAULT TOL CO
[2]  
[Anonymous], P EUR DEP COMP C
[3]   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
[4]  
ARLAT J, 1992, P WORKSH FAULT TOL S, P33
[5]  
CARREIRA J, 1995, SOFTWARE FAULT INJEC
[6]  
CARREIRA J, 1995, P IPDS 95
[7]  
CHILLAREGE R, 1989, P 19 INT S FAULT TOL, P356
[8]  
Choi G., 1992, IEEE T COMPUTERS, V41
[9]  
CHOWDHURY R, 1993, P INT C PAR PROC, P133
[10]   Generation of an error set that emulates software faults based on field data [J].
Christmansson, J ;
Chillarege, R .
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, :304-313