论文部分内容阅读
专用短程通信(DSRC)是智能运输系统(ITS)领域内用于车路间高速无线通信的重要基础通信协议。规格描述语言(SDL)是由国际电信联盟(ITU-T)定义的,广泛应用于通信协议的开发和描述的形式化描述语言。文章以SDL为工具对DSRC协议进行了描述和实现,设计出两种有效的仿真模型,并利用Telelogic Tau SDLSuit工具完成DSRC系统仿真和验证,生成了经过验证的描述各种通信情景的MSC图。文章还简要介绍了DSRC协议的SDL实现以及仿真和验证的过程、结果和经验。
Dedicated Short Range Communication (DSRC) is an important basic communication protocol for high speed wireless communication between vehicles in the field of Intelligent Transportation Systems (ITS). Specification Description Language (SDL) is a formal description language defined by the International Telecommunication Union (ITU-T) and widely used in the development and description of communication protocols. This paper describes and implements the DSRC protocol using SDL as a tool, designs two effective simulation models and completes the DSRC system simulation and verification by using Telelogic Tau SDLSuit tools, and generates a verified MSC diagram describing various communication scenarios. The article also briefly introduces the SDL implementation of the DSRC protocol as well as the process, results, and experience of simulation and verification.