Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums
IEEE Transactions on Computers
Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection
IEEE Transactions on Parallel and Distributed Systems
Concurrent Error Detection Using Watchdog Processors-A Survey
IEEE Transactions on Computers
Hierarchical error detection in a software implemented fault tolerance (sift) environment
Hierarchical error detection in a software implemented fault tolerance (sift) environment
Soft-Error Detection Using Control Flow Assertions
DFT '03 Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
SIED: Software Implemented Error Detection
DFT '03 Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
SWIFT: Software Implemented Fault Tolerance
Proceedings of the international symposium on Code generation and optimization
Mitigation of soft errors in SRAM-based FPGAs using CAD tools
Computers and Electrical Engineering
Evaluation and analysis of an on-line error detection monitoring technique
Computers and Electrical Engineering
An effective two-pattern test generator for Arithmetic BIST
Computers and Electrical Engineering
Hi-index | 0.00 |
Computer systems operating in space environment are subject to different radiation phenomena, whose effects may lead to a control flow fault occurring in software system, which can cause unpredictable behaviors of computer-based systems. According to the specialty of space environment, We propose a technique called RSCFC (Relationship Signatures for Control Flow Checking) which is based on the partition of programs into basic blocks. Firstly, it exploits the relationship among the blocks, then assigns a signature, into which the relationship is coded, to each basic block. Control flow faults are detected through taking AND operation between the run-time signature and the location info of the current block with extra instructions induced at the beginning and the end of each block. A fault injection experiment was performed with several C benchmark programs. The result suggests that about 33% (20.7-68.8%) of the injected branching faults produced undetected incorrect outputs without RSCFC; however, with RSCFC, the above number declines to 11% (2.8-20.4%). Compared with previous techniques, RSCFC has the characteristics of both high fault coverage and low memory and performance overhead.