专用短程通信的分层仿真方法的研究及其应用

DSRC协议是为ITS中短距离间通信的系统专门开发的通信协议。本文通过应用Telelogic工具的仿真器,对基于SDL描述的DSRC协议采用分层仿真的方法进行仿真,实践证明上述方法的应用对保证协议开发的正确性和完备性都起到了重要的作用。     

专用短程通信协议描述方法的研究及应用

DSRC协议是为ITS中短距离间通信的系统专门开发的通信协议。通过应用SDL语言对DSRC协议的描述和验证,提出了建立抽象化模型、环境模块化、循环开发等方法,并进行了MAC子层的概要性设计和MAC子层中的transmission模块的过程化设计,重点论述了如何将上述方法应用到实际开发工作中去。