Automated derivation of application-specific error detectors using dynamic analysis

Karthik Pattabiraman, Giacinto Paulo Saggese, Daniel Chen, Zbigniew Kalbarczyk and Ravishankar Iyer
IEEE Transactions on Dependable and Secure Computing (TDSC)
(To appear; Accepted: April 30, 2010)


This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivation of fine-grained, application-specific error detectors based on dynamic traces of application execution. The technique derives a set of error detectors using rule-based templates to maximize the error detection coverage for the application. A probability model is developed to guide the choice of the templates and their parameters for error-detection. The paper also presents an automatic framework for synthesizing the set of detectors in hardware to enable low-overhead, run-time checking of the application. The coverage of the derived detectors is evaluated using fault injection experiments, while the performance and area overhead of the detectors is evaluated by synthesizing them on reconfigurable hardware.


EmailEmail Article to Friend