專用短程通信協(xié)議開發(fā)及其仿真驗(yàn)證研究.pdf

1、隨著智能交通系統(tǒng)(ITS)建設(shè)在全球范圍內(nèi)的蓬勃發(fā)展,專為解決車路短距離無線通信的ITS關(guān)鍵技術(shù)——DSRC技術(shù)也應(yīng)運(yùn)而生.從項(xiàng)目開發(fā)的角度,該論文基本反映了參與"專用短程通信(DSRC)設(shè)備開發(fā)"項(xiàng)目以來完成的主要工作:1)確定方案:提出項(xiàng)目研究思路,要解決的關(guān)鍵問題及解決途徑,確定DSRC協(xié)議軟件功能模塊及結(jié)構(gòu)設(shè)計(jì)方案,提出協(xié)議軟件仿真、驗(yàn)證及測試方案.2)協(xié)議制定:該論文比較研究了現(xiàn)有各國DSRC協(xié)議標(biāo)準(zhǔn),分析中國車路通信發(fā)展需求

2、,提出了中國DSRC設(shè)備需具備的主要特性,詳細(xì)論述了該課題組制定的DSRC協(xié)議主要內(nèi)容,包括協(xié)議結(jié)構(gòu),各層主要功能特性,上下層聯(lián)系接口,主要通信流程等.3)協(xié)議描述:研究形式化描述技術(shù),在Telelogic Tau的SDL Editor編輯環(huán)境下,用形式化語言SDL和MSC對(duì)DSRC協(xié)議進(jìn)行形式化描述,論述協(xié)議系統(tǒng)級(jí)設(shè)計(jì)和MAC層系統(tǒng)、模塊、進(jìn)程級(jí)設(shè)計(jì).4)協(xié)議驗(yàn)證:以前期SDL描述為基礎(chǔ),通過在Telelogic Tau仿真驗(yàn)證環(huán)境下