本發(fā)明屬于分布式控制系統(tǒng)領域，涉及一種可信分布式控制系統(tǒng)控制邏輯校驗方法及相關裝置。

背景技術：

1、可信分布式控制系統(tǒng)是一種在分布式控制系統(tǒng)基礎上，強調系統(tǒng)可信性的計算機控制系統(tǒng)，它融合了計算機技術、網(wǎng)絡技術、通信技術和自動控制技術，并且特別關注系統(tǒng)的可靠性、安全性、可用性和可維護性?？尚欧植际娇刂葡到y(tǒng)通過基于硬件可信根的方式，實現(xiàn)了對于控制系統(tǒng)內部的社會工程學攻擊的有效防護，可以防止重要配置文件被惡意篡改以及系統(tǒng)被惡意植入病毒文件。

2、然而，工程師對于控制邏輯具有修改權限，當前可信分布式控制系統(tǒng)對控制邏輯的惡意改動無防范措施，存在安全隱患。此外，當前對于控制邏輯的組態(tài)以及檢查主要依靠人力完成，檢查效率低，并且存在檢查不細致和認知水平不夠等問題，進而導致控制邏輯存在缺陷，最終嚴重影響被控系統(tǒng)的正常運行，甚至導致被控系統(tǒng)故障停機，進而產(chǎn)生經(jīng)濟損失以及影響生產(chǎn)安全。

技術實現(xiàn)思路

1、本發(fā)明的目的在于克服上述現(xiàn)有技術的缺點，提供一種可信分布式控制系統(tǒng)控制邏輯校驗方法及相關裝置。

2、為達到上述目的，本發(fā)明采用以下技術方案予以實現(xiàn)：

3、本發(fā)明第一方面，提供一種可信分布式控制系統(tǒng)控制邏輯校驗方法，包括：獲取待校驗控制邏輯，并根據(jù)待校驗控制邏輯生成檢索條件；根據(jù)檢索條件檢索專家知識庫的經(jīng)典應用案例庫，當經(jīng)典應用案例庫中存在相似度與檢索條件滿足預設要求的經(jīng)典應用案例時，將滿足預設要求的經(jīng)典應用案例作為待比對經(jīng)典應用案例，以及獲取待比對經(jīng)典應用案例的控制邏輯文件并與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果；當經(jīng)典應用案例庫中不存在相似度與檢索條件滿足預設要求的經(jīng)典應用案例時，根據(jù)檢索條件檢索專家知識庫的專家規(guī)則庫，得到待比對專家規(guī)則；以及將待比對專家規(guī)則與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果。

4、可選的，所述根據(jù)待校驗控制邏輯生成檢索條件包括：解析待校驗控制邏輯，得到待校驗控制邏輯的應用場景類型、系統(tǒng)類型和設備類型，并根據(jù)待校驗控制邏輯的應用場景類型、系統(tǒng)類型和設備類型生成檢索條件。

5、可選的，所述獲取待比對經(jīng)典應用案例的控制邏輯文件并與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果包括：獲取待比對經(jīng)典應用案例的控制邏輯文件；將待校驗控制邏輯按照邏輯類型進行分類，并將分類后的待校驗控制邏輯根據(jù)對應邏輯類型預設的處理規(guī)則進行處理，得到待比對處理結果；根據(jù)待校驗控制邏輯的邏輯類型，從待比對經(jīng)典應用案例的控制邏輯文件中選取邏輯類型與待校驗控制邏輯的邏輯類型相同的控制邏輯子文件，作為待比對控制邏輯子文件；將待比對控制邏輯子文件與待比對處理結果進行比對，當比對結果不一致時，生成待校驗控制邏輯錯誤信息并反饋；當比對結果一致時，生成待校驗控制邏輯合理信息并反饋；所述將待比對專家規(guī)則與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果包括：將待校驗控制邏輯按照邏輯類型進行分類，并將分類后的待校驗控制邏輯根據(jù)對應邏輯類型預設的處理規(guī)則進行處理，得到待比對處理結果；將待比對專家規(guī)則與待比對處理結果比對，當比對結果不一致時，生成待校驗控制邏輯錯誤信息并反饋；當比對結果一致時，生成待校驗控制邏輯合理信息并反饋。

