EP 1907937 A4 20100113 - SYNCHRONIZED HIGH-ASSURANCE CIRCUITS
Title (en)
SYNCHRONIZED HIGH-ASSURANCE CIRCUITS
Title (de)
SYNCHRONISIERTE HOCH-SICHERSTELLUNGS-SCHALTUNGEN
Title (fr)
CIRCUITS A ASSURANCE ELEVEE SYNCHRONISES
Publication
Application
Priority
- US 2006026376 W 20060705
- US 69707105 P 20050705
- US 69707205 P 20050705
- US 42850806 A 20060703
- US 42851606 A 20060703
Abstract (en)
[origin: WO2007006013A2] A high-assurance system for processing information is disclosed. The high-assurance system comprising first and second processors, a task matching circuit, and first and second outputs. The task matching circuit configured to determine a software routine is ready for execution on the first processor, and delay the first processor until the second processor is ready to execute the software routine. The first output of the first processor configured to produce a first result with the software routine. The second output of the second processor configured to produce a second result with the software routine, where the first result is identical to the second result.
IPC 8 full level
G06F 15/00 (2006.01); G06F 11/20 (2006.01)
CPC (source: EP)
G06F 9/52 (2013.01); G06F 9/522 (2013.01); G06F 11/1641 (2013.01); G06F 11/1645 (2013.01); G06F 11/1683 (2013.01); G09C 1/00 (2013.01)
Citation (search report)
- [X] US 6363464 B1 20020326 - MANGIONE MICHAEL T [US]
- [X] EP 0674262 A1 19950927 - IBM [US]
- See references of WO 2007006013A2
Citation (examination)
- GB 2399426 A 20040915 - SHARP KK [JP]
- US 5845060 A 19981201 - VRBA RICHARD ALAN [US], et al
Designated contracting state (EPC)
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IS IT LI LT LU LV MC NL PL PT RO SE SI SK TR
DOCDB simple family (publication)
WO 2007006013 A2 20070111; WO 2007006013 A3 20090416; CA 2614330 A1 20070111; EP 1907937 A2 20080409; EP 1907937 A4 20100113; EP 3651027 A1 20200513; IL 188414 A0 20081103; IL 188414 A 20130430
DOCDB simple family (application)
US 2006026376 W 20060705; CA 2614330 A 20060705; EP 06786509 A 20060705; EP 19199060 A 20060705; IL 18841407 A 20071225