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

基本信息

申請?zhí)?/td> CN201410077878.5 申請日 -
公開（公告）號 CN103885864B 公開（公告）日 2016-10-05
申請公布號 CN103885864B 申請公布日 2016-10-05
分類號 G06F11/22(2006.01)I 分類 計算；推算；計數(shù);
發(fā)明人 陳志;曾雅蕓;岳文靜 申請（專利權(quán)）人 江蘇南郵物聯(lián)網(wǎng)科技園有限公司
代理機(jī)構(gòu) 南京經(jīng)緯專利商標(biāo)代理有限公司 代理人 南京郵電大學(xué)
地址 210023 江蘇省南京市亞東新城區(qū)文苑路9號
法律狀態(tài) -

摘要

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