Towards code safety with high performance

Ghazaleh Nazarian, Luigi Carro, Georgi N. Gaydadjiev

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationArchitecture of Computing Systems, ARCS 2014 - 27th International Conference, Proceedings
PublisherSpringer Verlag
Pages209-220
Number of pages12
ISBN (Print)9783319048901
DOIs
Publication statusPublished - 1-Jan-2014
Externally publishedYes
Event27th International Conference on Architecture of Computing Systems, ARCS 2014 - Luebeck, Germany
Duration: 25-Feb-201428-Feb-2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8350 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference27th International Conference on Architecture of Computing Systems, ARCS 2014
Country/TerritoryGermany
CityLuebeck
Period25/02/201428/02/2014

Cite this