Title :
Design of a portable control-flow checking technique
Author :
Alkhalifa, Z. ; Nair, V.S.S.
Author_Institution :
Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
Abstract :
A software-based method for concurrent detection of hardware faults via control-flow checking is presented. The method is capable of detecting all single control flow errors and almost all multiple control flow errors, regardless of the type of fault that caused the error. It is implemented by means of adding assertions to the entry and exit points of each branch-free interval of the high-level source code. This method is portable across architectures and does not require any special hardware for its application. The assertions are placed automatically through the use of a preprocessor
Keywords :
computer debugging; error detection; program control structures; program diagnostics; software portability; automatic assertion placement; branch-free interval; concurrent hardware fault detection; control flow error detection; entry points; exit points; high-level source code; portable control-flow checking technique; preprocessor; software-based method; Assembly; Computer errors; Computer science; Databases; Error correction; Error correction codes; Fault detection; Hardware; Microprocessors; Optimizing compilers;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1997., Proceedings
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-7971-9
DOI :
10.1109/HASE.1997.648049
