技術(shù)編號(hào)：6539532
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。，首先通過(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)證的...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類技術(shù)沒(méi)有源代碼，用于學(xué)習(xí)研究技術(shù)思路。