DocumentCode :
450393
Title :
The Design and Implementation of Fault Insertion Capabilities for ISPS
Author :
Northcutt, J. Duane
Author_Institution :
Carnegie-Mellon University, Pittsburgh, PA
fYear :
1980
fDate :
23-25 June 1980
Firstpage :
197
Lastpage :
209
Abstract :
Fault tolerance is an important attribute of most computer systems, and to be effective it must be an explicit objective from the beginning of the design process. Inserting faults into a simulation of the machine and observing its behavior is a thorough and economical technique for evaluating prospective fault detection, diagnosis, recovery, and repair mechanisms. As systems become larger due to rising semiconductor integration, the expense of these fault simulations increasingly necessitates that they be performed at higher levels of abstraction (such as the register transfer level) rather than lower (such as the gate level). This can achieve major cost savings without significantly compromising fault coverage. This paper describes the design and implementation of a high level fault insertion mechanism for the Instruction Set Processor Specification (ISPS) simulator. The ISPS simulator was chosen because it is an interactive, high level simulator which is capable, mature, and widely used and accepted. The faults which can be simulated include hard and transient, deterministic and probabilistic, stuck-at and bridged, data, control, and operation types. These facilities have been implemented and demonstrated to be sound in both concept and implementation. They have been incorporated as a standard feature in the latest release of the ISPS simulator.
Keywords :
Analytical models; Digital systems; Fault detection; Fault diagnosis; Fault tolerant systems; Formal verification; Hardware; Permission; Process design; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation, 1980. 17th Conference on
Print_ISBN :
0-89791-020-6
Type :
conf
DOI :
10.1109/DAC.1980.1585246
Filename :
1585246
Link To Document :
بازگشت