一種基于控制器局域網的信息物理系統的驗證方法,首先通過建立基于控制器局域網的信息物理系統的驗證模型,然后將待驗證性質以時序邏輯公式的形式進行規范表示,進而對基于控制器局域網的信息物理系統進行驗證。對基于控制器局域網的信息物理系統進行形式化驗證和分析時,采用經典模型檢驗技術對運行于理想環境下的系統進行功能上的正確性驗證,同時采用統計模型檢驗技術對運行于復雜環境中的系統在不同系統規模、不同報文發送/接收失敗概率、不同節點失效概率參數下的性能進行分析。本發明能夠有效解決基于控制器局域網的信息物理系統驗證的規模和實時性問題,有助于在設計和實現基于控制器局域網的信息物理系統過程中增強系統的可靠性。
聲明:
“基于控制器局域網的信息物理系統的驗證方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)