Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2008-06-13
2011-11-15
Riad, Amine (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
Reexamination Certificate
active
08060793
ABSTRACT:
A processor operation inspection system includes a processor and an operation inspection circuit that inspects an operation of the processor. When a program under execution changes from one predefined state to another state, the processor outputs a state switching signal indicating a transition of its state, a state signal indicating a current state to the inspection circuit. The inspection circuit includes a state register that stores the state of the processor, a combinational logic circuit that calculates, according to the stored state of the processor and the state switching signal, a new state to be taken by the processor, and a comparison circuit that inspects the operation of the processor by comparing the calculated new state to the state of the processor inputted as the state signal.
REFERENCES:
patent: 4773028 (1988-09-01), Tallman
patent: 5161115 (1992-11-01), Teshima et al.
patent: 5606566 (1997-02-01), Whetsel
patent: 5715178 (1998-02-01), Scarola et al.
patent: 7158906 (2007-01-01), Maruno
patent: 7299447 (2007-11-01), Spirkl
patent: 7580807 (2009-08-01), Bullock et al.
patent: 2003/0126473 (2003-07-01), Maciorowski et al.
patent: 2005/0038621 (2005-02-01), Maruno
patent: 2009/0048796 (2009-02-01), Yamamoto et al.
patent: A-03-099227 (1991-04-01), None
patent: A-04-333171 (1991-11-01), None
patent: A-2003-150280 (2003-05-01), None
patent: A-2003-177943 (2003-06-01), None
patent: A-2003-271412 (2003-09-01), None
patent: A-2005-032191 (2005-02-01), None
International Search Report issued in International Application No. PCT/JP2008/061276 on Aug. 12, 2008 (with translation).
El-Fakih et al., “FSM-Based Incremental Conformance Testing Methods,”IEEE Transactions on Software Engineering, vol. 30, No. 7, Jul. 2004, IEEE Computer Society.
German Office Action dated Oct. 8, 2010 in German Patent Application No. 11 2008 001 590.2-53 (with translation).
Oliff & Berridg,e PLC
Riad Amine
Toyota Infotechnology Center Co., Ltd.
Toyota Jidosha & Kabushiki Kaisha
LandOfFree
Processor operation inspection system and operation... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Processor operation inspection system and operation..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Processor operation inspection system and operation... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4262496