A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Fault injection experiments using FIAT
1990
IEEE transactions on computers
As mentioned in the Introduction, several mathematical models for predicting the behavior of fault-tolerant systems (for example, ARIES, CARE-111, HARP, SAVE, and SURF) are currently available. These models have different capabilities and limitations. It is therefore recommended that the system be evaluated by more than one tool. For a discussion of how two or more tools such as ARIES and HARP complement each other in evaluating a fault-tolerant system, we refer the reader to 183. ~41. REFERENCES [I] S .
doi:10.1109/12.54853
fatcat:c257amombrdtdd6cakereg2f2q