CEDA: Control-flow Error Detection through Assertions

Authors:
Ramtilak Vemu;Jacob A. Abraham
Affiliations:
University of Texas at Austin, USA;University of Texas at Austin, USA
Venue:
IOLTS '06 Proceedings of the 12th IEEE International Symposium on On-Line Testing
Year:
2006

Citing 0
Cited 5

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware

SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Parallelizing Software-Implemented Error Detection

SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Using dynamic partial reconfiguration to detect sees in microprocessors through non-intrusive hybrid technique

Proceedings of the 24th symposium on Integrated circuits and systems design
Time-Constraint-Aware Optimization of Assertions in Embedded Software

Journal of Electronic Testing: Theory and Applications
A survey of checker architectures

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

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 run-time signatures and to compare them against pre-assigned values. The novel method of computing run-time 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 evaluate the fault detection capabilities. 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.