Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2011-06-28
2011-06-28
Baderman, Scott T (Department: 2114)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C712S226000
Reexamination Certificate
active
07971104
ABSTRACT:
Apparatus and methods for converting a processor, having a plurality of states and being operative to execute software operations stored in a memory device, into a self-stabilizing processor, comprising providing self-stabilizing watchdog hardware that, with given timing, interacts with the processor, in accordance with an interaction sequence that includes at least one trigger that sets the processor to a known state from among a set of at least one known states. Also described are applications for stabilization of operating systems and other hardware or software configurations, apparatus and methods for ensuring eventual invariance of software executed by a processor, and apparatus and methods for enforcing fixed software configurations.
REFERENCES:
patent: 5440725 (1995-08-01), Weller et al.
patent: 5559992 (1996-09-01), Stutz et al.
patent: 5598577 (1997-01-01), Overfield
patent: 5758112 (1998-05-01), Yeager et al.
patent: 6567709 (2003-05-01), Malm et al.
patent: 6823447 (2004-11-01), Hay et al.
patent: 7178011 (2007-02-01), Seal et al.
patent: 7200781 (2007-04-01), Mantey et al.
patent: 7434002 (2008-10-01), Zedlewski et al.
patent: 7490191 (2009-02-01), Illikkal et al.
patent: 7665005 (2010-02-01), Szydlowski
patent: 7673296 (2010-03-01), Collard et al.
patent: 2004/0250178 (2004-12-01), Munguia et al.
patent: 2005/0188274 (2005-08-01), Vedam et al.
patent: 2007/0100987 (2007-05-01), Aggarwal et al.
patent: 2007/0157197 (2007-07-01), Neiger et al.
patent: 2007/0174685 (2007-07-01), Banks et al.
patent: 2009/0006909 (2009-01-01), Ladd et al.
patent: 2009/0024836 (2009-01-01), Shen et al.
Brukman, et al., “Recovery oriented programming (Extended Abstract)”, Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel, pp. 1-16.
Dijkstra, “Short Communications Operating Systems: Self-stabilizing Systems in Spite of Distributed Control”, Communications of the ACM, vol. 17, No. 11, pp. 643-644, Nov. 1974, Association for Computing Machinery, Inc.
Dolev, “Self-Stabilization”, The MIT Press, 5 pages including book and author information, Massachusetts Instituted of Technology, Cambridge, Massachusetts, 2000. (last page blank).
Dolev, et al., “Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors”, IEEE Transactions on Computers, vol. 55, No. 4, pp. 1-15, Apr. 2006, IEEE Computer Society.
Dolev, et al., “Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft-Errors (Extended Abstract)”, Department of Computer Science, Ben-Gurion University of the Negev, Israel, Müller-Schloer, et al. (Eds.): ARCS 2004, LNCS 2981, pp. 31-46, 2004, Springer-Verlag Berlin Heidelberg 2004.
Dolev, et al., “Self-stabilization Preserving Compiler (Extended Abstract)”, Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel, School of Computer Science, Tel-Aviv University, Tel-Aviv 69978, Israel, Herman, et al. (Eds.): SSS 2005, LNCS 3764, pp. 81-95, 2005, Springer-Verlag Berlin Heidelberg 2005.
Dolev, et al., “Self-Stabilization Preserving Compiler—Technical Report #2005-06”, Jul. 2005, Self-Stabilization Preserving Compiler (Extended Abstract), Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel, School of Computer Science, Tel-Aviv University, Tel-Aviv 69978, Israel, pp. 1-20.
Dolev, et al. “Self-Stabilization Virtual Machine Monitor (Enabling Technology)”, Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel, pp. 1-14, Aug. 19, 2006.
Dolev, et al., “Memory Management for Self-Stabilizing Operating Systems”, Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel, Rafael 3M, POB 2205, Haifa, Israel, pp. 1-20.
Hill, et al., “System Architecture Directions for Networked Sensors”, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, CA, pp. 93-104, ASPLOS 2000, Cambridge, MA, Nov. 12-15, 2000, A.C.M. 2000.
Intel. “Intel 80200 Processor based on Intel XScale Microarchitecture: Developer's Manual”, 288 Pages, Mar. 2003.
Intel. “Intel XScale Core: Developer's Manual”, 220 Pages, Jan. 2004.
“ARM Architecture Reference Manual”. ARM, 1138 Pages, ARM limited, Cambridge, England, 2005.
Maunder, et al., “The Test Access Port and Boundary-Scan Architecture: Chapter 4. IEEE Std 1149.1: The Top-Level View”, pp. 33-49, IEEE Computer Society Press, Los Alamitos, California, 1990, Scan Test Devices with Octal Buffers, pp. 1-4, Texas Instruments, 1996, Texas Instruments Incorporated.
Tanenbaum, “Structured Computer Organization (4th Edition): International Edition”. 12 pages including book information,Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1999.
Dolev Shlomi
Haviv Avraham Yinnon
Baderman Scott T
Hopkins Susanne M.
Klima William L.
Patel Kamini
The Nath Law Group
LandOfFree
Apparatus and methods for stabilization of processors,... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Apparatus and methods for stabilization of processors,..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus and methods for stabilization of processors,... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2665541