ITS专用短程通信的协议验证

华南理工大学学报（自然科学版） ›› 2005, Vol. 33 ›› Issue (3): 63-68.

ITS专用短程通信的协议验证

屠宇徐建闽钟慧玲

华南理工大学交通学院，广东广州 510640

收稿日期:2004-02-23 出版日期:2005-03-25 发布日期:2005-03-25
通信作者: 屠宇(1974-)，男，讲师，博士，现任职于广东工业大学建设学院，主要从事智能控制研究 E-mail:tuyu@ edu.21 cn.com
作者简介:屠宇(1974-)，男，讲师，博士，现任职于广东工业大学建设学院，主要从事智能控制研究
基金资助:
“十五”国家科技攻关项目(2002BA404A23A)

Protocol Verification of ITS Dedicated Short-Range Comm unication

Tu Yu Xu Jian-min Zhong Hui-ling

College of Traffic and Communications,South China Uni.of Tech.,Guangzhou 510640,Guangdong,China

Received:2004-02-23 Online:2005-03-25 Published:2005-03-25
Contact: Tu Yu (born in 1974)，male，lecturer，Ph．D．，now works at Faculty of Construction，Guangdong Uni—versity of Technology，mainly researches on intelligent con—tro1 E-mail:tuyu@ edu.21 cn.com
About author:Tu Yu (born in 1974)，male，lecturer，Ph．D．，now works at Faculty of Construction，Guangdong Uni—versity of Technology，mainly researches on intelligent con—tro1
Supported by:
Suppo rted by “the Tenth 5-Year” of Na-tional Key Technologies R&D Program(2002BA404A23A)

摘要/Abstract

摘要： 针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点，采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化，并采用SDL对DSRC协议进行形式化描述，在此基础上提出了DSRC协议验证的步骤和实现方法，并对所开发的协议SDL模型进行验证，结果表明了协议的逻辑正确性．

关键词: 智能交通系统, 专用短程通信, 协议验证

Abstract:

Aiming at the complexity of DSRC(Dedicated Short-Range Communication)protocol,the fuzziness and ambiguousness resulted from the natural langu age of the protocol.the protocol engineering method is adop-ted to guarantee the integrality,correctness,security,portability and standardization of the protocol, The SDL (Specification and Description Language)is chosen to get the formal description of the protocol,On this basis,the corresponding verification procedure and realization method are proposed, which are then used to validate the protocol SDL model.Th e results demonstrate that the proposed protocol is logically corect.

Key words: Intelligent Transpo rtation System, Dedicated Short-Range Communication, protocol verification

屠宇徐建闽钟慧玲. ITS专用短程通信的协议验证[J]. 华南理工大学学报（自然科学版）, 2005, 33(3): 63-68.

Tu Yu Xu Jian-min Zhong Hui-ling. Protocol Verification of ITS Dedicated Short-Range Comm unication[J]. Journal of South China University of Technology (Natural Science Edition), 2005, 33(3): 63-68.

[1]	卢凯林茂伟邓兴栋徐广辉徐建闽. 停车总成本最小的区域停车位动态分配与诱导模型[J]. 华南理工大学学报(自然科学版), 2018, 46(9): 82-91,98.
[2]	秦华标肖志勇. 基于位置信息的稳定分簇路由协议[J]. 华南理工大学学报（自然科学版）, 2010, 38(6): 1-6.
[3]	温惠英徐建闽邹亮 . 基于遗传算法的离散时间动态网络最短路径求解[J]. 华南理工大学学报（自然科学版）, 2008, 36(2): 13-16,28.
[4]	黄玲徐建闽. 基于浮动车技术的动态交通拥挤预测模型[J]. 华南理工大学学报（自然科学版）, 2008, 36(10): 47-50,56.
[5]	钟慧玲徐建闽彭选荣. 专用短程通信协议模型的求解与分析[J]. 华南理工大学学报（自然科学版）, 2005, 33(6): 18-22.
[6]	钟慧玲徐建闽彭选荣. 专用短程通信协议模型的建立[J]. 华南理工大学学报（自然科学版）, 2005, 33(4): 34-38.
[7]	屠宇徐建闽钟慧玲. ITS专用短程通信协议一致性测试系统的设计与实现[J]. 华南理工大学学报(自然科学版), 2004, 32(8): 9-12.
[8]	胡郁葱, 徐建闽, 吴一民, 等. 基于BP神经网络的车辆定位融合模型[J]. 华南理工大学学报(自然科学版), 2004, 32(2): 46-49.
[9]	胡郁葱曾悦徐建闽. 车辆定位系统中的信息融合方法[J]. 华南理工大学学报(自然科学版), 2004, 32(1): 75-79.