作　　者： ; ; (钟慧玲）;

机构地区： 华南理工大学土木与交通学院

出　　处： 《华南理工大学学报(自然科学版)》 2005年第3期

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

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

分 类 号： [TP393.04]

领　　域： [自动化与计算机技术] [自动化与计算机技术]