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

有效

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

1.一種利用數據流同構驗證核電站控制系統算法組態圖的方法，其特征在于，包括以下步驟：

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

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

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

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

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

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

所述功能圖信息表的信息內容包括：設備編號、序號、CPU名稱、外部輸入變量、外部輸出變量、功能算法塊、子系統內部頁間跳轉輸入變量、子系統內部頁間跳轉輸出變量、參數變量、邏輯連線；

所述算法組態圖信息表的信息內容包括：外部輸入變量、外部輸出變量、內部輸入變量、內部輸出變量、算法塊名稱、參數變量、邏輯連線；

根據VV驗證庫規則驗證功能圖信息表和算法組態圖信息表中的所述點信息、塊信息和數據流信息是否分別對應一致；若一致，則正確；若不一致，則錯誤；所述VV驗證庫規則為驗證與確認規則，包括：根據算法塊相關信息的映射關系驗證功能圖信息表和算法組態圖信息表中的所述點信息、塊信息和數據流信息的一致性；所述驗證功能圖信息表和算法組態圖信息表中的所述點、塊和數據流是否對應一致，具體包括如下步驟：

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

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

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

2.根據權利要求1所述的方法，其特征在于，所述點信息包括點標識、點類型和點名稱；

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

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

3.根據權利要求1或2的方法，其特征在于，保存驗證結果，生成記錄單并輸出；

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