[發明專利]用于安全系統的FPGA不匹配數據包的停止

有效

• 申請號: 201810190695.2
• 申請日: 2018-03-08
• 公開（公告）號: CN108572638B
• 公開（公告）日: 2022-02-01
• 發明（設計）人: 加里·珀金斯;馬爾科姆·J·魯什;安德魯·波爾特
• 申請（專利權）人: 雅特生嵌入式計算有限公司
• 主分類號: G05B23/02
• 分類號: G05B23/02
• 代理公司: 北京德琦知識產權代理有限公司 11018
• 代理人: 梁洪源;康泉

1.一種容錯故障安全計算機表決系統，包括：

第一表決模塊，所述第一表決模塊基于第一數據包與第二數據包的副本之間的比較而生成第一密鑰，并且確定所述第一密鑰和第二密鑰是否是有效密鑰，其中，所述第二數據包是開關模塊基于所述第一數據包生成的所述第一數據包的副本；

第二表決模塊，所述第二表決模塊基于所述第二數據包與所述第一表決模塊生成的所述第一數據包的副本之間的比較而生成所述第二密鑰；以及

處理模塊，所述處理模塊響應于所述第一表決模塊確定所述第一密鑰和所述第二密鑰是否是有效密鑰而基于所述第一數據包生成輸出數據包；并且

其中所述第一表決模塊被禁止生成所述第二密鑰并且所述第二表決模塊被禁止生成所述第一密鑰。

2.根據權利要求1所述的系統，其中所述第一表決模塊包括第一輸入表決模塊和輸出表決模塊，并且其中所述第二表決模塊包括第二輸入表決模塊。

3.根據權利要求2所述的系統，其中所述第一輸入表決模塊響應于所述第一輸入表決模塊確定所述第一數據包與所述第二數據包的所述副本相同而生成所述第一密鑰，并且其中所述第一輸入表決模塊將所述第一數據包和所述第一密鑰傳送至所述輸出表決模塊。

4.根據權利要求3所述的系統，其中所述第二輸入表決模塊響應于所述第二輸入表決模塊確定所述第二數據包與所述第一數據包的所述副本相同而生成所述第二密鑰，并且其中所述第二輸入表決模塊將所述第二數據包和所述第二密鑰傳送至所述輸出表決模塊。

5.根據權利要求4所述的系統，其中所述輸出表決模塊基于所述第一密鑰和所述第二密鑰而確定所述第一數據包是否有效。

6.根據權利要求4所述的系統，其中所述輸出表決模塊基于確定所述第一密鑰是復雜密鑰而確定所述第一密鑰是有效密鑰，并且其中所述輸出表決模塊基于確定所述第二密鑰是復雜密鑰而確定所述第二密鑰是有效密鑰。

7.根據權利要求4所述的系統，其中所述輸出表決模塊基于所述第一密鑰和所述第二密鑰而確定所述第一數據包是否有效。

8.根據權利要求7所述的系統，其中所述輸出表決模塊基于確定所述第一密鑰是復雜密鑰而確定所述第一密鑰是有效密鑰，并且其中所述輸出表決模塊基于確定所述第二密鑰是復雜密鑰而確定所述第二密鑰是有效密鑰。

9.根據權利要求1所述的系統，其中所述處理模塊將所述輸出數據包傳送至安全應用的至少一個安全相關部件。

10.根據權利要求9所述的系統，其中所述至少一個安全相關部件根據與所述輸出數據包相關聯的一個或多個數據元素而操作。

11.根據權利要求1所述的系統，其中所述第一表決模塊基于所述第一表決模塊確定所述第一數據包和所述第二數據包的所述副本不相同而丟棄所述第一數據包并且生成故障指示。

12.根據權利要求1所述的系統，其中所述第二表決模塊基于所述第二表決模塊確定所述第二數據包和所述第一數據包的所述副本不相同而丟棄所述第二數據包并且生成故障指示。

13.根據權利要求1所述的系統，其中所述第一表決模塊基于所述第一表決模塊確定所述第一密鑰和所述第二密鑰中的一個不是有效密鑰而丟棄所述第一數據包并且生成故障指示。