A measurement-based model for workload dependence of CPU errors
IEEE Transactions on Computers - The MIT Press scientific computation series
Implementation-Independent Model of an Instruction Set Architecture in VHDL
IEEE Design & Test
Two Fault Injection Techniques for Test of Fault Handling Mechanisms
Proceedings of the IEEE International Test Conference on Test: Faster, Better, Sooner
A malicious fault list generation algorithm for the evaluation of system coverage
A malicious fault list generation algorithm for the evaluation of system coverage
Coverage estimation using statistic of the extremes for when testing reveals no failures: 3
IEEE Transactions on Computers
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
IEEE Transactions on Computers
EPIC: Profiling the Propagation and Effect of Data Errors in Software
IEEE Transactions on Computers
Physical-defect modeling and optimization for fault-insertion test
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hi-index | 14.99 |
The size and complexity of modern dependable computing systems has significantly compromised the ability to accurately measure system dependability attributes such as fault coverage and fault latency. Fault injection is one approach for the evaluation of dependability metrics. Unfortunately, fault injection techniques are difficult to apply because the size of the fault set is essentially infinite. Current techniques select faults randomly resulting in many fault injection experiments which do not yield any useful information. This research effort has developed a new deterministic, automated dependability evaluation technique using fault injection. The primary objective of this research effort was the development and implementation of algorithms which generate a fault set which fully exercises the fault detection and fault processing aspects of the system. The theory supporting the developed algorithms is presented first. Next, a conceptual overview of the developed algorithms is followed by the implementation details of the algorithms. The last section of this paper presents experimental results gathered via simulation-based fault injection of an Interlocking Control System (ICS). The end result is a deterministic, automated method for accurately evaluating complex dependable computing systems using fault injection.