公开(公告)号：EP3374872B1

公开(公告)日：2020-03-11

申请号：EP16793897.6

申请日：2016-11-09

Applicant: Thales

Inventor： GRASSET, Arnaud

IPC: G06F11/14 ,  G06F9/48 ,  G06F11/16 ,  G06F11/18

公开(公告)号：EP2834655B1

公开(公告)日：2017-01-11

申请号：EP13713898.8

申请日：2013-04-03

Applicant: THALES

Inventor： GRASSET, Arnaud

IPC: G01R31/30 ,  G06F11/18 ,  G06F11/16 ,  G01R31/317

CPC classification number: G06F11/1633 ,  G01R31/3016 ,  G01R31/31725 ,  G06F11/1641 ,  G06F11/184

公开(公告)号：EP3374872A1

公开(公告)日：2018-09-19

申请号：EP16793897.6

申请日：2016-11-09

Applicant: Thales

Inventor： GRASSET, Arnaud

IPC: G06F11/14 ,  G06F9/48 ,  G06F11/16 ,  G06F11/18

Abstract: The invention concerns a method for controlling the operating state of a system comprising at least one first member, the method comprising the steps of: - selection of a first task, that can be executed in a first allocated time, - first execution by the first member of the first selected task, the first execution making it possible to obtain a first result and defining a first time period, - first testing of a first condition according to which the first time period is less than the first allocated time, when the first condition is fulfilled, the method also comprises: - implementation of at least one second execution of the same first task by the same first member in order to obtain a second result, - comparing the first result with each second result, and - determining the operating state of the system.

公开(公告)号：EP2834655A1

公开(公告)日：2015-02-11

申请号：EP13713898.8

申请日：2013-04-03

Applicant: THALES

Inventor： GRASSET, Arnaud

IPC: G01R31/317 ,  G06F11/16 ,  G06F11/24

CPC classification number: G06F11/1633 ,  G01R31/3016 ,  G01R31/31725 ,  G06F11/1641 ,  G06F11/184

Abstract: The invention concerns a method for managing the partial degradation of electronic components forming part of a data processing architecture (10) comprising a first data processing line (12), a second data processing line (14), the two lines (12, 14) being redundant and being provided with corresponding storage registers (30, 32, 38, 40), the method comprising a step of introducing, into at least one register (32, 40) of the second line (14), at least one electrical signal identical to an electrical signal present in the first line (12).

Abstract translation: 本发明涉及一种方法，用于管理形成（10），包括第一数据处理线（12），第二数据处理线（14），这两条线（12，14）的数据处理体系结构的一部分的电子部件的部分降解 是多余的并且设置有相应的存储寄存器（30，32，38，40），所述方法包括引入的步骤，到第二线（14）的至少一个寄存器（32，40），至少一个电信号 相同的在存在于第一线（12）的电信号。