Issue No.09 - September (2011 vol.60)
Ramtilak Vemu , University of Texas at Austin, Austin
Jacob A. Abraham , University of Texas at Austin, Austin
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2011.101
This paper presents an efficient software technique, control-flow error detection through assertions (CEDA), for online detection of control-flow errors. Extra instructions are automatically embedded into the program at compile time to continuously update runtime signatures and to compare them against preassigned values. The novel method of computing runtime signatures results in a huge reduction in the performance overhead, as well as the ability to deal with complex programs and the capability to detect subtle control-flow errors. The widely used C compiler, GCC, has been modified to implement CEDA, and the SPEC benchmark programs were used as the target to compare with earlier techniques. Fault injection experiments were used to demonstrate the effect of control-flow errors on software and to evaluate the fault detection capabilities of CEDA. Based on a new comparison metric, method efficiency, which takes into account both error coverage and performance overhead, CEDA is found to be much better than previously proposed methods.
Control-flow errors, error detection, fault tolerance, software-based detection.
Ramtilak Vemu, Jacob A. Abraham, "CEDA: Control-Flow Error Detection Using Assertions", IEEE Transactions on Computers, vol.60, no. 9, pp. 1233-1245, September 2011, doi:10.1109/TC.2011.101