Title :
A hardware approach to concurrent error detection capability enhancement in COTS processors
Author :
Rajabzadeh, Amir ; Miremadi, Seyed Ghassem
Author_Institution :
Razi Univ., Kermanshah, Iran
Abstract :
To enhance the error detection capability in COTS (commercial off-the-shelf)-based design of safety-critical systems, a new hardware-based control flow checking (CFC) technique is presented. This technique, control flow checking by execution tracing (CFCET), employs the internal execution tracing features available in COTS processors and an external watchdog processor (WDP) to monitor the addresses of taken branches in a program. This is done without any modification of application programs, therefore, the program overhead is zero. The external hardware overhead is about 3.5% using an Altera Flex 10K30 FPGA. For different workload programs, the execution time overhead and the error detection coverage of the technique vary between 33.3 and 140.8% and between 79.7 and 84.6% respectively. The errors are detected with about zero latency.
Keywords :
concurrency control; microprocessor chips; safety-critical software; systems analysis; Altera Flex 10K30 FPGA; COTS processors; COTS-based design; commercial off-the-shelf; concurrent error detection capability enhancement; execution tracing; hardware-based control flow checking; safety-critical systems; watchdog processor; Computer crashes; Control systems; Costs; Delay; Error correction; Field programmable gate arrays; Hardware; Monitoring; Test equipment; Time to market;
Conference_Titel :
Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on
Print_ISBN :
0-7695-2492-3
DOI :
10.1109/PRDC.2005.7