Floating Point Fault Tolerance with Backward Error Assertions
IEEE Transactions on Computers - Special issue on fault-tolerant computing
| Hi-index | 0.00 |
This paper presents an assertion scheme based on the backward error analysis for error detection in algorithms that solve a system of linear equations, Ax = b. This Backward Error Assertion Model can be easily instrumented in a Watchdog processor environment. The complexity of verifying assertions is O($n^2$) compared to the O($n^3$) complexity of algorithms solving Ax = b. Unlike other proposed error detection methods, this assertion model does not require any encoding of matrix A. Experimental results under various error models are presented to validate the effectiveness of these assertions.