Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis

作者：Pattabiraman Karthik^*; Saggese Giacinto Paolo; Chen Daniel; Kalbarczyk Zbigniew T; Iyer Ravishankar K

来源：IEEE Transactions on Dependable and Secure Computing, 2011, 8(5): 640-655.

DOI：10.1109/TDSC.2010.19

• Data errors
• dynamic execution
• likely invariants
• critical variables
• FPGA hardware

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, runtime checking of the application. The coverage of the derived detectors is evaluated using fault-injection experiments, while the performance and area overheads of the detectors are evaluated by synthesizing them on reconfigurable hardware.

• 出版日期2011-10