[發(fā)明專利]用于模塊化驗(yàn)證設(shè)備配置的方法

有效

• 申請?zhí)枺?/td>: 201811518210.4
• 申請日: 2018-12-12
• 公開（公告）號: CN109918240B
• 公開（公告）日: 2022-11-25
• 發(fā)明（設(shè)計）人: 哈拉爾德·費(fèi)舍爾;約爾格·莫德曼;馬丁·韋爾勒
• 申請（專利權(quán)）人: 西克股份公司
• 主分類號: G06F11/22
• 分類號: G06F11/22
• 代理公司: 北京安信方達(dá)知識產(chǎn)權(quán)代理有限公司 11262
• 代理人: 周靖;楊明釗

本申請涉及用于模塊化驗(yàn)證設(shè)備配置的方法。為了保障簡單且安全地驗(yàn)證設(shè)備，特別是安全控制裝置，提出了用于驗(yàn)證設(shè)備，特別是安全控制裝置的配置的方法，包括以下步驟：將設(shè)備配置劃分成被驗(yàn)證的至少兩個部分配置；將部分配置分配給至少一個部分配置序列，其中預(yù)先確定部分配置的驗(yàn)證的相互依賴性；確定每個部分配置的參數(shù)，其中這些參數(shù)用于驗(yàn)證相應(yīng)的部分配置；為每個部分配置計算單個校驗(yàn)和，該單個校驗(yàn)和表示部分配置的驗(yàn)證，其中在驗(yàn)證部分配置序列中后面的部分配置時，復(fù)算前面的部分配置的單個校驗(yàn)和，并且在單個校驗(yàn)和一致時，確認(rèn)前面的部分配置的驗(yàn)證，并且其中，當(dāng)針對每個部分配置序列驗(yàn)證了最后的部分配置時，設(shè)備配置被驗(yàn)證。

技術(shù)領(lǐng)域

本發(fā)明涉及用于模塊化驗(yàn)證設(shè)備，特別是安全控制裝置的配置的方法。

背景技術(shù)

在當(dāng)今的安全技術(shù)中，在對設(shè)備中實(shí)施配置時必須確保所設(shè)置的配置被正確地實(shí)施，以便例如可以識別在其上創(chuàng)建了配置的外部輸入設(shè)備(諸如，計算機(jī)或智能電話)的存儲錯誤和/或配置的傳輸錯誤。該檢查過程稱之為驗(yàn)證。

常見的驗(yàn)證方法是將所實(shí)現(xiàn)的參數(shù)可視化回到輸入設(shè)備上，并使授權(quán)的用戶明確確認(rèn)參數(shù)的正確性。在此，先前的驗(yàn)證方法需要用戶了解整個系統(tǒng)，即了解關(guān)于所有設(shè)定參數(shù)的知識，以便可以對設(shè)備的整個配置實(shí)施驗(yàn)證。因此，這種驗(yàn)證是復(fù)雜和困難的，并且?guī)砹耸跪?yàn)證容易出錯的誤差源。

換句話說，在創(chuàng)建和實(shí)施配置或?qū)⑴渲脗鬏數(shù)皆O(shè)備之后，由必須完全理解設(shè)備的整個配置的選擇的人對設(shè)備的整個配置進(jìn)行驗(yàn)證。

發(fā)明內(nèi)容

因此，本發(fā)明的任務(wù)在于提供用于模塊化驗(yàn)證設(shè)備配置的方法，利用該方法保障了簡單且安全地驗(yàn)證設(shè)備。

根據(jù)本發(fā)明，該任務(wù)通過具有以下所述特征的用于模塊化驗(yàn)證設(shè)備配置的方法得以實(shí)現(xiàn)。

換句話說，提出了用于模塊化驗(yàn)證設(shè)備配置的方法，包括以下步驟：將設(shè)備的配置劃分成被驗(yàn)證的至少兩個部分配置；將這些部分配置分配給至少一個部分配置序列，其中預(yù)先確定了這些部分配置的驗(yàn)證的相互依賴性；確定每個部分配置的參數(shù)，其中這些參數(shù)用于驗(yàn)證各個部分配置；為每個部分配置計算單個校驗(yàn)和(Einzel-Prüfsumme)，該單個校驗(yàn)和表示部分配置的驗(yàn)證，其中在驗(yàn)證部分配置序列中后面的部分配置時，復(fù)算前面的部分配置的單個校驗(yàn)和，并且在單個校驗(yàn)和一致時，確認(rèn)前面的部分配置的驗(yàn)證，并且其中當(dāng)針對每個部分配置序列驗(yàn)證了最后的部分配置時，設(shè)備的配置被驗(yàn)證。

由此產(chǎn)生的優(yōu)點(diǎn)在于，部分配置可被不同的用戶驗(yàn)證，其中用戶只需要具有關(guān)于將由他們驗(yàn)證的相應(yīng)的部分配置的了解或理解，而不必完全理解整個設(shè)備的配置。

根據(jù)優(yōu)選的實(shí)施例，輸入單元和/或輸出單元、控制裝置、接口和設(shè)備的其它單元被劃分為部分配置。這能夠減少知識以便僅以設(shè)備的部分配置的部分知識來驗(yàn)證設(shè)備的配置，其中仍然保障了設(shè)備的總體配置的安全驗(yàn)證。

根據(jù)另一優(yōu)選的實(shí)施例，在后面的部分配置中確認(rèn)對每個緊接前面的部分配置的驗(yàn)證。也就是說，在驗(yàn)證后面的部分配置時，復(fù)算前面的部分配置的單個校驗(yàn)和，并且與在驗(yàn)證前面的部分配置時所計算的單個校驗(yàn)和進(jìn)行比較，使得在單個校驗(yàn)和一致時僅確認(rèn)前面的部分配置的驗(yàn)證。換句話說，當(dāng)前面的部分配置已由另一用戶驗(yàn)證并且前面的部分配置的復(fù)算的單個校驗(yàn)和仍然正確時，用戶例如只需要理解將由他驗(yàn)證的部分配置，以便驗(yàn)證這個部分配置，并確認(rèn)前面的部分配置的驗(yàn)證。

此外，根據(jù)另一優(yōu)選的實(shí)施例，部分配置序列被分成不同的分支，使得部分配置不同地相互依賴。通過這種方式，例如可以更直觀和清楚地再現(xiàn)部分配置的技術(shù)關(guān)系。有利地，每個部分配置與驗(yàn)證狀態(tài)相關(guān)聯(lián)，其中每個部分配置的驗(yàn)證狀態(tài)取決于前面的部分配置的驗(yàn)證狀態(tài)。特別地，驗(yàn)證狀態(tài)指明部分配置是否被驗(yàn)證。由此，導(dǎo)致驗(yàn)證的安全級別提高，因?yàn)楫?dāng)前面的部分配置的驗(yàn)證狀態(tài)未被驗(yàn)證或改變時，部分配置的驗(yàn)證無法確認(rèn)。