Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2005-12-09
2010-12-07
Beausoliel, Robert (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S027000, C714S031000, C714S033000, C703S014000, C703S021000, C711S114000
Reexamination Certificate
active
07849362
ABSTRACT:
A method and system comprises creating a test case that is dependent upon known sequences and executing the test case on an originating processor until it reaches a known point. The method further includes executing the test case on a different processor to perform an action and informing the originating processor that the action was taken. The action is verified as being occurred with the originating processor.
REFERENCES:
patent: 3786430 (1974-01-01), Hajdu et al.
patent: 4397021 (1983-08-01), Lloyd et al.
patent: 4583222 (1986-04-01), Fossum et al.
patent: 4870704 (1989-09-01), Matelan et al.
patent: 4873656 (1989-10-01), Catlin
patent: 4959781 (1990-09-01), Rubinstein et al.
patent: 5097412 (1992-03-01), Orimo et al.
patent: 5115499 (1992-05-01), Stiffler et al.
patent: 5123094 (1992-06-01), MacDougall
patent: 5167023 (1992-11-01), Nicolas et al.
patent: 5301302 (1994-04-01), Blackard et al.
patent: 5371883 (1994-12-01), Gross et al.
patent: 5446841 (1995-08-01), Kitano et al.
patent: 5446865 (1995-08-01), Corcoran et al.
patent: 5488713 (1996-01-01), Norton et al.
patent: 5590338 (1996-12-01), Parks et al.
patent: 5805867 (1998-09-01), Kodaira
patent: 5862366 (1999-01-01), Schmidt et al.
patent: 5894573 (1999-04-01), Fukasawa et al.
patent: 6014512 (2000-01-01), Mohamed et al.
patent: 6029205 (2000-02-01), Alferness et al.
patent: 6115763 (2000-09-01), Douskey et al.
patent: 6131079 (2000-10-01), Smith
patent: 6199031 (2001-03-01), Challier et al.
patent: 6208954 (2001-03-01), Houtchens
patent: 6269319 (2001-07-01), Neisch et al.
patent: 6279050 (2001-08-01), Chilton et al.
patent: 6298452 (2001-10-01), Hill
patent: 6321181 (2001-11-01), Havens
patent: 6336088 (2002-01-01), Bauman et al.
patent: 6427224 (2002-07-01), Devins et al.
patent: 6467082 (2002-10-01), D'Arcy et al.
patent: 6487699 (2002-11-01), Devins et al.
patent: 6510531 (2003-01-01), Gibbons
patent: 6539522 (2003-03-01), Devins et al.
patent: 6567934 (2003-05-01), Yen et al.
patent: 6606676 (2003-08-01), Deshpande et al.
patent: 6615167 (2003-09-01), Devins et al.
patent: 6625679 (2003-09-01), Morrison et al.
patent: 6633940 (2003-10-01), Alasti et al.
patent: 6658633 (2003-12-01), Devins et al.
patent: 6718294 (2004-04-01), Bortfeld
patent: 6732338 (2004-05-01), Crouse et al.
patent: 6851075 (2005-02-01), Ur et al.
patent: 6859892 (2005-02-01), Bolding et al.
patent: 6898735 (2005-05-01), Tuttle
patent: 6904398 (2005-06-01), Panesar
patent: 6928539 (2005-08-01), Brassac et al.
patent: 6952795 (2005-10-01), O'Gorman et al.
patent: 7231616 (2007-06-01), Mohanty et al.
patent: 7266490 (2007-09-01), Zeidman
patent: 7313731 (2007-12-01), Smith et al.
patent: 7319947 (2008-01-01), Khaira et al.
patent: 7418557 (2008-08-01), Blinick et al.
patent: 7525958 (2009-04-01), Kumar et al.
patent: 2001/0044913 (2001-11-01), Brassac et al.
patent: 2002/0083387 (2002-06-01), Miner et al.
patent: 2003/0046668 (2003-03-01), Bowen
patent: 2003/0131283 (2003-07-01), Ur et al.
patent: 2003/0149946 (2003-08-01), Devins et al.
patent: 2003/0171907 (2003-09-01), Gal-On et al.
patent: 2003/0188278 (2003-10-01), Carrie
patent: 2003/0200073 (2003-10-01), Rich et al.
patent: 2003/0208351 (2003-11-01), Hartman et al.
patent: 2004/0010401 (2004-01-01), Davis et al.
patent: 2004/0034750 (2004-02-01), Horn
patent: 2004/0088150 (2004-05-01), Gay
patent: 2004/0093536 (2004-05-01), Weller
patent: 2004/0133409 (2004-07-01), Mukherjee et al.
patent: 2004/0139272 (2004-07-01), Rodriguez-Rivera et al.
patent: 2004/0193397 (2004-09-01), Lumb et al.
patent: 2004/0210721 (2004-10-01), Detjens et al.
patent: 2005/0060133 (2005-03-01), Schuppe
patent: 2005/0154573 (2005-07-01), Maly et al.
patent: 2005/0226235 (2005-10-01), Kumar et al.
patent: 2006/0130041 (2006-06-01), Pramanick et al.
patent: 2006/0190697 (2006-08-01), Grant
patent: 2006/0229861 (2006-10-01), Tatsuoka et al.
patent: 2006/0259661 (2006-11-01), Feng et al.
patent: 62157961 (1987-07-01), None
patent: 04-148461 (1992-05-01), None
patent: 9073435 (1997-03-01), None
patent: 09-325946 (1997-12-01), None
Tenebaum, Andrew S. Structured Computer Organization. Englewood Cliffs, NJ: Prentice-Hall, Inc., 1984.
OS and Compiler Considerations in the Design of the IA-64 Architecture—Zahir, R. et al.; 2000.
On Processes and Interrupts—Gerrity, GW.; 1981.
Synchronizing Processors with Memory-Content-Generated Interrupts—Hill, JC.; 1973.
A Scalable and Flexible Data Synchronization Scheme for Embedded HW-SW Shared-Memory Systems—Gangwal, OP. et al.; 2001.
Devins Robert J.
Milton David W.
Nsame Pascal A.
Beausoliel Robert
International Business Machines - Corporation
Kotulak Richard
Lottich Joshua P
Roberts Mlotkowski Safran & Cole P.C.
LandOfFree
Method and system of coherent design verification of... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system of coherent design verification of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system of coherent design verification of... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4199236