邢臺駿捷通自動化有限公司聯(lián)系人：高經(jīng)理手機(jī)：18832915557 17631965777地址：河北省邢臺市襄都區(qū)新華南路金凱利商貿(mào)城21幢302號
|
 |
|
PLC觸摸屏 邢臺plc觸摸屏結(jié)合了自動控制技術(shù)，通信技術(shù)和計(jì)算機(jī)技術(shù)，已被廣泛用于工業(yè)過程的自動化。傳統(tǒng)的驗(yàn)證方法無法滿足復(fù)雜邢臺plc觸摸屏系統(tǒng)的某些要求。本文提出了一種有效的邢臺plc觸摸屏系統(tǒng)建模與驗(yàn)證方法。為了保證邢臺plc觸摸屏的高速性能，我們提出了“時(shí)間間隔模型”和“通知等待”技術(shù)。它可以減少狀態(tài)空間，并可以驗(yàn)證某些復(fù)雜的邢臺plc觸摸屏系統(tǒng)。同樣，獲得了從內(nèi)置邢臺plc觸摸屏模型到Promela語言的轉(zhuǎn)換，并設(shè)計(jì)了用于建模和檢查邢臺plc觸摸屏系統(tǒng)的工具PLC-Checker。使用PLC-Checker檢查經(jīng)典的邢臺plc觸摸屏示例，可以找到一個(gè)反示例。盡管發(fā)生此邏輯錯(cuò)誤的可能性很小，但可能會導(dǎo)致系統(tǒng)崩潰。邢臺plc觸摸屏是一種自動控制設(shè)備，可以從傳感器，計(jì)算設(shè)備或其他邢臺plc觸摸屏邏輯輸入信號接收信息，并輸出經(jīng)過處理的邏輯信號。使用可編程語言控制大規(guī)模集成電路的邢臺plc觸摸屏技術(shù)已在工業(yè)中得到廣泛應(yīng)用。
|
