^{<tr id="piwfe"><style id="piwfe"></style></tr>}

列車運(yùn)行控制系統(tǒng)中安全通信協(xié)議的形式化分析

文檔作者：陳黎潔單振宇唐濤文檔來源：北京交通大學(xué)軌道交通控制與安全國家重點(diǎn)實(shí)驗(yàn)室		點(diǎn) 擊數(shù)：	更新時(shí)間： 2015年04月21日
下載地址：點(diǎn)擊這里	文件大?。?883.33 KB	文檔格式：	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

全屏查看

內(nèi)容預(yù)覽

如需編輯使用，請下載。

注：預(yù)覽效果可能會出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問題，下載是正常的。

文件大?。?83.33 KB 文件格式：
下載點(diǎn)數(shù)：1 點(diǎn)（VIP會員免費(fèi)）

安全通信協(xié)議是保證基于通信的列車運(yùn)行控制系統(tǒng)中通信安全的主要因素，其性質(zhì)和最終實(shí)現(xiàn)正確的形式化驗(yàn)證具有重要意義。本文將歐洲列車運(yùn)行控制系統(tǒng)安全通信協(xié)議規(guī)范中的一些未強(qiáng)制規(guī)定的要求明確化，選擇分層賦時(shí)有色Ｐｅｔｒｉ網(wǎng)（ＣＰＮ）對修改后的安全通信協(xié)議進(jìn)行研究，綜合安全層、信道與應(yīng)用層模型提出無線通信系統(tǒng)模型的分層結(jié)構(gòu)，通過改變信道與應(yīng)用層模型的參數(shù)，分析修改的安全通信協(xié)議中安全連接建立的時(shí)間特性。分析結(jié)果表明：信道丟包率為０．１、０．０５、０．０１的情況下，修改的安全通信協(xié)議安全連接建立時(shí)間特性是符合規(guī)范要求的。