[發明專利]用于模塊化驗證設備配置的方法

有效

• 申請號: 201811518210.4
• 申請日: 2018-12-12
• 公開（公告）號: CN109918240B
• 公開（公告）日: 2022-11-25
• 發明（設計）人: 哈拉爾德·費舍爾;約爾格·莫德曼;馬丁·韋爾勒
• 申請（專利權）人: 西克股份公司
• 主分類號: G06F11/22
• 分類號: G06F11/22
• 代理公司: 北京安信方達知識產權代理有限公司 11262
• 代理人: 周靖;楊明釗

1.一種用于驗證設備的配置的方法，包括以下步驟：

將所述設備的配置劃分成被驗證的至少兩個部分配置(T1、T2、T3、T4)，

確定每個部分配置(T1-T4)的參數，其中所述參數用于驗證相應的部分配置(T1、T2、T3、T4)，以及

為每個部分配置(T1、T2、T3、T4)計算單個校驗和，所述單個校驗和表示所述部分配置(T1、T2、T3、T4)的驗證，

其特征在于以下步驟：

將所述部分配置(T1、T2、T3、T4)分配給至少一個部分配置序列(TF1、TF2)，其中預先確定各個部分配置(T1、T2、T4；T1、T3、T4)的驗證的相互依賴性，

其中，所述相互依賴性在于，從在所述部分配置序列(TF1、TF2)中在一個或更多個前面的部分配置(T1、T2、T3)后面的部分配置(T2、T3、T4)的參數以及所述一個或更多個前面的部分配置(T1、T2、T3)的參數中，計算出所述后面的部分配置(T2、T3、T4)的單獨的單個校驗和，使得將所述一個或更多個前面的部分配置(T1、T2、T3)的參數考慮在所述后面的部分配置(T2、T3、T4)的單個校驗和中，以及其中，在驗證所述后面的部分配置(T2、T3、T4)時，復算所述前面的部分配置(T1、T2、T3)的單個校驗和，并且在所述前面的部分配置(T1、T2、T3)的單個校驗和一致時，確認所述前面的部分配置(T1、T2、T3)的驗證，以及

當針對每個部分配置序列(TF1、TF2)驗證了最后的部分配置(T4)時，所述設備的配置被驗證。

2.根據權利要求1所述的方法，其中輸入單元(11-I)和/或輸出單元(11-O)、控制裝置(CPU)、接口和設備的其它單元被劃分為部分配置(T1-T4)。

3.根據前述權利要求2所述的方法，其中，所述部分配置序列(TF1、TF2)被分成不同的分支，使得所述部分配置(T1-T4)不同地相互依賴。

4.根據權利要求3所述的方法，其中，每個部分配置(T1-T4)與驗證狀態相關聯，并且其中，每個部分配置(T1、T2、T3、T4)的驗證狀態取決于所述前面的部分配置(T1、T2、T3)的驗證狀態。

5.根據權利要求4所述的方法，其中，所述驗證狀態指明所述部分配置(T1-T4)是否被驗證。

6.根據權利要求5所述的方法，其中，當所述前面的部分配置(T1、T2、T3)的驗證狀態從被驗證變為未被驗證時，所述后面的部分配置(T2、T3、T4)的驗證狀態從被驗證變為未被驗證。

7.根據前述權利要求6所述的方法，其中，當所述部分配置(T1-T4)的參數改變時，所述部分配置(T1-T4)的驗證狀態改變。

8.根據前述權利要求7所述的方法，其中，所述參數被區分為第一安全相關的參數和第二非安全相關的參數，并且其中，根據所述部分配置(T1、T2、T3、T4)的所述第一安全相關的參數計算所述單個校驗和。

9.根據權利要求8所述的方法，其中，在驗證所述后面的部分配置(T2、T3、T4)時，除了所述前面的部分配置(T1、T2、T3)的單個校驗和還指明所述第二非安全相關的參數。

10.根據權利要求9所述的方法，其中，所述第二非安全相關的參數包括說明，優選明文形式的說明，所述說明表示所述部分配置(T1、T2、T3、T4)的語義、功能和/或驗證狀態。

11.根據前述權利要求10所述的方法，其中，所述單個校驗和由外部輸入設備計算并顯示給用戶以進行可信度測試。

12.根據前述權利要求11所述的方法，其中，所述部分配置(T1、T2、T3、T4)的驗證被分派預定的認證級別。