Fault-detecting computer system
US7584405B2 · kind B2 · utility
6Cited by
7References
36Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 3, 2003 |
| Grant date | Sep 1, 2009 |
| Priority date | — |
| Expiry date | Mar 9, 2027 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/1438
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for detecting computational errors in a digital processor executing a program. Initially, the program is divided into computation segments, and source code for at least one of the segments is compiled to generate two redundant code sections. Comparison code is generated for comparing results produced by execution of the two code sections. Each of the code sections is then executed in a different computational domain to generate respective results. The results of the computation are executed to alter further flow of the program only if the respective results are identical.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.