[發(fā)明專利]PLC程序開(kāi)發(fā)方法及裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 201710722570.5
• 申請(qǐng)日: 2017-08-22
• 公開(kāi)（公告）號(hào): CN107463147A
• 公開(kāi)（公告）日: 2017-12-12
• 發(fā)明（設(shè)計(jì)）人: 王達(dá)
• 申請(qǐng)（專利權(quán)）人: 北京天誠(chéng)同創(chuàng)電氣有限公司
• 主分類號(hào): G05B19/05
• 分類號(hào): G05B19/05
• 代理公司: 北京銘碩知識(shí)產(chǎn)權(quán)代理有限公司11286
• 代理人: 徐璐璐,曾世驍

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

本發(fā)明總體說(shuō)來(lái)涉及PLC技術(shù)領(lǐng)域，更具體地講，涉及一種PLC程序開(kāi)發(fā)方法及裝置。

背景技術(shù)

可編程邏輯控制器(PLC)是一類專門(mén)的工業(yè)計(jì)算裝置，其通過(guò)內(nèi)部存儲(chǔ)的用于執(zhí)行邏輯運(yùn)算、順序控制、定時(shí)、計(jì)數(shù)、算術(shù)運(yùn)算等操作的PLC程序來(lái)控制各種類型的機(jī)械設(shè)備或生產(chǎn)過(guò)程，廣泛應(yīng)用于生產(chǎn)制造、交通、電力等領(lǐng)域。

目前普遍采用的程序開(kāi)發(fā)模式是V模型。V模型最大的優(yōu)點(diǎn)是將程序測(cè)試融入了整個(gè)程序的開(kāi)發(fā)生命周期，可以改進(jìn)程序開(kāi)發(fā)的效率和有效性。如圖1所示，在V模型中，開(kāi)發(fā)階段分為四個(gè)步驟，分別是需求分析、規(guī)格說(shuō)明、概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)，對(duì)應(yīng)的測(cè)試步驟分別為驗(yàn)收測(cè)試、系統(tǒng)測(cè)試、集成測(cè)試和單元測(cè)試。

雖然V模型在PLC程序開(kāi)發(fā)上得到普遍應(yīng)用，但它存在以下缺點(diǎn)：必須要等到編碼結(jié)束后才能進(jìn)入測(cè)試階段，這導(dǎo)致在編碼之前的早期程序設(shè)計(jì)階段引入的錯(cuò)誤要到后面的測(cè)試階段才能被發(fā)現(xiàn)，很可能造成部分甚至全部PLC程序的重新編碼。這不僅浪費(fèi)了開(kāi)發(fā)人員的時(shí)間和精力，也增加了項(xiàng)目按期完成的壓力，更嚴(yán)重的情況是錯(cuò)誤的PLC程序在測(cè)試階段可能會(huì)造成設(shè)備或人員的傷害。

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

本發(fā)明的示例性實(shí)施例在于提供一種PLC程序開(kāi)發(fā)方法及裝置，其能夠解決現(xiàn)有技術(shù)存在的上述問(wèn)題。

根據(jù)本發(fā)明的示例性實(shí)施例，提供一種PLC程序開(kāi)發(fā)方法，其特征在于，包括：(A)獲取與需要實(shí)現(xiàn)的邏輯控制功能對(duì)應(yīng)的可執(zhí)行的數(shù)學(xué)模型，并對(duì)所述數(shù)學(xué)模型進(jìn)行仿真測(cè)試；(B)當(dāng)所述數(shù)學(xué)模型通過(guò)仿真測(cè)試時(shí)，基于所述數(shù)學(xué)模型生成PLC程序。

可選地，所述數(shù)學(xué)模型是Stateflow模型。

可選地，所述數(shù)學(xué)模型包括Stateflow主模型和一個(gè)或一個(gè)以上Stateflow子模型，其中，對(duì)所述數(shù)學(xué)模型進(jìn)行仿真測(cè)試的步驟包括：對(duì)所述Stateflow主模型進(jìn)行仿真測(cè)試；當(dāng)所述Stateflow主模型通過(guò)仿真測(cè)試時(shí)，對(duì)所述一個(gè)或一個(gè)以上Stateflow子模型進(jìn)行仿真測(cè)試。

