ZHENG Yansong, LU Junlin, TONG Dong, WANG Keyi, CHENG Xu. Detect Peripheral Hardware Faults Using I/O-state-based Dynamic Value Invariants[J]. Chinese Journal of Electronics, 2012, 21(2): 221-226.
Citation: ZHENG Yansong, LU Junlin, TONG Dong, WANG Keyi, CHENG Xu. Detect Peripheral Hardware Faults Using I/O-state-based Dynamic Value Invariants[J]. Chinese Journal of Electronics, 2012, 21(2): 221-226.

Detect Peripheral Hardware Faults Using I/O-state-based Dynamic Value Invariants

  • Received Date: 2010-11-01
  • Rev Recd Date: 2011-09-01
  • Publish Date: 2012-04-25
  • Hardware system has been expected to become increasingly vulnerable to faults due to continuously increasing function complexity and decreasing feature size. Using I/O-state-based dynamic value invariants, one of software visible symptoms, can probabilistically detect peripheral hardware faults. This paper explores a software solution that watches for anomalous dynamic value invariant behaviors to indicate the presence of peripheral hardware faults with low cost. The approach extracts I/Ostate- based dynamic value invariants of real commodity software, and detects faults by checking any data inconsistencies arising in an application’s behavior. We implemented the proof of concept in a full system simulator Bochs-P86. The experimentation with Windows XP shows that the approach is effective in detecting peripheral hardware faults. Four forms of dynamic value invariants all have over 46% coverage rate, detect more than 60% faults within 1000 instructions latency, and achieve less than 1.2% false positive rate.
  • loading
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (434) PDF downloads(494) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return