一種基于控制器局域網(wǎng)的信息物理系統(tǒng)的驗(yàn)證方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN201410077878.5 | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN103885864B | 公開(kāi)（公告）日 | 2016-10-05 |
| 申請(qǐng)公布號(hào) | CN103885864B | 申請(qǐng)公布日 | 2016-10-05 |
| 分類(lèi)號(hào) | G06F11/22(2006.01)I | 分類(lèi) | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 陳志;曾雅蕓;岳文靜 | 申請(qǐng)（專(zhuān)利權(quán)）人 | 江蘇南郵物聯(lián)網(wǎng)科技園有限公司 |
| 代理機(jī)構(gòu) | 南京經(jīng)緯專(zhuān)利商標(biāo)代理有限公司 | 代理人 | 南京郵電大學(xué) |
| 地址 | 210023 江蘇省南京市亞?wèn)|新城區(qū)文苑路9號(hào) | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 一種基于控制器局域網(wǎng)的信息物理系統(tǒng)的驗(yàn)證方法，首先通過(guò)建立基于控制器局域網(wǎng)的信息物理系統(tǒng)的驗(yàn)證模型，然后將待驗(yàn)證性質(zhì)以時(shí)序邏輯公式的形式進(jìn)行規(guī)范表示，進(jìn)而對(duì)基于控制器局域網(wǎng)的信息物理系統(tǒng)進(jìn)行驗(yàn)證。對(duì)基于控制器局域網(wǎng)的信息物理系統(tǒng)進(jìn)行形式化驗(yàn)證和分析時(shí)，采用經(jīng)典模型檢驗(yàn)技術(shù)對(duì)運(yùn)行于理想環(huán)境下的系統(tǒng)進(jìn)行功能上的正確性驗(yàn)證，同時(shí)采用統(tǒng)計(jì)模型檢驗(yàn)技術(shù)對(duì)運(yùn)行于復(fù)雜環(huán)境中的系統(tǒng)在不同系統(tǒng)規(guī)模、不同報(bào)文發(fā)送/接收失敗概率、不同節(jié)點(diǎn)失效概率參數(shù)下的性能進(jìn)行分析。本發(fā)明能夠有效解決基于控制器局域網(wǎng)的信息物理系統(tǒng)驗(yàn)證的規(guī)模和實(shí)時(shí)性問(wèn)題，有助于在設(shè)計(jì)和實(shí)現(xiàn)基于控制器局域網(wǎng)的信息物理系統(tǒng)過(guò)程中增強(qiáng)系統(tǒng)的可靠性。 |
