[發(fā)明專利]一種基于邏輯組態(tài)產(chǎn)生的Local變量在線監(jiān)控方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201810836408.0
• 申請(qǐng)日: 2018-07-26
• 公開（公告）號(hào): CN109062152B
• 公開（公告）日: 2021-04-13
• 發(fā)明（設(shè)計(jì)）人: 韓文興;黃俊;胡德全;余波;彭浩;鄭建華;李曉龍;王明星;王遠(yuǎn)兵;吳志強(qiáng);劉宏春;周繼翔;馬權(quán);肖鵬;劉明星
• 申請(qǐng)（專利權(quán)）人: 中核控制系統(tǒng)工程有限公司
• 主分類號(hào): G05B19/418
• 分類號(hào): G05B19/418
• 代理公司: 成都行之專利代理事務(wù)所(普通合伙) 51220
• 代理人: 唐邦英

本發(fā)明公開了一種基于邏輯組態(tài)產(chǎn)生的Local變量在線監(jiān)控方法，所述方法包括：首先，利用邏輯組態(tài)軟件的編譯方式生成邏輯代碼；在生成的代碼中，基于邏輯組態(tài)軟件的自帶安全性準(zhǔn)則，將邏輯切換為每一步運(yùn)算均獨(dú)立的單元；然后，在下位機(jī)的存儲(chǔ)區(qū)中，當(dāng)每一步的輸入和輸出分配數(shù)據(jù)存儲(chǔ)區(qū)時(shí)，同時(shí)分配一個(gè)同樣大小和類型的備份區(qū)域；然后，在邏輯的每一個(gè)接口處監(jiān)測(cè)邏輯運(yùn)行的結(jié)果，在每一個(gè)輸入的地方，對(duì)邏輯進(jìn)行強(qiáng)制，實(shí)現(xiàn)了對(duì)邏輯組態(tài)軟件生成的邏輯程序的監(jiān)控和強(qiáng)制的技術(shù)效果。

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

本發(fā)明涉及核電站安全級(jí)DCS領(lǐng)域，具體地，涉及一種基于邏輯組態(tài)產(chǎn)生的Local變量在線監(jiān)控方法。

背景技術(shù)

核電廠使用的邏輯組態(tài)軟件是高安全性的軟件，該軟件為開發(fā)人員提供完整的基于模型的嵌入式開發(fā)解決方案，以此來降低開發(fā)成本、減少開發(fā)風(fēng)險(xiǎn)和縮短驗(yàn)證時(shí)間。

為了驗(yàn)證通過組態(tài)軟件完成的邏輯在具體的環(huán)境中運(yùn)行的正確性以及對(duì)運(yùn)行中出現(xiàn)的異常情況進(jìn)行監(jiān)控和定位，需要讓邏輯的每一步執(zhí)行都是可見的，只有在可見的前提下才能對(duì)運(yùn)行過程進(jìn)行分析和處理。為了讓每一步可見，就要對(duì)邏輯產(chǎn)生的所有變量，包括外部的輸入、輸出以及產(chǎn)生的本地變量，即Local變量進(jìn)行監(jiān)測(cè)和強(qiáng)制，特別是Local變量，對(duì)于外部而言，是不可見的。因此，監(jiān)控Local變量是監(jiān)控整個(gè)算法邏輯的關(guān)鍵環(huán)節(jié)。

邏輯組態(tài)一般是在工程師站中完成，生成的結(jié)果一般運(yùn)行在處理單元中，比如現(xiàn)場(chǎng)控制站、網(wǎng)關(guān)站、TU等。通過通信模塊將運(yùn)行的實(shí)時(shí)數(shù)據(jù)上傳到工程師站。工程師站將數(shù)據(jù)以圖形、表格等方式進(jìn)行展示。同時(shí)，工程師站對(duì)指定變量強(qiáng)制賦值，并將操作相關(guān)信息下發(fā)到邏輯運(yùn)行環(huán)境中。作用于邏輯的每一個(gè)運(yùn)行步進(jìn)上。再通過上述循環(huán)進(jìn)行監(jiān)控。從而實(shí)現(xiàn)對(duì)整個(gè)邏輯運(yùn)行的控制。