6、可選的，所述邏輯類型包括下述中的一種或幾種：設備運行順控邏輯、設備運行保護邏輯以及設備運行狀態(tài)的自動控制邏輯。

7、可選的，所述將分類后的待校驗控制邏輯根據(jù)對應邏輯類型預設的處理規(guī)則進行處理，得到待比對處理結果包括：當待校驗控制邏輯為設備運行順控邏輯時，按照待校驗控制邏輯實現(xiàn)的先后順序建立邏輯圖譜；當待校驗控制邏輯為設備運行保護邏輯時，獲取待校驗控制邏輯的保護條件和閾值設置；當待校驗控制邏輯為設備運行狀態(tài)的自動控制邏輯時，獲取待校驗控制邏輯的控制方法及控制方法的輸入?yún)?shù)類型和輸出參數(shù)類型。

8、可選的，還包括：通過預構建可信分布式控制系統(tǒng)的若干應用場景、若干系統(tǒng)和若干設備的實際應用工程的控制邏輯，得到若干經(jīng)典應用案例；以及獲取各經(jīng)典應用案例的控制邏輯文件，并將若干經(jīng)典應用案例的控制邏輯文件按照應用場景類型、系統(tǒng)類型和設備類型進行歸類存儲，得到經(jīng)典應用案例庫。

9、可選的，還包括：獲取可信分布式控制系統(tǒng)的現(xiàn)場實施過程的工程應用經(jīng)驗、系統(tǒng)運行規(guī)程、設備運行條件和設備運行原理，得到若干知識條目；將若干知識條目按照應用場景類型、系統(tǒng)類型和設備類型進行歸類，并按照if-then的規(guī)則產(chǎn)生方法對于各知識條目進行解析表達，得到若干專家規(guī)則；以及將若干專家規(guī)則按照應用場景類型、系統(tǒng)類型和設備類型進行歸類存儲，得到專家規(guī)則庫。

10、本發(fā)明第二方面，提供一種可信分布式控制系統(tǒng)控制邏輯校驗系統(tǒng)，包括：數(shù)據(jù)獲取模塊，用于獲取待校驗控制邏輯，并根據(jù)待校驗控制邏輯生成檢索條件；第一比對模塊，用于根據(jù)檢索條件檢索專家知識庫的經(jīng)典應用案例庫，當經(jīng)典應用案例庫中存在相似度與檢索條件滿足預設要求的經(jīng)典應用案例時，將滿足預設要求的經(jīng)典應用案例作為待比對經(jīng)典應用案例，以及獲取待比對經(jīng)典應用案例的控制邏輯文件并與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果；第二比對模塊，用于當經(jīng)典應用案例庫中不存在相似度與檢索條件滿足預設要求的經(jīng)典應用案例時，根據(jù)檢索條件檢索專家知識庫的專家規(guī)則庫，得到待比對專家規(guī)則；以及將待比對專家規(guī)則與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果。

11、本發(fā)明第三方面，提供一種計算機設備，包括存儲器、處理器以及存儲在所述存儲器中并可在所述處理器上運行的計算機程序，所述處理器執(zhí)行所述計算機程序時實現(xiàn)上述可信分布式控制系統(tǒng)控制邏輯校驗方法的步驟。

12、本發(fā)明第四方面，提供一種計算機可讀存儲介質，所述計算機可讀存儲介質存儲有計算機程序，所述計算機程序被處理器執(zhí)行時實現(xiàn)上述可信分布式控制系統(tǒng)控制邏輯校驗方法的步驟。

13、與現(xiàn)有技術相比，本發(fā)明具有以下有益效果：

