Loading...

Software-based control flow error detection and correction using branch triplication

Ghalaty, N. F ; Sharif University of Technology | 2011

538 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/IOLTS.2011.5993847
  3. Publisher: 2011
  4. Abstract:
  5. Ever Increasing use of commercial off-the-shelf (COTS) processors to reduce cost and time to market in embedded systems has brought significant challenges in error detection and recovery methods employing in such systems. This paper presents a software based control flow error detection and correction technique, so called branch TMR (BTMR), suitable for use in COTS-based embedded systems. In BTMR method, each branch instruction is triplicated and a software interrupt routine is invoked to check the correctness of the branch instruction. During the execution of a program, when a branch instruction is executed, it is compared with the second redundant branch in the interrupt routine. If a mismatch is detected, the third redundant branch instruction is considered as the error-free branch instruction; otherwise, no error has occurred. The main advantage of BTMR over previously proposed control flow checking (CFC) methods is its ability to correct CFEs as well as protection of indirect branch instructions. The BTMR method is evaluated on LEON2 embedded processor. The results show that, error correction coverage is about 96%, while memory overhead and performance overhead of BTMR is about 28% and 10%, respectively
  6. Keywords:
  7. Error correction ; Branch instructions ; Commercial-off-the-shelf ; Control flow checking ; Control-flow errors ; COTS processor ; Embedded processors ; Error detection and recovery ; Indirect branch ; Memory overheads ; Software-based ; Software-based error detection ; Time to market ; Embedded software ; Embedded systems ; Fault tolerance ; Program processors ; Software testing ; Error detection
  8. Source: Proceedings of the 2011 IEEE 17th International On-Line Testing Symposium, IOLTS 2011, 13 July 2011 through 15 July 2011 ; July , 2011 , Pages 214-217 ; 9781457710551 (ISBN)
  9. URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5993847