arrow
Return

Compiler-Directed Soft Error Mitigation for Embedded Systems

delete2012-03-01
delete38
PRE
AI
A
Antonio Martínez-Álvarez *
S
Sergio Cuenca-Asensi
F
Felipe Restrepo‐Calle
F
F.R. Palomo
H
H. Guzmán-Miranda
M
M. A. Aguirre
DOI:10.1109/TDSC.2011.54delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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.
Keywords:
Fault tolerance
reliability
soft error
single event upset-SEU
embedded systems design
hardware/software co-design
design space exploration
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Dependable and Secure Computing cover
IEEE Transactions on Dependable and Secure Computing
IF:
7.5
Papers:
2.4K
Citations:
9.6K

Organization

U
universitat d'alacant
Scholars:
6.9K
Papers: 7.0K
Citations: 12
U
University of Sevilla
Scholars:
1.9W
Papers: 1.7W
Citations: 15