CEDA: Control-Flow Error Detection Using Assertions

Authors:
Ramtilak Vemu;Jacob Abraham
Affiliations:
University of Texas at Austin, Austin;University of Texas at Austin, Austin
Venue:
IEEE Transactions on Computers
Year:
2011

Citing 0
Cited 2

On the use of embedded debug features for permanent and transient fault resilience in microprocessors

Microprocessors & Microsystems
Low cost control flow protection using abstract control signatures

Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems

Quantified Score

Hi-index	14.98

Visualization

Abstract

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.