Using likely program invariants to detect hardware errors

@article{Sahoo2008UsingLP,
  title={Using likely program invariants to detect hardware errors},
  author={S. Sahoo and Man-Lap Li and Pradeep Ramachandran and S. Adve and V. Adve and Yuanyuan Zhou},
  journal={2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)},
  year={2008},
  pages={70-79}
}
  • S. Sahoo, Man-Lap Li, +3 authors Yuanyuan Zhou
  • Published 2008
  • Computer Science
  • 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used to detect permanent hardware faults. However, they can not detect a small fraction of faults, which may lead to silent data corruptions(SDCs). In this paper, we present a system that uses invariants to improve the coverage and latency of existing detection techniques for permanent faults. The basic idea is to use… Expand
Relyzer: Application Resiliency Analyzer for Transient Faults
Trace-based microarchitecture-level diagnosis of permanent hardware faults
mSWAT: Low-cost hardware fault detection and diagnosis for multicore systems
Practical automated vulnerability monitoring using program state invariants
Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 48 REFERENCES
Trace-based microarchitecture-level diagnosis of permanent hardware faults
Perturbation-based Fault Screening
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants
Assertion-Based Microarchitecture Design for Improved Fault Tolerance
CEDA: control-flow error detection through assertions
Unified Architectural Support for Soft-Error Protection or Software Bug Detection
  • Martin Dimitrov, Huiyang Zhou
  • Computer Science
  • 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007)
  • 2007
Error Detection Using Dynamic Dataflow Verification
  • A. Meixner, D. Sorin
  • Computer Science
  • 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007)
  • 2007
Tracking down software bugs using automatic anomaly detection
  • S. Hangal, M. Lam
  • Proceedings of the 24th International Conference on Software Engineering. ICSE 2002
  • 2002
Soft-error detection using control flow assertions
...
1
2
3
4
5
...