邢臺駿捷通自動化有限公司聯系人：高經理手機：18832915557 17631965777郵箱：957659566@qq.com地址：河北省邢臺市襄都區(qū)新華南路金凱利商貿城21幢302號
|
 |
|
PLC 邢臺plc結合了通信技術，計算機技術和自動控制技術，已被廣泛用于工業(yè)過程的自動化。傳統(tǒng)的驗證方法無法滿足復雜邢臺plc系統(tǒng)的某些要求。同樣，獲得了從內置邢臺plc模型到Promela語言的轉換，并設計了用于建模和檢查邢臺plc系統(tǒng)的工具PLC-Checker。使用PLC-Checker檢查經典的邢臺plc示例，可以找到一個反示例。盡管發(fā)生此邏輯錯誤的可能性很小，但可能會導致系統(tǒng)崩潰。關鍵字：模型檢查，邢臺plc建模，邢臺plc檢查器，正式方法1.簡介邢臺plc是一種自動控制設備，可以從傳感器，計算設備或其他邢臺plc邏輯輸入信號接收信息，并輸出經過處理的邏輯信號。使用可編程語言控制大規(guī)模集成電路的邢臺plc技術已在工業(yè)中得到廣泛應用。由于安全關鍵軟件可能會嚴重損害生命或財產，因此安全關鍵軟件的驗證已成為確保軟件質量所必需的步驟。
邢臺plc的當前驗證方法仍然受到仿真和測試的困擾。但是，它們不能涵蓋所有可能的情況，尤其是邢臺plc的設計模型是否滿足需求。對邢臺plc設計進行理論分析就變得很重要。
|
