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