Reliable software for unreliable hardware: Embedded code generation aiming at reliability

Semeen Rehman, Muhammad Shafique, Florian Kriebel, Jörg Henkel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A compilation technique for reliability-aware software transformations is presented. An instruction-level reliability estimation technique quantifies the effects of hardware-level faults at the instruction-level while considering spatial and temporal vulnerabilities. It bridges the gap between hardware - where faults occur according to our fault model - and software (the abstraction level where we aim to increase reliability). For a given tolerable performance overhead, an optimization algorithm compiles an application software with respect to a tradeoff between performance and reliability. Compared to performance-optimized compilation, our method incurs 60%-80% lower application failures, averaged over various fault injection scenarios and fault rates.

Original languageEnglish (US)
Title of host publicationEmbedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS'11
Pages237-246
Number of pages10
DOIs
StatePublished - 2011
EventEmbedded Systems Week 2011, ESWEEK 2011 - 9th IEEE/ACM International Conference on Hardware/Software-Codesign and System Synthesis, CODES+ISSS'11 - Taipei, Taiwan, Province of China
Duration: Oct 9 2011Oct 14 2011

Publication series

NameEmbedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS'11

Conference

ConferenceEmbedded Systems Week 2011, ESWEEK 2011 - 9th IEEE/ACM International Conference on Hardware/Software-Codesign and System Synthesis, CODES+ISSS'11
Country/TerritoryTaiwan, Province of China
CityTaipei
Period10/9/1110/14/11

Keywords

  • Code generation
  • Dependability
  • Embedded systems
  • Instruction vulnerability estimation
  • Reliability
  • Reliability estimation
  • Reliability-aware software transformations
  • Reliable software
  • Technology scaling

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software
  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'Reliable software for unreliable hardware: Embedded code generation aiming at reliability'. Together they form a unique fingerprint.

Cite this