[發(fā)明專利]程序驗證系統(tǒng)、控制裝置及程序驗證方法

在審

• 申請?zhí)枺?/td>: 201780050245.7
• 申請日: 2017-06-23
• 公開（公告）號: CN109643095A
• 公開（公告）日: 2019-04-16
• 發(fā)明（設(shè)計）人: 鈴木孝幸;吉藤拓土
• 申請（專利權(quán)）人: 三菱電機株式會社
• 主分類號: G05B19/05
• 分類號: G05B19/05
• 代理公司: 北京天昊聯(lián)合知識產(chǎn)權(quán)代理有限公司 11112
• 代理人: 何立波;張?zhí)焓?/td>

在程序驗證系統(tǒng)(10)中，具有：PLC(15)，其使用用于對裝置(14)進行控制的控制程序計算與控制輸入數(shù)據(jù)對應(yīng)的控制輸出數(shù)據(jù)，向輸入輸出裝置(16)輸出；以及比對部(13)，其通過將測試樣板所包含的測試輸出數(shù)據(jù)和由PLC(15)計算出的控制輸出數(shù)據(jù)進行比對，從而進行控制程序的動作驗證，該測試樣板是滿足裝置的動作規(guī)格的測試輸入數(shù)據(jù)與測試輸出數(shù)據(jù)的組合且示出隨時間的變化，PLC(15)具有控制部(18)，在進行控制程序的動作驗證時，如果在控制程序中存在對控制輸入數(shù)據(jù)進行參照的命令，則該控制部(18)生成PLC(15)內(nèi)的第1時間信息，并且從測試樣板內(nèi)提取與第1時間信息對應(yīng)的測試輸入數(shù)據(jù)，使用提取出的測試輸入數(shù)據(jù)及控制程序計算輸出數(shù)據(jù)。

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

本發(fā)明涉及對裝置的控制所用的控制程序進行驗證的程序驗證系統(tǒng)、控制裝置及程序驗證方法。

背景技術(shù)

可編程邏輯控制器(PLC：Programmable Logic Controller)這樣的控制裝置保存有各種數(shù)據(jù)，使用所保存的數(shù)據(jù)，運行用于對裝置進行控制的控制程序。由此，PLC以特定的周期對安裝有PLC的裝置或設(shè)備進行控制。

上述控制程序是基于安裝有PLC的裝置的動作規(guī)格而設(shè)計的，使用裝置或設(shè)備這樣的實機進行動作驗證。專利文獻1中記載的動作驗證裝置從作為控制程序的機器人動作用程序中檢測出具有與作為PLC的定序器之間的控制信號的輸入或輸出的功能的程序部分。并且，專利文獻1中記載的動作驗證裝置通過將檢測出的程序部分逐次輸入至定序器，從而使定序器的內(nèi)部狀態(tài)變化，基于該變化進行定序器的動作驗證。

專利文獻1：日本特開平10－97307號公報

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

然而，在上述作為現(xiàn)有技術(shù)的專利文獻1中，在動作驗證時沒有考慮時間的信息，因此無法高精度地使裝置動作。因此，在上述作為現(xiàn)有技術(shù)的專利文獻1中存在無法進行控制程序的準(zhǔn)確的動作驗證這樣的問題。

本發(fā)明就是鑒于上述情況而提出的，其目的在于得到能夠進行控制程序的準(zhǔn)確的動作驗證的程序驗證系統(tǒng)。

為了解決上述課題而實現(xiàn)目的，本發(fā)明為程序驗證系統(tǒng)，其具有：控制裝置，其被輸入來自進行數(shù)據(jù)的輸入輸出的輸入輸出裝置的控制輸入數(shù)據(jù)，并且使用用于對裝置進行控制的控制程序計算與控制輸入數(shù)據(jù)對應(yīng)的控制輸出數(shù)據(jù)，向輸入輸出裝置輸出；以及比對部，其通過將測試樣板所包含的測試輸出數(shù)據(jù)和由控制裝置計算出的控制輸出數(shù)據(jù)進行比對，從而進行控制程序的動作驗證，該測試樣板是滿足裝置的動作規(guī)格的測試輸入數(shù)據(jù)與測試輸出數(shù)據(jù)的組合且示出隨時間的變化。另外，在本發(fā)明的程序驗證系統(tǒng)中，控制裝置具有：存儲部，其對測試樣板進行存儲；以及控制部，在進行控制程序的動作驗證時，如果在控制程序中存在對控制輸入數(shù)據(jù)進行參照的命令，則控制部取得控制裝置內(nèi)的時間的信息即第1時間信息，并且從測試樣板內(nèi)提取與第1時間信息對應(yīng)的測試輸入數(shù)據(jù)，使用提取出的測試輸入數(shù)據(jù)及控制程序計算控制輸出數(shù)據(jù)。

發(fā)明的效果

本發(fā)明涉及的程序驗證系統(tǒng)實現(xiàn)能夠進行控制程序的準(zhǔn)確的動作驗證這樣的效果。

附圖說明

圖1是表示本發(fā)明的實施方式涉及的程序驗證系統(tǒng)的結(jié)構(gòu)的圖。

圖2是表示實施方式涉及的PLC所具有的存儲部的結(jié)構(gòu)的圖。

圖3是表示實施方式涉及的裝置的動作規(guī)格例的圖。

圖4是表示實施方式涉及的測試樣板(test pattern)的一個例子的圖。

圖5是表示實施方式涉及的PLC的動作處理步驟的流程圖。

圖6是用于對使用了實機的動作驗證與實施方式涉及的動作驗證的不同點進行說明的圖。

圖7是表示實施方式涉及的PLC所具有的控制部的硬件結(jié)構(gòu)例的圖。