Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability

Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffer from significant code size penalties, resulting in poor performance. Proposed hardware-assisted approaches are not scalable and therefore cannot be implemented in real embedded systems. This paper presents a scalable, cost effective and novel fault detection technique, to ensure proper control flow of a program. This technique includes architectural changes to the processor and software modifications. While architectural refinement incorporates additional instructions, the software transformation utilizes these instructions into the program flow. Applications from an embedded systems benchmark suite are used for testing and evaluation. The overheads are compared with the state of the art approach that performs the same error coverage using software-only techniques. Our method has greatly reduced overhe...

• Type: Conference
• Year: 2006
• Where: CODES
• Authors: Roshan G. Ragel, Sri Parameswaran
• Keywords: CODES 2006, Control flow, Control flow Checking, Embedded Systems, Hardware-Software Codesign