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

fYear

1992

fDate

8-10 July 1992

Firstpage

336

Lastpage

344

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTCS.1992.243567

Filename

243567