专用短程通信MAC层协议研究及仿真实现

摘要：

专用短程通信DSRC协议是国际通用的用于道路与车辆通信的规范.Telelogic Tau是一套完整的实时软件开发工具,广泛应用于通信协议设计、仿真和测试环节.该文简要介绍DSRC协议结构和协议开发工具,论述MAC子层协议主要内容如基本功能、数据帧结构、主要接口等.文章研究形式化描述技术,重点论述在Telelogic Tau的开发平台下,用形式化语言SDL和MSC对MAC层协议进行系统、模块、进程级设计和仿真,设计阶段采用自顶向下、逐步求精的方法,仿真阶段采用自下而上、逐步集成的方法,通过仿真保证协议规范完整性和可靠性.

关键词：专用短程通信、协议、规范与开发语言、仿真

所属期刊栏目：21

分类号：TP393(计算技术、计算机技术)

资助基金：国家科技攻关项目2002BA404A23A

在线出版日期：2004-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：138-143