Title :
Fault injection: a method for validating computer-system dependability
Author :
Clark, Jeffrey A. ; Pradhan, Dhiraj K.
Author_Institution :
Mitre Corp., Bedford, MA, USA
fDate :
6/1/1995 12:00:00 AM
Abstract :
A fault tolerant computer system´s dependability must be validated to ensure that its redundancy has been correctly implemented and the system will provide the desired level of reliable service. Fault injection-the deliberate insertion of faults into an operational system to determine its response offers an effective solution to this problem. We survey several fault injection studies and discuss tools such as React (Reliable Architecture Characterization Tool) that facilitate its application
Keywords :
fault tolerant computing; program verification; reliability; software fault tolerance; React; Reliable Architecture Characterization Tool; computer system dependability; computer-system dependability; fault injection; fault tolerant computer system; operational system; redundancy; reliable service; Aerospace control; Analytical models; Application software; Availability; Delay; Hardware; Life testing; Probability; Statistical distributions; Telecommunication computing;
