公开(公告)号：WO2010018071A1

公开(公告)日：2010-02-18

申请号：PCT/EP2009/059886

申请日：2009-07-30

Applicant: GROUPE DES ECOLES DES TELECOMMUNICATIONS - ECOLE NATIONALE SUPERIEURE DES TELECOMMUNICATIONS ,  DANGER, Jean-Luc ,  GUILLEY, Sylvain ,  FLAMENT, Florent

Inventor： DANGER, Jean-Luc ,  GUILLEY, Sylvain ,  FLAMENT, Florent

IPC: G06F21/02 ,  G06F21/00

CPC classification number: G06F21/558 ,  G06F21/75 ,  G06F21/755

Abstract: La présente invention a pour objet un procédé de détection d'anomalies dans un circuit protégé par logique différentielle et traitant des variables logiques représentées par un couple de composantes (a t , a f ), un premier réseau de cellules (T) réalisant des fonctions logiques sur la première composante desdits couples, un deuxième réseau de cellules duales (F) fonctionnant en logique complémentaire sur la deuxième composante, les fonctions logiques étant réalisées par chaque couple de cellules (T, F) en une phase de précharge (21) mettant les variables dans un état connu à l'entrée des cellules suivie d'une phase d'évaluation (22) où un calcul est effectué par les cellules, ledit procédé étant caractérisé en ce qu'une anomalie est détectée par au moins un état non cohérent. L'invention a aussi pour objet un circuit protégé par logique différentielle comportant des moyens pour tester la cohérence entre les deux composantes des variables logiques durant les phases de précharge ou d'évaluation aux nœuds surveillés du circuit.

Abstract translation: 本发明涉及一种用于检测由差分逻辑保护的电路中的异常和由一对分量（at，af）表示的处理逻辑变量的方法，在所述第一组件上执行逻辑功能的第一单元网络（T） 对，在第二组件上作为互补逻辑运行的双小区（F）的第二网络，所述逻辑功能由预加载阶段（21）中的每对小区（T，F）执行，将所述变量置于已知的 状态，随后是由小区执行计算的评估阶段（22），其中所述方法的特征在于通过至少一个不一致状态检测到异常。 本发明还涉及由差分逻辑保护的电路，包括用于在电路的监视节点处的预加载或评估阶段期间测试逻辑变量的两个分量的一致性的装置。