A SAA7146-chip based design of the TAMIC
ELECTRO'06 Proceedings of the 4th WSEAS International Conference on Electromagnetics, Wireless and Optical Communications
A manufacturing technology machine for blind people
ROCOM'09 Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology
A noble heuristic reading device for blind people
WSEAS TRANSACTIONS on SYSTEMS
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
This paper presents a behavior-based error detection technique called Control Flow Checking using Branch Trace Exceptions for PowerPC processors family (CFCBTE). This technique is based on the branch trace exception feature available in the PowerPC processors family for debugging purposes. This technique traces the target addresses of program branches at run-time and compares them with reference target addresses to detect possible violations caused by transient faults. The reference target addresses are derived by a preprocessor from the source program. The proposed technique is experimentally evaluated on a 32-bit PowerPC microcontroller using software implemented fault injection (SWIFI). The results show that this technique detects about 91% of the injected control flow errors. The memory overhead is 39.16% on average, and the performance overhead varies between 110% and 304% depending on the workload used. This technique does not modify the program source code.