EP1907937A4 - Synchronisierte hoch-sicherstellungs-schaltungen - Google Patents

Synchronisierte hoch-sicherstellungs-schaltungen

Info

Publication number
EP1907937A4
EP1907937A4 EP06786509A EP06786509A EP1907937A4 EP 1907937 A4 EP1907937 A4 EP 1907937A4 EP 06786509 A EP06786509 A EP 06786509A EP 06786509 A EP06786509 A EP 06786509A EP 1907937 A4 EP1907937 A4 EP 1907937A4
Authority
EP
European Patent Office
Prior art keywords
synchronized high
high insurance
circuits
insurance circuits
synchronized
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Ceased
Application number
EP06786509A
Other languages
English (en)
French (fr)
Other versions
EP1907937A2 (de
Inventor
Albert J Bourdon
Gary G Christensen
Michael G Godfrey
Sean K O'keeffe
John R Owens
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Viasat Inc
Original Assignee
Viasat Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from US11/428,508 external-priority patent/US8527741B2/en
Priority claimed from US11/428,516 external-priority patent/US7802075B2/en
Application filed by Viasat Inc filed Critical Viasat Inc
Priority to EP19199060.5A priority Critical patent/EP3651027A1/de
Publication of EP1907937A2 publication Critical patent/EP1907937A2/de
Publication of EP1907937A4 publication Critical patent/EP1907937A4/de
Ceased legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/1629—Error detection by comparing the output of redundant processing systems
    • G06F11/1641—Error detection by comparing the output of redundant processing systems where the comparison is not performed by the redundant processing components
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/1629—Error detection by comparing the output of redundant processing systems
    • G06F11/1641—Error detection by comparing the output of redundant processing systems where the comparison is not performed by the redundant processing components
    • G06F11/1645—Error detection by comparing the output of redundant processing systems where the comparison is not performed by the redundant processing components and the comparison itself uses redundant hardware
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/1675—Temporal synchronisation or re-synchronisation of redundant processing components
    • G06F11/1683—Temporal synchronisation or re-synchronisation of redundant processing components at instruction level
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
    • G06F9/522—Barrier synchronisation
    • G—PHYSICS
    • G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
    • G09C—CIPHERING OR DECIPHERING APPARATUS FOR CRYPTOGRAPHIC OR OTHER PURPOSES INVOLVING THE NEED FOR SECRECY
    • G09C1/00—Apparatus or methods whereby a given sequence of signs, e.g. an intelligible text, is transformed into an unintelligible sequence of signs by transposing the signs or groups of signs or by replacing them by others according to a predetermined system

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Quality & Reliability (AREA)
  • Hardware Redundancy (AREA)
EP06786509A 2005-07-05 2006-07-05 Synchronisierte hoch-sicherstellungs-schaltungen Ceased EP1907937A4 (de)

Priority Applications (1)

Application Number Priority Date Filing Date Title
EP19199060.5A EP3651027A1 (de) 2005-07-05 2006-07-05 Synchronisierte hochsicherheitsschaltungen

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US69707105P 2005-07-05 2005-07-05
US69707205P 2005-07-05 2005-07-05
US11/428,508 US8527741B2 (en) 2005-07-05 2006-07-03 System for selectively synchronizing high-assurance software tasks on multiple processors at a software routine level
US11/428,516 US7802075B2 (en) 2005-07-05 2006-07-03 Synchronized high-assurance circuits
PCT/US2006/026376 WO2007006013A2 (en) 2005-07-05 2006-07-05 Synchronized high-assurance circuits

Related Child Applications (1)

Application Number Title Priority Date Filing Date
EP19199060.5A Division EP3651027A1 (de) 2005-07-05 2006-07-05 Synchronisierte hochsicherheitsschaltungen

Publications (2)

Publication Number Publication Date
EP1907937A2 EP1907937A2 (de) 2008-04-09
EP1907937A4 true EP1907937A4 (de) 2010-01-13

Family

ID=37605229

Family Applications (2)

Application Number Title Priority Date Filing Date
EP19199060.5A Withdrawn EP3651027A1 (de) 2005-07-05 2006-07-05 Synchronisierte hochsicherheitsschaltungen
EP06786509A Ceased EP1907937A4 (de) 2005-07-05 2006-07-05 Synchronisierte hoch-sicherstellungs-schaltungen

Family Applications Before (1)

Application Number Title Priority Date Filing Date
EP19199060.5A Withdrawn EP3651027A1 (de) 2005-07-05 2006-07-05 Synchronisierte hochsicherheitsschaltungen

Country Status (4)

Country Link
EP (2) EP3651027A1 (de)
CA (1) CA2614330A1 (de)
IL (1) IL188414A (de)
WO (1) WO2007006013A2 (de)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8190877B2 (en) 2005-07-05 2012-05-29 Viasat, Inc. Trusted cryptographic processor
US8527741B2 (en) 2005-07-05 2013-09-03 Viasat, Inc. System for selectively synchronizing high-assurance software tasks on multiple processors at a software routine level
JP6360387B2 (ja) 2014-08-19 2018-07-18 ルネサスエレクトロニクス株式会社 プロセッサシステム、エンジン制御システム及び制御方法
US10241958B2 (en) 2014-08-29 2019-03-26 Microsoft Technology Licensing, Llc Configurable synchronized processing of multiple operations
US10528077B2 (en) * 2017-11-21 2020-01-07 The Boeing Company Instruction processing alignment system
US10599513B2 (en) 2017-11-21 2020-03-24 The Boeing Company Message synchronization system
US12135970B2 (en) 2023-03-17 2024-11-05 The Boeing Company System and method for synchronizing processing between a plurality of processors

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0674262A1 (de) * 1994-03-25 1995-09-27 International Business Machines Corporation Fehlertolerantes System
US5845060A (en) * 1993-03-02 1998-12-01 Tandem Computers, Incorporated High-performance fault tolerant computer system with clock length synchronization of loosely coupled processors
US6363464B1 (en) * 1999-10-08 2002-03-26 Lucent Technologies Inc. Redundant processor controlled system
GB2399426A (en) * 2003-03-12 2004-09-15 Sharp Kk Fault detection in data processing apparatus

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
AU616213B2 (en) * 1987-11-09 1991-10-24 Tandem Computers Incorporated Method and apparatus for synchronizing a plurality of processors
GB0012352D0 (en) 2000-05-22 2000-07-12 Northern Telecom Ltd Reliable hardware support for the use of formal languages in high assurance systems
JP4217158B2 (ja) 2002-01-23 2009-01-28 インテリテック コーポレイション 電子回路のライセンスされた引渡しおよび課金をするための管理システム、方法および装置
JP2004046599A (ja) * 2002-07-12 2004-02-12 Nec Corp フォルトトレラントコンピュータ装置、その再同期化方法及び再同期化プログラム
JP2005167526A (ja) 2003-12-02 2005-06-23 Hitachi Ltd 複数の制御情報に基づく電子透かし情報の埋込み及び検出方法並びにその制御装置

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5845060A (en) * 1993-03-02 1998-12-01 Tandem Computers, Incorporated High-performance fault tolerant computer system with clock length synchronization of loosely coupled processors
EP0674262A1 (de) * 1994-03-25 1995-09-27 International Business Machines Corporation Fehlertolerantes System
US6363464B1 (en) * 1999-10-08 2002-03-26 Lucent Technologies Inc. Redundant processor controlled system
GB2399426A (en) * 2003-03-12 2004-09-15 Sharp Kk Fault detection in data processing apparatus

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
See also references of WO2007006013A2 *

Also Published As

Publication number Publication date
WO2007006013A3 (en) 2009-04-16
EP1907937A2 (de) 2008-04-09
EP3651027A1 (de) 2020-05-13
WO2007006013A2 (en) 2007-01-11
IL188414A (en) 2013-04-30
CA2614330A1 (en) 2007-01-11
IL188414A0 (en) 2008-11-03

Similar Documents

Publication Publication Date Title
HRP20150012T1 (xx) 39-dezmetoksi derivati rapamicina
DK1838718T3 (da) Pyrrolopyrazoler, potente kinase inhibitorer
DE602006005392D1 (de) Nockenwellenanordnung
IS8260A (is) Tæki til flokkunar á hlutum
DK1704797T3 (da) Arbejdsbord
DE102005024321B8 (de) Absicherungsschaltung
DE602006020069D1 (de) Mehrlagige flasche
DE502006000019D1 (de) Integrieter Schaltkreis
BRPI0618332A2 (pt) embalagem
IL188414A0 (en) Synchronized high-assurance circuits
ATE485294T1 (de) Azaindol-2-carboxamid-derivate
ATE527255T1 (de) Aryl-isoxazol-4-yl-imidazol-derivate
FI20055364A0 (fi) Aikasynkronointi
DE602006012689D1 (de) Überprüfungsverfahren
EP1938448A4 (de) Oszillatorschaltung
FI20055498A0 (fi) Sulfonamidijohdannaisia
DE602006006877D1 (de) Register Synchronisierung
DE602006003162D1 (de) Taktverteilungsstromkreis
FI20055218L (fi) Linearisointipiiri
NO20063967L (no) Sperreanording for hyllearrangement
DE602006001832D1 (de) Ausdehnungsschraube
AT502106A3 (de) Gegenstände
FR2880481B1 (fr) Circuit onduleur
ES1061431Y (es) Calzado perfeccionado
SE0501715L (sv) Lamphållare

Legal Events

Date Code Title Description
PUAI Public reference made under article 153(3) epc to a published international application that has entered the european phase

Free format text: ORIGINAL CODE: 0009012

17P Request for examination filed

Effective date: 20080131

AK Designated contracting states

Kind code of ref document: A2

Designated state(s): 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

AX Request for extension of the european patent

Extension state: AL BA HR MK RS

R17D Deferred search report published (corrected)

Effective date: 20090416

A4 Supplementary search report drawn up and despatched

Effective date: 20091216

RIC1 Information provided on ipc code assigned before grant

Ipc: G06F 11/20 20060101ALI20091210BHEP

Ipc: G06F 15/00 20060101AFI20070301BHEP

17Q First examination report despatched

Effective date: 20100607

DAX Request for extension of the european patent (deleted)
STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: EXAMINATION IS IN PROGRESS

REG Reference to a national code

Ref country code: DE

Ref legal event code: R003

STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: THE APPLICATION HAS BEEN REFUSED

18R Application refused

Effective date: 20190725