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
fDate :
Jan. 30 2012-Feb. 2 2012
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;
Conference_Titel :
Design Automation Conference (ASP-DAC), 2012 17th Asia and South Pacific
Conference_Location :
Sydney, NSW
Print_ISBN :
978-1-4673-0770-3
DOI :
10.1109/ASPDAC.2012.6164941