基于控制器局域網(wǎng)的信息物理系統的驗證方法

一種基于控制器局域網(wǎng)的信息物理系統的驗證方法，首先通過(guò)建立基于控制器局域網(wǎng)的信息物理系統的驗證模型，然后將待驗證性質(zhì)以時(shí)序邏輯公式的形式進(jìn)行規范表示，進(jìn)而對基于控制器局域網(wǎng)的信息物理系統進(jìn)行驗證。對基于控制器局域網(wǎng)的信息物理系統進(jìn)行形式化驗證和分析時(shí)，采用經(jīng)典模型檢驗技術(shù)對運行于理想環(huán)境下的系統進(jìn)行功能上的正確性驗證，同時(shí)采用統計模型檢驗技術(shù)對運行于復雜環(huán)境中的系統在不同系統規模、不同報文發(fā)送/接收失敗概率、不同節點(diǎn)失效概率參數下的性能進(jìn)行分析。本發(fā)明能夠有效解決基于控制器局域網(wǎng)的信息物理系統驗證的規模和實(shí)時(shí)性問(wèn)題，有助于在設計和實(shí)現基于控制器局域網(wǎng)的信息物理系統過(guò)程中增強系統的可靠性。