在進(jìn)行邏輯組態(tài)的過程中以及組態(tài)完成后生成代碼的過程中，操作者均只具有查看和編輯外部變量的權(quán)限，所以不能實(shí)現(xiàn)對(duì)其產(chǎn)生的過程變量的監(jiān)控；同時(shí)，在邏輯運(yùn)行過程中，原有的輸入變量是從真實(shí)環(huán)境中采集的真實(shí)值，沒有提供控制該值的入口，所以也實(shí)現(xiàn)不了對(duì)變量的強(qiáng)制；其次，邏輯組態(tài)軟件本身是一個(gè)高安全性的軟件，產(chǎn)生的代碼也是經(jīng)過驗(yàn)證的高安全代碼，所以在實(shí)現(xiàn)監(jiān)控功能的過程中不允許對(duì)產(chǎn)生代碼的邏輯作任何的變化。

綜上所述，本申請(qǐng)發(fā)明人在實(shí)現(xiàn)本申請(qǐng)發(fā)明技術(shù)方案的過程中，發(fā)現(xiàn)上述技術(shù)至少存在如下技術(shù)問題：

在現(xiàn)有技術(shù)中，在進(jìn)行邏輯組態(tài)的過程中，存在不能對(duì)過程變量進(jìn)行監(jiān)控，不能對(duì)變量進(jìn)行強(qiáng)制的技術(shù)問題。

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

本發(fā)明提供了一種基于邏輯組態(tài)產(chǎn)生的Local變量在線監(jiān)控方法，解決了在進(jìn)行邏輯組態(tài)的過程中，存在不能對(duì)過程變量進(jìn)行監(jiān)控，不能對(duì)變量進(jìn)行強(qiáng)制的技術(shù)問題，實(shí)現(xiàn)了對(duì)邏輯組態(tài)軟件生成的邏輯程序的監(jiān)控和強(qiáng)制的技術(shù)效果。

本發(fā)明采用基于同一原則自動(dòng)生成代碼，只要生成代碼的原則是經(jīng)過驗(yàn)證的，則每個(gè)執(zhí)行周期生成的代碼就是確定的，可靠的。基于此原則，使用計(jì)算機(jī)后臺(tái)改寫邏輯組態(tài)軟件生成的賦值代碼的方法生成對(duì)邏輯監(jiān)控的代碼。這一方法一方面可以實(shí)現(xiàn)對(duì)整個(gè)邏輯運(yùn)行的每一個(gè)步進(jìn)的監(jiān)控；另一方面屏蔽了操作人員的在處理邏輯過程中主觀因素的介入，實(shí)現(xiàn)了對(duì)邏輯組態(tài)軟件生成的邏輯程序的任何環(huán)節(jié)的監(jiān)控功能。

為解決上述技術(shù)問題，本申請(qǐng)?zhí)峁┝艘环N基于邏輯組態(tài)產(chǎn)生的Local變量在線監(jiān)控方法，所述方法包括：

首先，利用邏輯組態(tài)軟件的編譯方式生成邏輯代碼；在生成的代碼中，基于邏輯組態(tài)軟件的自帶安全性準(zhǔn)則，將邏輯切換為每一步運(yùn)算均獨(dú)立的單元；

然后，在下位機(jī)的存儲(chǔ)區(qū)中，當(dāng)每一步的輸入和輸出分配數(shù)據(jù)存儲(chǔ)區(qū)時(shí)，同時(shí)分配一個(gè)同樣大小和類型的備份區(qū)域；

然后，在邏輯的每一個(gè)接口處監(jiān)測(cè)邏輯運(yùn)行的結(jié)果，在每一個(gè)輸入的地方，對(duì)邏輯進(jìn)行強(qiáng)制。

進(jìn)一步的，所述將邏輯切換為每一步運(yùn)算均獨(dú)立的單元具體為：每一步邏輯都有可用的、完整的輸入和輸出。