Conference proceeding
Modeling Error Propagation in Programs
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp.153-155
06/2017
DOI: 10.1109/DSN-W.2017.24
Abstract
As technology keeps scaling, hardware fault rates are predicted to increase in future computer system. Traditional methods use hardware-only techniques that are energy hungry. Researchers have proposed selective software techniques to tolerate hardware faults at lower costs. However, figuring out which instructions to protect for a target fault coverage can be time- consuming through fault injections. Many proposals have tried to solve the problem, but they suffer either lack of accuracy or scalability issue, and are hence difficult to deploy in practice. In my PhD work, I am proposing a systematic model for error propagation in programs that is both scalable and accurate. The method models error propagation from static instruction-level, control-flow-level and memory-levels. Preliminary results show that our proposed method is able to accurately predict the Silent Data Corruption (SDC) rate of programs without fault injections, thus making it scalable.
Details
- Title: Subtitle
- Modeling Error Propagation in Programs
- Creators
- Guanpeng Li - University of British Columbia
- Resource Type
- Conference proceeding
- Publication Details
- 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp.153-155
- DOI
- 10.1109/DSN-W.2017.24
- eISSN
- 2325-6664
- Publisher
- IEEE
- Language
- English
- Date published
- 06/2017
- Academic Unit
- Computer Science
- Record Identifier
- 9984259495602771
Metrics
25 Record Views