TY - GEN
T1 - Towards code safety with high performance
AU - Nazarian, Ghazaleh
AU - Carro, Luigi
AU - Gaydadjiev, Georgi N.
PY - 2014/1/1
Y1 - 2014/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84958525408&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-04891-8_18
DO - 10.1007/978-3-319-04891-8_18
M3 - Conference contribution
AN - SCOPUS:84958525408
SN - 9783319048901
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 209
EP - 220
BT - Architecture of Computing Systems, ARCS 2014 - 27th International Conference, Proceedings
PB - Springer
T2 - 27th International Conference on Architecture of Computing Systems, ARCS 2014
Y2 - 25 February 2014 through 28 February 2014
ER -