Title
Compiler-Directed Soft Error Mitigation for Embedded Systems
Abstract
The protection of processor-based systems to mitigate the harmful effect of transient faults (soft errors) is gaining importance as technology shrinks. At the same time, for large segments of embedded markets, parameters like cost and performance continue to be as important as reliability. This paper presents a compiler-based methodology for facilitating the design of fault-tolerant embedded systems. The methodology is supported by an infrastructure that permits to easily combine hardware/software soft errors mitigation techniques in order to best satisfy both usual design constraints and dependability requirements. It is based on a generic microprocessor architecture that facilitates the implementation of software-based techniques, providing a uniform isolated-from-target hardening core that allows the automatic generation of protected source code (hardened code). Two case studies are presented. In the first one, several software-based mitigation techniques are implemented and evaluated showing the flexibility of the infrastructure. In the second one, a customized fault tolerant embedded system is designed by combining selective protection on both hardware and software. Several trade-offs among performance, code size, reliability, and hardware costs have been explored. Results show the applicability of the approach. Among the developed software-based mitigation techniques, a novel selective version of the well known SWIFT-R is presented.
Year
DOI
Venue
2012
10.1109/TDSC.2011.54
IEEE Trans. Dependable Sec. Comput.
Keywords
Field
DocType
software soft errors mitigation,embedded market,software-based technique,hardened code,protected source code,hardware cost,fault-tolerant embedded system,compiler-directed soft error mitigation,code size,software-based mitigation technique,embedded system,reliability,fault tolerant system,satisfiability,source code,software fault tolerance,soft error,embedded systems,fault tolerant,software design,fault tolerance
Dependability,Software design,Soft error,Computer science,Source code,Software fault tolerance,Real-time computing,Compiler,Software,Fault tolerance,Distributed computing,Embedded system
Journal
Volume
Issue
ISSN
9
2
1545-5971
Citations 
PageRank 
References 
7
0.54
0
Authors
6