| 基于NuSMV的LD和ST語言形式化驗證研究與實現 | |
| 所屬分類：技術論文 | |
| 上傳者：aetmagazine | |
| 文檔大?。?span>778 K | |
| 標簽： 工控系統 編譯 形式化驗證 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：依據工控系統的特點，在分析現有工控系統編程標準IEC61131-3規定的工業語言基礎上，研究基于工業語言的形式化驗證方法，通過對ST和LD語言進行分析得到有限狀態機組態模型，實現對控制目標進行準確描述；通過NuSMV驗證有限狀態機模型，獲得形式化驗證的結果，從而實現對IEC61131-3編程語言實現的PLC邏輯代碼進行分析，建立形式化驗證模型，發現用戶編寫的PLC邏輯代碼可能存在的邏輯缺陷，并提供對這些缺陷分析驗證的報告。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2