[發明專利]一種利用數據流同構驗證控制系統算法組態圖的方法及系統

有效

• 申請號: 202010195050.5
• 申請日: 2020-03-19
• 公開（公告）號: CN111414440B
• 公開（公告）日: 2023-08-08
• 發明（設計）人: 周良;杜喬瑞;張亞棟;張磊;張冬偉;任保華;楊晨;楊利;胡加永;劉邦信;李靜霞
• 申請（專利權）人: 北京廣利核系統工程有限公司
• 主分類號: G06F16/28
• 分類號: G06F16/28;G06F16/245;G06Q10/20;G06Q50/06
• 代理公司: 北京天達知識產權代理事務所有限公司 11386
• 代理人: 馬東偉

本發明涉及一種利用數據流同構驗證控制系統算法組態圖的方法及系統，屬于軟件技術領域，解決了現有的方法執行效率低和驗證質量差等問題。分別對功能圖和算法組態圖進行算法組態信息辨識，獲得功能圖信息和算法組態圖信息；根據所述功能圖信息和算法組態圖信息，分別生成功能圖信息表和算法組態圖信息表，所述功能圖信息表和算法組態圖信息表均包括點信息、塊信息和數據流信息；根據VV驗證庫規則驗證功能圖信息表和算法組態圖信息表中的所述點信息、塊信息和數據流信息是否分別對應一致；若一致，則正確；若不一致，則錯誤。提高了執行效率及驗證質量，保證了控制系統后期運行的安全性。

技術領域

本發明涉及軟件技術領域，尤其涉及一種利用數據流同構驗證控制系統算法組態圖的方法及系統。

背景技術

控制系統是核電站運行、操作與監控的中樞神經系統，是確保核電站安全可靠運行的重要裝備，并幫助調整應對核電站運行和維護的需要。目前，全世界約40％的運行反應堆已全部更新或包含部分數字化控制系統。目前在建的核電站或將興建的核電站，都將使用數字化控制系統。

目前，功能圖和算法組態圖以自然語言和半形式化表現為主，VV工作都是以人工為主執行，VV工作量巨大，導致存在部分任務執行效率不高和驗證質量差等問題。

發明內容

鑒于上述的分析，本發明實施例旨在提供一種利用數據流同構驗證控制系統算法組態圖的方法及系統，用以解決現有的方法執行效率低和驗證質量差等問題。

本發明提供了一種利用數據流同構驗證控制系統算法組態圖的方法，包括以下步驟：

分別對功能圖和算法組態圖進行算法組態信息辨識，獲得功能圖信息和算法組態圖信息；

根據所述功能圖信息和算法組態圖信息，分別生成功能圖信息表和算法組態圖信息表，所述功能圖信息表和算法組態圖信息表均包括點信息、塊信息和數據流信息；

根據VV驗證庫規則驗證功能圖信息表和算法組態圖信息表中的所述點信息、塊信息和數據流信息是否分別對應一致；若一致，則正確；若不一致，則錯誤。

進一步，所述功能圖信息和算法組態圖信息均包括變量的名稱及類型、算法塊的名稱及類型和邏輯連線的起點及終點；

基于所述變量的名稱及類型對應得到點的名稱及類型；

基于所述算法塊的名稱及類型對應得到塊名稱及類型；

基于所述邏輯連線的起點及終點對應得到數據流的起點及終點；

得到點信息、塊信息和數據流信息。

進一步，所述點信息包括點標識、點類型和點名稱；

所述塊信息包括塊標簽、塊類型和塊名稱；

所述數據流信息包括數據流標簽、數據流起點和數據流終點。

進一步，所述驗證功能圖信息表和算法組態圖信息表中的所述點、塊和數據流是否對應一致，具體包括如下步驟：

分別從功能圖信息表和算法組態圖信息表中獲得相同點標識對應的點名稱和點類型，驗證所述點名稱和點類型是否對應一致；

分別從功能圖信息表和算法組態圖信息表中獲得相同塊標簽對應的塊類型和塊名稱，驗證所述塊名稱和塊類型是否對應一致；

分別從功能圖信息表和算法組態圖信息表中獲得相同數據流標簽對應的數據流起點和數據流終點，驗證所述數據流起點和數據流終點是否對應一致。

進一步，保存驗證結果，生成記錄單并輸出；

若驗證正確，生成驗證記錄單并輸出；若驗證錯誤，生成異常問題記錄單并輸出。