• DocumentCode
    2151226
  • Title

    Leveraging variable function resilience for selective software reliability on unreliable hardware

  • Author

    Rehman, Semeen ; Shafique, Muhammad ; Aceituno, Pau Vilimelis ; Kriebel, Florian ; Chen, Jian-Jia ; Henkel, Jorg

  • Author_Institution
    Karlsruhe Institute of Technology (KIT), Germany
  • fYear
    2013
  • fDate
    18-22 March 2013
  • Firstpage
    1759
  • Lastpage
    1764
  • Abstract
    State-of-the-art reliability optimizing schemes deploy spatial or temporal redundancy for the complete functionality. This introduces significant performance/area overhead which is often prohibitive within the stringent design constraints of embedded systems. This paper presents a novel scheme for selective software reliability optimization constraint under user-provided tolerable performance overhead constraint. To enable this scheme, statistical models for quantifying software resilience and error masking properties at function and instruction level are proposed. These models leverage a whole new range of reliability optimization. Given a tolerable performance overhead, our scheme selectively protects the reliability-wise most important instructions based on their masking probability, vulnerability, and redundancy overhead. Compared to state-of-the-art [7], our scheme provides a 4.84X improved reliability at 50% tolerable performance overhead constraint.
  • Keywords
    Analytical models; Computational modeling; Hidden Markov models; Redundancy; Resilience; Software reliability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013
  • Conference_Location
    Grenoble, France
  • ISSN
    1530-1591
  • Print_ISBN
    978-1-4673-5071-6
  • Type

    conf

  • DOI
    10.7873/DATE.2013.354
  • Filename
    6513800