[發(fā)明專利]一種基于制圖軟件的控制邏輯驗(yàn)證和調(diào)試方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201811575124.7
• 申請(qǐng)日: 2018-12-21
• 公開(kāi)（公告）號(hào): CN109635480B
• 公開(kāi)（公告）日: 2023-07-14
• 發(fā)明（設(shè)計(jì)）人: 張才科;劉培邦;周智;祁蔚;魯星言;曲鳴;劉純;尹繼超
• 申請(qǐng)（專利權(quán)）人: 核動(dòng)力運(yùn)行研究所;中核武漢核電運(yùn)行技術(shù)股份有限公司
• 主分類號(hào): G06F30/3308
• 分類號(hào): G06F30/3308
• 代理公司: 核工業(yè)專利中心 11007
• 代理人: 程然

本發(fā)明屬于核電站控制邏輯設(shè)計(jì)驗(yàn)證技術(shù)領(lǐng)域，具體涉及一種基于制圖軟件的控制邏輯驗(yàn)證和調(diào)試方法，目的是解決現(xiàn)有驗(yàn)證和調(diào)試方法涉及軟件接口較多，容易產(chǎn)生人因錯(cuò)誤，驗(yàn)證效率較低的問(wèn)題。其特征在于，它包括如下步驟：驗(yàn)證查錯(cuò)；驗(yàn)證調(diào)試。本發(fā)明所述方法具有配置靈活，可擴(kuò)展性強(qiáng)，維護(hù)方便的特點(diǎn)；本發(fā)明所述方法及系統(tǒng)可以提高核電廠控制邏輯設(shè)計(jì)驗(yàn)證的效率，縮短核電廠控制邏輯的調(diào)試周期；本發(fā)明所述方法可以進(jìn)行分系統(tǒng)驗(yàn)證調(diào)試和多個(gè)系統(tǒng)集成驗(yàn)證調(diào)試；本發(fā)明所述方法及系統(tǒng)可用于核電設(shè)計(jì)院工程師設(shè)計(jì)核電廠控制邏輯。

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

本發(fā)明屬于核電站控制邏輯設(shè)計(jì)驗(yàn)證技術(shù)領(lǐng)域，具體涉及一種基于制圖軟件的控制邏輯驗(yàn)證和調(diào)試方法。

背景技術(shù)

目前，各大核電設(shè)計(jì)院大都采用某制圖軟件進(jìn)行控制邏輯圖設(shè)計(jì)和圖紙繪制，驗(yàn)證和調(diào)試這些圖紙采用的普遍方法是把制圖軟件所繪圖紙導(dǎo)入到第三方軟件平臺(tái)或在第三方軟件平臺(tái)對(duì)這些圖紙進(jìn)行重新組態(tài)繪制，再進(jìn)行驗(yàn)證和調(diào)試。當(dāng)驗(yàn)證發(fā)現(xiàn)設(shè)計(jì)圖紙錯(cuò)誤后，需要修改設(shè)計(jì)圖紙后再導(dǎo)入到第三方軟件平臺(tái)或在第三方軟件平臺(tái)重新繪制圖紙，再進(jìn)行驗(yàn)證和調(diào)試，經(jīng)過(guò)多次迭代驗(yàn)證和調(diào)試后這些設(shè)計(jì)圖紙才能最終定版。這種驗(yàn)證和調(diào)試方法涉及軟件接口較多，容易產(chǎn)生人因錯(cuò)誤，驗(yàn)證效率較低。

本發(fā)明公開(kāi)一種基于制圖軟件的核電廠控制邏輯驗(yàn)證和調(diào)試方法，通過(guò)對(duì)制圖軟件二次開(kāi)發(fā)技術(shù)進(jìn)行研究，開(kāi)發(fā)控制邏輯算法塊軟件、制圖軟件設(shè)計(jì)圖形分析軟件、數(shù)據(jù)維護(hù)工具軟件、仿真運(yùn)行加載項(xiàng)軟件等，形成一套核電廠控制邏輯設(shè)計(jì)及調(diào)試系統(tǒng)。設(shè)計(jì)人員可以直接在該系統(tǒng)下設(shè)計(jì)、驗(yàn)證和調(diào)試控制邏輯，發(fā)現(xiàn)設(shè)計(jì)錯(cuò)誤后可以直接修改再驗(yàn)證，大大提高設(shè)計(jì)驗(yàn)證的效率，縮短核電廠控制邏輯的設(shè)計(jì)周期。

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

本發(fā)明的目的是解決現(xiàn)有驗(yàn)證和調(diào)試方法涉及軟件接口較多，容易產(chǎn)生人因錯(cuò)誤，驗(yàn)證效率較低的問(wèn)題，提供了一種基于制圖軟件的控制邏輯驗(yàn)證和調(diào)試方法。

本發(fā)明是這樣實(shí)現(xiàn)的：

一種基于制圖軟件的控制邏輯驗(yàn)證和調(diào)試方法，具體包括如下步驟：

步驟一：驗(yàn)證查錯(cuò)；

步驟二：驗(yàn)證調(diào)試。

如上所述的步驟一，包括如下步驟：

步驟1.1：使用制圖軟件獲取當(dāng)前的活動(dòng)文檔；

步驟1.2：獲取活動(dòng)文檔中的控制模塊；

步驟1.3：對(duì)于控制模塊進(jìn)行驗(yàn)證查錯(cuò)；

步驟1.4：如存在錯(cuò)誤，則在控制模塊中標(biāo)識(shí)錯(cuò)誤類型或輸出錯(cuò)誤日志，提示對(duì)上述控制模塊的錯(cuò)誤進(jìn)行修改，返回步驟1.3對(duì)該控制模塊重新驗(yàn)證差錯(cuò)；如不存在設(shè)計(jì)錯(cuò)誤則執(zhí)行步驟1.5；

步驟1.5：判斷該控制模塊是否為活動(dòng)文檔中的最后一個(gè)控制模塊，如果是，驗(yàn)證查錯(cuò)執(zhí)行流程完成，執(zhí)行步驟二；如果否，則返回步驟1.2，獲得下一個(gè)控制模塊。

如上所述的步驟1.1中，所述的制圖軟件是指VISIO或CAD軟件。

如上所述的步驟1.1中，所述的活動(dòng)文檔內(nèi)容是指有連接線及控制模塊的DCS儀控系統(tǒng)的控制邏輯圖。

如上所述的步驟1.2中，所述的控制模塊為DCS儀控系統(tǒng)的控制邏輯圖的模塊。

如上所述的步驟1.3中，所述的查錯(cuò)對(duì)象包括模塊重名、模塊之間的連接線錯(cuò)誤。

如上所述的連接線錯(cuò)誤的圖形分析流程，可以分析的連接線錯(cuò)誤類型包括：

(1)連接線有中斷，至少有一端未連接；

(2)連接線方向錯(cuò)誤，未從輸出變量接入到輸入變量；

(3)連接線兩端變量類型不同。

如上所述的步驟二，包括如下步驟：