基于SDL的DSRC协议设计

专用短程通信(DSRC)技术是专用于智能交通系统(ITS)领域的短距离无线通信技术,DSRC协议的设计是DSRC技术中的核心内容。该文设计了DSRC协议的三层体系结构,提出了使用SDL语言进行协议设计的方法。协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。

基于SDL语言的通信协议系统设计方法

SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL语言的基本概念,特别是SDL对通信协议工作机制和过程的形式化分析及表示,分析了对电话语音查询系统的协议流程和工作机制的应用,为通信协议的设计和仿真、测试提供了一种有效的方法。

MPLS路由协议的SDL设计与实现

简要介绍了现有的OSPF协议,并提出了含有流量参数特性的改进OSPF协议,使其成为MPLS路由协议一种较好的选择。针对MPLS主干网络的特点简化了改进的OSPF协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果。

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

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

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

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