可選地，所述數(shù)學(xué)模型包括Stateflow主模型和一個(gè)或一個(gè)以上Stateflow子模型，其中，步驟(A)包括：獲取與需要實(shí)現(xiàn)的邏輯控制功能對(duì)應(yīng)的一個(gè)或一個(gè)以上時(shí)態(tài)邏輯命題；基于獲取的時(shí)態(tài)邏輯命題生成Stateflow主模型，并對(duì)所述Stateflow主模型進(jìn)行仿真測(cè)試；當(dāng)所述Stateflow主模型通過(guò)仿真測(cè)試時(shí)，基于獲取的時(shí)態(tài)邏輯命題和所述Stateflow主模型生成一個(gè)或一個(gè)以上Stateflow子模型，并對(duì)所述一個(gè)或一個(gè)以上Stateflow子模型進(jìn)行仿真測(cè)試。

可選地，在步驟(B)中，基于所述Stateflow主模型生成PLC程序的主程序，并基于所述一個(gè)或一個(gè)以上Stateflow子模型生成PLC程序的一個(gè)或一個(gè)以上子程序。

可選地，所述方法還包括：對(duì)生成的PLC程序直接進(jìn)行系統(tǒng)測(cè)試。

根據(jù)本發(fā)明的另一示例性實(shí)施例，提供一種PLC程序開(kāi)發(fā)裝置，其特征在于，包括：數(shù)學(xué)模型獲取單元，獲取與需要實(shí)現(xiàn)的邏輯控制功能對(duì)應(yīng)的可執(zhí)行的數(shù)學(xué)模型，并對(duì)所述數(shù)學(xué)模型進(jìn)行仿真測(cè)試；PLC程序生成單元，當(dāng)所述數(shù)學(xué)模型通過(guò)仿真測(cè)試時(shí)，基于所述數(shù)學(xué)模型生成PLC程序。

可選地，所述數(shù)學(xué)模型是Stateflow模型。

可選地，所述數(shù)學(xué)模型包括Stateflow主模型和一個(gè)或一個(gè)以上Stateflow子模型，其中，數(shù)學(xué)模型獲取單元對(duì)所述Stateflow主模型進(jìn)行仿真測(cè)試；當(dāng)所述Stateflow主模型通過(guò)仿真測(cè)試時(shí)，數(shù)學(xué)模型獲取單元對(duì)所述一個(gè)或一個(gè)以上Stateflow子模型進(jìn)行仿真測(cè)試。

可選地，所述數(shù)學(xué)模型包括Stateflow主模型和一個(gè)或一個(gè)以上Stateflow子模型，其中，數(shù)學(xué)模型獲取單元包括：獲取單元，獲取與需要實(shí)現(xiàn)的邏輯控制功能對(duì)應(yīng)的一個(gè)或一個(gè)以上時(shí)態(tài)邏輯命題；主模型生成單元，基于獲取的時(shí)態(tài)邏輯命題生成Stateflow主模型，并對(duì)所述Stateflow主模型進(jìn)行仿真測(cè)試；子模型生成單元，當(dāng)所述Stateflow主模型通過(guò)仿真測(cè)試時(shí)，基于獲取的時(shí)態(tài)邏輯命題和所述Stateflow主模型生成一個(gè)或一個(gè)以上Stateflow子模型，并對(duì)所述一個(gè)或一個(gè)以上Stateflow子模型進(jìn)行仿真測(cè)試。

可選地，PLC程序生成單元基于所述Stateflow主模型生成PLC程序的主程序，并基于所述一個(gè)或一個(gè)以上Stateflow子模型生成PLC程序的一個(gè)或一個(gè)以上子程序。

可選地，所述裝置還包括：系統(tǒng)測(cè)試單元，對(duì)生成的PLC程序直接進(jìn)行系統(tǒng)測(cè)試。