• DocumentCode
    3498732
  • Title

    Low-cost control flow error protection by exploiting available redundancies in the pipeline

  • Author

    Rouf, Mohammad Abdur ; Kim, Soontae

  • Author_Institution
    Dept. of Inf. & Commun. Eng., Korea Adv. Inst. of Sci. & Technol. (KAIST), Daejeon, South Korea
  • fYear
    2012
  • fDate
    Jan. 30 2012-Feb. 2 2012
  • Firstpage
    175
  • Lastpage
    180
  • Abstract
    Due to device miniaturization and reducing supply voltage, embedded systems are becoming more susceptible to transient faults. Specifically, faults in control flow can change the execution sequence, which might be catastrophic for safety critical applications. Many techniques are devised using software, hardware or software-hardware co-design for control flow error checking. Software techniques suffer from a significant amount of code size overhead, and hence, negative impact on performance and energy consumption. On the other hand, hardware-based techniques have a significant amount of hardware and area cost. In this research we exploit the available redundancies in the pipeline. The branch target buffer stores target addresses of taken branches, and ALU generates target addresses using the low-order branch displacement bits of branch instructions. To exploit these redundancies in the pipeline, we propose a control flow error checking (CFEC) scheme. It can detect control flow errors and recover from them with negligible energy and performance overhead.
  • Keywords
    buffer storage; embedded systems; error correction; error detection; hardware-software codesign; performance evaluation; pipeline processing; redundancy; safety-critical software; software architecture; branch instruction; control flow error checking; control flow error detection; device miniaturization; embedded system; energy consumption; hardware design; hardware-based technique; low cost control flow error protection; low order branch displacement; safety critical application; software design; software technique; software-hardware codesign; transient fault; Benchmark testing; Hardware; Pipelines; Redundancy; Registers; Software; Transient analysis; branch target buffer; control flow error checking; low energy; transient fault;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (ASP-DAC), 2012 17th Asia and South Pacific
  • Conference_Location
    Sydney, NSW
  • ISSN
    2153-6961
  • Print_ISBN
    978-1-4673-0770-3
  • Type

    conf

  • DOI
    10.1109/ASPDAC.2012.6164941
  • Filename
    6164941