Title :
FERRARI: a tool for the validation of system dependability properties
Author :
Kanawati, G.A. ; Kanawati, N.A. ; Abraham, J.A.
Author_Institution :
Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
Abstract :
The authors present FERRARI, a fault and error automatic real-time injector, which can evaluate complex systems by emulating most hardware faults in software. The current version of FERRARI runs on SPARC workstations, in an Xwindow environment. The motivation, methodology, design, implementation, and evaluation of FERRARI are presented. The techniques used to emulate permanent faults and transient errors in software are described in detail. Experimental results are presented for several error detection techniques. They demonstrate the effectiveness of FERRARI in its role as a fault and error injector.<>
Keywords :
fault location; fault tolerant computing; software tools; SPARC workstations; Xwindow environment; fault and error automatic real-time injector; hardware faults; methodology; motivation; software tool; transient errors; Circuit faults; Computer errors; Delay; Error correction; Fault detection; Hardware; Jacobian matrices; Power engineering and energy; Power engineering computing; Real time systems;
Conference_Titel :
Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-8186-2875-8
DOI :
10.1109/FTCS.1992.243567