Observations on the Effects of Fault Manifestation as a Function of Workload

The authors describe a methodology for modeling fault effects on system behavior and evaluate the methodology through an experimental fault injection, study. The methodology characterizes a workload under faulted conditions, and then uses workload attributes such as instruction usage to infer the fault behavior of other workloads. A model of workload attributes required to predict faulty behavior, is presented and evaluated. >

[1]  Ilan Y. Spillinger,et al.  The Difference Fault Model : Using Functional Fault Simulation to Obtain Implementation Fault Coverage , 1986, ITC.

[2]  Robert S. Swarz,et al.  The theory and practice of reliable system design , 1982 .

[3]  Lu Wei,et al.  Analysis of workload influence on dependability , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[4]  Ravishankar K. Iyer,et al.  Fault latency in the memory - An experimental study on VAX 11/780 , 1986 .

[5]  Hideo Fujiwara,et al.  Logic Testing and Design for Testability , 1985 .

[6]  Johan Karlsson,et al.  Evaluation of error detection schemes using fault injection by heavy-ion radiation , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[7]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[8]  Ravishankar K. Iyer,et al.  Measurement and modeling of computer reliability as affected by system activity , 1986, TOCS.

[9]  Victor Carreño,et al.  A Fault Behavior Model for an Avionic Microprocessor: A Case Study , 1991 .

[10]  E. W. Czeck,et al.  On the prediction of fault behavior based on workload , 1991 .

[11]  P. Duba,et al.  Transient fault behavior in a microprocessor-A case study , 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.

[12]  Jacob A. Abraham,et al.  Test Generation for Microprocessors , 1980, IEEE Transactions on Computers.

[13]  Ravishankar K. Iyer,et al.  Error Propagation in a Digital Avionic Processor: A Simulation-Based Study , 1986, RTSS.

[14]  John Paul Shen,et al.  Processor Control Flow Monitoring Using Signatured Instruction Streams , 1987, IEEE Transactions on Computers.