Skip to Main content Skip to Navigation
Journal articles

Low Overhead Fault-Tolerance Technique for Dynamically Reconfigurable Softcore Processor

Abstract : In this paper, we propose a new approach to implement a reliable softcore processor on SRAM-based FPGAs, which can mitigate radiation-induced temporary faults (single-event upsets (SEUs)) at moderate cost. A new Enhanced Lockstep scheme built using a pair of MicroBlaze cores is proposed and implemented on Xilinx Virtex-5 FPGA. Unlike the basic lockstep scheme, ours allows to detect and eliminate its internal temporary configuration upsets without interrupting normal functioning. Faults are detected and eliminated using a Configuration Engine built on the basis of the PicoBlaze core which, to avoid a single point of failure, is implemented as fault-tolerant using triple modular redundancy (TMR). A softcore processor can recover from configuration upsets through partial reconfiguration combined with roll-forward recovery. SEUs affecting logic which are significantly less likely than those affecting configuration are handled by checkpointing and rollback. Finally, to handle permanent faults, the tiling technique is also proposed. The new Enhanced Lockstep scheme requires significantly shorter error recovery time compared to conventional lockstep scheme and uses significantly smaller number of slices compared to known TMR-based design (although at the cost of longer error recovery time). The efficiency of the proposed approach was validated through fault injection experiments.
Document type :
Journal articles
Complete list of metadata
Contributor : Sébastien Pillement Connect in order to contact the contributor
Submitted on : Monday, October 15, 2012 - 12:28:35 PM
Last modification on : Friday, January 21, 2022 - 3:23:53 AM



Hung-Manh Pham, Sébastien Pillement, Stanislaw Piestrak. Low Overhead Fault-Tolerance Technique for Dynamically Reconfigurable Softcore Processor. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (6), pp.1179-1192. ⟨10.1109/TC.2012.55⟩. ⟨hal-00741797⟩



Les métriques sont temporairement indisponibles