Soft-Error Detection through Software Fault-Tolerance Techniques

Authors:
Maurizio Rebaudengo;Matteo Sonza Reorda;Marco Torchiano;Massimo Violante
Affiliations:
-;-;-;-
Venue:
DFT '99 Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems
Year:
1999

Citing 0
Cited 23

System safety through automatic high-level code transformations: an experimental evaluation

Proceedings of the conference on Design, automation and test in Europe
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures

SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
REESE: A Method of Soft Error Detection in Microprocessors

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Evaluating the Effectiveness of a Software Fault-Tolerance Technique on RISC- and CISC-Based Architectures

IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
Merging a DSP-Oriented Signal Integrity Technique and SW-Based Fault Handling Mechanisms to Ensure Reliable DSP Systems

Journal of Electronic Testing: Theory and Applications
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Using loop invariants to fight soft errors in data caches

Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A low-cost correction algorithm for transient data errors

Ubiquity
A low-cost correction algorithm for transient data errors

Ubiquity
Replicated instruction based fault tolerant computing

Ubiquity
An optimized hybrid approach to provide fault detection and correction in SoCs

Proceedings of the 20th annual conference on Integrated circuits and systems design
Software and Hardware Techniques for SEU Detection in IP Processors

Journal of Electronic Testing: Theory and Applications
Datapath error detection with no detection latency for high-performance microprocessors

WSEAS Transactions on Computers
Adopting the Drowsy Technique for Instruction Caches: A Soft Error Perspective

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
On-line error detection and fast recover techniques for dependable embedded processors

On-line error detection and fast recover techniques for dependable embedded processors
HW/SW co-detection of transient and permanent faults with fast recovery in statically scheduled data paths

Proceedings of the Conference on Design, Automation and Test in Europe
Review: A survey of memory error correcting techniques for improved reliability

Journal of Network and Computer Applications
Combined architecture and hardening techniques exploration for reliable embedded system design

Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI
Characterizing the impact of soft errors on iterative methods in scientific computing

Proceedings of the international conference on Supercomputing
Exploring the Limitations of Software-based Techniques in SEE Fault Coverage

Journal of Electronic Testing: Theory and Applications
Time-Constraint-Aware Optimization of Assertions in Embedded Software

Journal of Electronic Testing: Theory and Applications
A survey of checker architectures

ACM Computing Surveys (CSUR)
On-chip sensor networks for soft-error tolerant real-time multiprocessor systems-on-chip

ACM Journal on Emerging Technologies in Computing Systems (JETC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations aim at making the program able to detect most of the soft-errors affecting data and code, independently of the Error Detection Mechanisms (EDMs) possibly implemented by the hardware. Since the transformations can be automatically applied as a pre-compilation phase, the programmer is freed from the cost and responsibility of introducing suitable EDMs in its code. Preliminary experimental results are reported, showing the fault coverage obtained by the method, as well as some figures concerning the slow-down and code size increase it causes.