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

Analysis of DSRC Standards and Research on its Key Aspects

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

Dedicated Short-Range Communications (DSRC) protocol is used specially for Vechile-Road communication. Telelogic Tau is a powerful development tool for real-time system, and is widely used in protocol design, simulation and verification processes. This paper introduces the DSRC protocol architecture and development tools, and describes the main contents of DSRC MAC protocol such as its basic function, data frame and interface service. Making use of formal description technique, this paper introduces a method for modeling DSRC MAC protocol in Telelogic Tau. At first the system level architecture is modeled, then block level, then process level. This method means from top to bottom and more detailed step by step. Then the simulating process makes another way: process first and the whole system last, which improves the protocol description and its reliability. Finally, a presentation of protocol simulating result concludes this paper.