Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2008-01-21
2009-06-09
Maskulinski, Michael C (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S032000
Reexamination Certificate
active
07546490
ABSTRACT:
A technique for 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 technique, 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: S950080 (1995-07-01), None
patent: 200241514 (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 Technical Disclosure Bulletin, vol. 27, No. 12, pp. 7090-7091 (May 1985).
“Enhanced Verification of Sequence Detectors in State Machines,” IBM Technical Disclosure Bulletin, 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.
International Business Machines - Corporation
Maskulinski Michael C
Radigan, Esq. Kevin P.
LandOfFree
Control system, and program product employing an embedded... 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 system, and program product employing an embedded..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Control system, and program product employing an embedded... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4105309