首页> 外文期刊>Dependable and Secure Computing, IEEE Transactions on >Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis
【24h】

Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis

机译:使用动态分析自动推导特定于应用的错误检测器

获取原文
获取原文并翻译 | 示例

摘要

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.
机译:本文提出了一种新颖的技术,可以防止各种数据错误破坏应用程序的执行。所提出的技术能够基于应用程序执行的动态跟踪自动导出细粒度的,特定于应用程序的错误检测器。该技术使用基于规则的模板来派生一组错误检测器,以最大程度地提高应用程序的错误检测范围。开发概率模型以指导模板的选择及其参数以进行错误检测。本文还提出了一种自动框架,用于在硬件中综合检测器集,以实现应用程序的低开销,运行时检查。使用故障注入实验评估派生的探测器的覆盖范围,同时通过在可重新配置的硬件上合成探测器来评估探测器的性能和面积开销。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利