原文传递
专用短程通信协议开发及其仿真验证研究
| 论文题名： | 专用短程通信协议开发及其仿真验证研究 |
| 关键词： | SDL;协议验证;智能交通系统;短程通信协议;协议规则 |
| 摘要： | 随着智能交通系统(ITS)建设在全球范围内的蓬勃发展,专为解决车路短距离无线通信的ITS关键技术——DSRC技术也应运而生.从项目开发的角度,该论文基本反映了参与"专用短程通信(DSRC)设备开发"项目以来完成的主要工作:1)确定方案:提出项目研究思路,要解决的关键问题及解决途径,确定DSRC协议软件功能模块及结构设计方案,提出协议软件仿真、验证及测试方案.2)协议制定:该论文比较研究了现有各国DSRC协议标准,分析中国车路通信发展需求,提出了中国DSRC设备需具备的主要特性,详细论述了该课题组制定的DSRC协议主要内容,包括协议结构,各层主要功能特性,上下层联系接口,主要通信流程等.3)协议描述:研究形式化描述技术,在Telelogic Tau的SDL Editor编辑环境下,用形式化语言SDL和MSC对DSRC协议进行形式化描述,论述协议系统级设计和MAC层系统、模块、进程级设计.4)协议验证:以前期SDL描述为基础,通过在Telelogic Tau仿真验证环境下运行,验证并修改MAC层协议设计,确保协议规范完整性和逻辑可靠性. |
| 作者： | 彭选荣 |
| 专业： | 控制理论与控制工程 |
| 导师： | 徐建闽 |
| 授予学位： | 硕士 |
| 授予学位单位： | 华南理工大学 |
| 学位年度： | 2003 |
| 正文语种： | 中文 |
检索历史
应用推荐
