MECHANISM FOR EVALUATING THE EFFECTIVENESS OF SOFTWARE FAULT-TOLERANT STRUCTURES

被引:5
作者
CARPENTER, GF
机构
[1] Information Technology Research Group, Department of Electrical and Electronic Engineering and Applied Physics, Aston University, Birmingham, B4 7ET, Aston Triangle
关键词
microsystems; software fault tolerance; test;
D O I
10.1016/0141-9331(90)90049-2
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The provision of software structures to enable a computer to tolerate faults is frequently proposed as an effective and economic method of improving the reliability of a computer system. The paper is concerned with assessing the ability of software structures to cope with induced faults. It discusses the design of a software harness which allows the user to insert predetermined faults into software and to trace the subsequent execution of that software. The paper summarizes the use of the harness to determine the effectiveness of software-based fault-tolerant mechanisms. © 1990.
引用
收藏
页码:505 / 510
页数:6
相关论文
共 17 条
[1]   THE N-VERSION APPROACH TO FAULT-TOLERANT SOFTWARE [J].
AVIZIENIS, A .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1491-1501
[2]   DATABASE FOR INVESTIGATING THE EFFECTS OF INDUCED FAULTS [J].
CARPENTER, GF .
MICROPROCESSORS AND MICROSYSTEMS, 1989, 13 (10) :627-636
[3]  
CARPENTER GF, 1988, 5TH P C TEACH EL ENG
[4]  
CARTER WC, 1985, RESILIENT COMPUTING, P11
[5]   SOFTWARE-RELIABILITY [J].
DANIELS, BK .
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1983, 4 (04) :199-234
[6]  
Gilb T., 1977, SOFTWARE METRICS
[7]  
HORNING JJ, 1974, LECTURE NOTES COMPUT, V17, P171
[8]  
JACKSON PR, 1983, SAFETY COMPUTER CONT, P75
[9]  
KOPETZ H, 1982, 12TH P INT S FAULT T, P14
[10]  
LEE P. A., 1981, FAULT TOLERANCE PRIN