14、本發(fā)明可信分布式控制系統(tǒng)控制邏輯校驗方法，首先根據(jù)待校驗控制邏輯生成檢索條件，然后基于專家知識庫的經(jīng)典應用案例庫和專家規(guī)則庫的兩層設計，先通過檢索經(jīng)典應用案例庫，當經(jīng)典應用案例庫中存在相似度與檢索條件滿足預設要求的經(jīng)典應用案例時，通過獲取待比對經(jīng)典應用案例的控制邏輯文件并與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果，基于經(jīng)典應用案例的控制邏輯文件獲取校驗的校驗參考信息，以實現(xiàn)待校驗控制邏輯的高效檢驗；而當未檢索到滿足預設要求的經(jīng)典應用案例時，則根據(jù)檢索條件檢索專家知識庫的專家規(guī)則庫得到待比對專家規(guī)則，繼續(xù)提供校驗參考信息，實現(xiàn)待校驗控制邏輯的準確校驗，可提升組態(tài)人員的工作效率以及控制邏輯的正確性，也避免了惡意人員通過改變控制邏輯對系統(tǒng)造成破壞的情況發(fā)生。

技術特征：

1.一種可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，包括：

2.根據(jù)權利要求1所述的可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，所述根據(jù)待校驗控制邏輯生成檢索條件包括：解析待校驗控制邏輯，得到待校驗控制邏輯的應用場景類型、系統(tǒng)類型和設備類型，并根據(jù)待校驗控制邏輯的應用場景類型、系統(tǒng)類型和設備類型生成檢索條件。

3.根據(jù)權利要求1所述的可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，所述獲取待比對經(jīng)典應用案例的控制邏輯文件并與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果包括：

4.根據(jù)權利要求3所述的可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，所述邏輯類型包括下述中的一種或幾種：設備運行順控邏輯、設備運行保護邏輯以及設備運行狀態(tài)的自動控制邏輯。

5.根據(jù)權利要求4所述的可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，所述將分類后的待校驗控制邏輯根據(jù)對應邏輯類型預設的處理規(guī)則進行處理，得到待比對處理結果包括：

6.根據(jù)權利要求1所述的可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，還包括：

7.根據(jù)權利要求1所述的可信分布式控制系統(tǒng)控制邏輯校驗方法，其特征在于，還包括：

8.一種可信分布式控制系統(tǒng)控制邏輯校驗系統(tǒng)，其特征在于，包括：

9.一種計算機設備，包括存儲器、處理器以及存儲在所述存儲器中并可在所述處理器上運行的計算機程序，其特征在于，所述處理器執(zhí)行所述計算機程序時實現(xiàn)如權利要求1至7任一項所述可信分布式控制系統(tǒng)控制邏輯校驗方法的步驟。

10.一種計算機可讀存儲介質，所述計算機可讀存儲介質存儲有計算機程序，其特征在于，所述計算機程序被處理器執(zhí)行時實現(xiàn)如權利要求1至7任一項所述可信分布式控制系統(tǒng)控制邏輯校驗方法的步驟。

技術總結
本發(fā)明屬于分布式控制系統(tǒng)領域，公開了一種可信分布式控制系統(tǒng)控制邏輯校驗方法及相關裝置，包括根據(jù)待校驗控制邏輯生成檢索條件；根據(jù)檢索條件檢索專家知識庫的經(jīng)典應用案例庫，當經(jīng)典應用案例庫中存在相似度與檢索條件滿足預設要求的經(jīng)典應用案例時，將滿足預設要求的經(jīng)典應用案例作為待比對經(jīng)典應用案例，以及獲取待比對經(jīng)典應用案例的控制邏輯文件并與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果；否則，根據(jù)檢索條件檢索專家知識庫的專家規(guī)則庫，得到待比對專家規(guī)則；以及將待比對專家規(guī)則與待校驗控制邏輯比對，得到待校驗控制邏輯的檢驗結果。實現(xiàn)待校驗控制邏輯的準確校驗，可提升組態(tài)人員的工作效率以及控制邏輯的正確性。

技術研發(fā)人員：曹樺松,劉暢,辛志波,高少華,劉海潔,項濤,張軍,李卓,韓培林,陳帆,李廣亭,李業(yè)旺,巨鴻懿,柳曦,豆心杰
受保護的技術使用者：西安熱工研究院有限公司
技術研發(fā)日：
技術公布日：2025/1/2