[發明專利]一種基于制圖軟件的控制邏輯驗證和調試方法

有效

• 申請號: 201811575124.7
• 申請日: 2018-12-21
• 公開（公告）號: CN109635480B
• 公開（公告）日: 2023-07-14
• 發明（設計）人: 張才科;劉培邦;周智;祁蔚;魯星言;曲鳴;劉純;尹繼超
• 申請（專利權）人: 核動力運行研究所;中核武漢核電運行技術股份有限公司
• 主分類號: G06F30/3308
• 分類號: G06F30/3308
• 代理公司: 核工業專利中心 11007
• 代理人: 程然

1.一種基于制圖軟件的控制邏輯驗證和調試方法，具體包括如下步驟：

步驟一：驗證查錯，包括如下步驟：

步驟1.1：使用制圖軟件獲取當前的活動文檔，所述的活動文檔內容是指有連接線及控制模塊的DCS儀控系統的控制邏輯圖；

步驟1.2：獲取活動文檔中的控制模塊，所述的控制模塊為DCS儀控系統的控制邏輯圖的模塊；

步驟1.3：對于控制模塊進行驗證查錯；

步驟1.4：如存在錯誤，則在控制模塊中標識錯誤類型或輸出錯誤日志，提示對上述控制模塊的錯誤進行修改，返回步驟1.3對該控制模塊重新驗證差錯；如不存在設計錯誤則執行步驟1.5；

步驟1.5：判斷該控制模塊是否為活動文檔中的最后一個控制模塊，如果是，驗證查錯執行流程完成，執行步驟二；如果否，則返回步驟1.2，獲得下一個控制模塊；

步驟二：驗證調試，包括如下步驟：

步驟2.1：遍歷制圖軟件當前所有打開的文檔的控制模塊；

步驟2.2：設定控制模塊的計算周期0.2s；

步驟2.3：全部控制模塊等待計算周期0.2s時間到后，執行步驟2.4；

步驟2.4：運行制圖軟件中的一個文檔對象；

步驟2.5：獲得該文檔對象中的一個控制模塊；

步驟2.6：對該控制模塊進行運行調試運行，如果有邏輯錯誤，則在控制模塊中標識錯誤類型或輸出錯誤日志，提示對上述錯誤進行修改，返回步驟2.5；如果沒有邏輯錯誤，則執行步驟2.7；

步驟2.7：判斷當前文檔是否為最后一個文檔，如果否，則返回步驟2.4；如果是，驗證調試流程結束。

2.根據權利要求1所述的基于制圖軟件的控制邏輯驗證和調試方法，其特征在于：所述的步驟1.1中，所述的制圖軟件是指VISIO或CAD軟件。

3.根據權利要求1所述的基于制圖軟件的控制邏輯驗證和調試方法，其特征在于：所述的步驟1.3中，所述的查錯對象包括模塊重名、模塊之間的連接線錯誤。

4.根據權利要求3所述的基于制圖軟件的控制邏輯驗證和調試方法，其特征在于：所述的連接線錯誤的圖形分析流程，可以分析的連接線錯誤類型包括：

（1）連接線有中斷，至少有一端未連接；

（2）連接線方向錯誤，未從輸出變量接入到輸入變量；

（3）連接線兩端變量類型不同。