Towards code safety with high performance
Paper i proceeding, 2014

Reliability is a major issue for safety-critical embedded systems such as biomedical implants. In such systems, hardware fault tolerance techniques are usually not available in off-the-shelf processors, because of the intrinsic energy costs of hardware duplication or triplication. As an alternative, software schemes based on compiler transformations are used for error detection and recovery. A common software error class caused by hardware transient faults is Control-Flow Errors (CFEs). In this paper we demonstrate how a new technique based on software instrumentation can benefit from loop-unrolling, with huge impact on control-flow reliability. We show the impact of loop-unrolling on fault-coverage and performance of these schemes. Thanks to the proposed approach, significant fault-coverage concerning CFE can be obtained with no extra costs, and even faster than other available techniques with the same fault-coverage level.

Författare

G. Nazarian

Technische Universiteit Delft

L. Carro

Universidade Federal do Rio Grande do Sul (UFRGS)

Georgi Gaydadjiev

Chalmers, Data- och informationsteknik, Datorteknik

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 8350 209-220

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1007/978-3-319-04891-8-18

ISBN

978-3-319-04890-1