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