邢臺駿捷通自動化有限公司聯(lián)系人：高經(jīng)理手機(jī)：18832915557 17631965777地址：河北省邢臺市襄都區(qū)新華南路金凱利商貿(mào)城21幢302號
|
 |
|
PLC 邢臺plc結(jié)合了通信技術(shù)，計(jì)算機(jī)技術(shù)和自動控制技術(shù)，已被廣泛用于工業(yè)過程的自動化。傳統(tǒng)的驗(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)崩潰。關(guān)鍵字：模型檢查，邢臺plc建模，邢臺plc檢查器，正式方法1.簡介邢臺plc是一種自動控制設(shè)備，可以從傳感器，計(jì)算設(shè)備或其他邢臺plc邏輯輸入信號接收信息，并輸出經(jīng)過處理的邏輯信號。使用可編程語言控制大規(guī)模集成電路的邢臺plc技術(shù)已在工業(yè)中得到廣泛應(yīng)用。由于安全關(guān)鍵軟件可能會嚴(yán)重?fù)p害生命或財(cái)產(chǎn)，因此安全關(guān)鍵軟件的驗(yàn)證已成為確保軟件質(zhì)量所必需的步驟。
邢臺plc的當(dāng)前驗(yàn)證方法仍然受到仿真和測試的困擾。但是，它們不能涵蓋所有可能的情況，尤其是邢臺plc的設(shè)計(jì)模型是否滿足需求。對邢臺plc設(shè)計(jì)進(jìn)行理論分析就變得很重要。
|
