Patent ID: 7802075
Filing Date: 2010-09-21
Classification: G06F

Abstract:
1. A high-assurance system for processing information, the high-assurance system comprising: a first processor configured to receive a first task interrupt that identifies a first high-assurance software routine to be processed by the first processor; a second processor configured to receive a second task interrupt that identifies a second high-assurance software routine, corresponding to the first high-assurance software routine, to be processed on the second processor, and to add the second high-assurance software routine to a task queue of tasks to be processed by the second processor; a hardware task matching circuit configured to: a first output of the first processor configured to produce a first result with the first high-assurance software routine; and a second output of the second processor configured to produce a second result with the second high-assurance software routine, wherein the first result is identical to the second result and the first and second processors are embodied in hardware.