Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2008-03-25
2008-03-25
Maskulinski, Michael (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
Reexamination Certificate
active
10843102
ABSTRACT:
A method of controlling a system is provided in which a control-data table is employed for facilitating operation of the system, and an inject-fault-data table is selectively used during testing of the system. Pursuant to the method, a security mechanism is provided to restrict the system's utilization of the inject-fault-data table. A security check by the security mechanism is to be satisfied for the system to access the inject-fault-data table. In an enhanced embodiment, the system is tested by substituting an inject-fault-data entry of the inject-fault-data table for a control-data entry of the control-data table as an input to the system. The testing verifies the response of the system to an emulated fault, which results from employing at least one inject-fault-data entry during testing of the system.
REFERENCES:
patent: 3609523 (1971-09-01), Knox
patent: 4453210 (1984-06-01), Suzuki et al.
patent: 4468731 (1984-08-01), Johnson et al.
patent: 4520440 (1985-05-01), Buonomo et al.
patent: 5022028 (1991-06-01), Edmonds et al.
patent: 6178522 (2001-01-01), Zhou et al.
patent: 6513133 (2003-01-01), Campbell
patent: 6539503 (2003-03-01), Walker
patent: 6622184 (2003-09-01), Tabe et al.
patent: 6701460 (2004-03-01), Suwandi et al.
patent: 7089456 (2006-08-01), Gender
patent: 2003/0172321 (2003-09-01), Wolin et al.
patent: 2006/0041944 (2006-02-01), Yano et al.
patent: 64141 (1995-07-01), None
patent: 2000241514 (2000-08-01), None
patent: 2002132590 (2002-10-01), None
Xiaoping Jia et al., “A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs,” IEEE, 0-7695-0368-3/99, pp. 67-72 (1999).
“System Verification With Error Emulation,” IBM TDB, vol. 27, No. 12, pp. 7090-7091 (May 1985).
“Enhanced Verification of Sequence Detectors in State Machines,” IBM TDB, vol. 34, No. 11, pp. 274-275 (Apr. 1992).
Ivanov, L., “Formal Verification of a Microprocessor Control,” IEEE 0-7803-7150-X/01, pp. 646-650 (2001).
Kearney Daniel J.
Kostenko William P.
Makowicki Robert Philip
Esq. Lily Neff
Heslin Rothenberg Farley & & Mesiti P.C.
Maskulinski Michael
Radigan, Esq. Kevin P.
LandOfFree
Control method, system, and program product employing an... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Control method, system, and program product employing an..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Control method, system, and program product employing an... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3925892