| 第一章 绪论 | 第1-11页 |
| 1．1 论文背景和意义 | 第7页 |
| 1．2 技术背景 | 第7-10页 |
| 1．2．1 各国标准进程 | 第8-9页 |
| 1．2．2 我国DSRC标准化进展 | 第9-10页 |
| 1．3 论文内容和结构 | 第10-11页 |
| 第二章 DSRC通信协议介绍及与OSI参考模型比较 | 第11-26页 |
| 2．1 DSRC协议概述 | 第11-21页 |
| 2．1．1 DSRC主要应用 | 第12-13页 |
| 2．1．2 DSRC三层协议内容介绍 | 第13-21页 |
| 2．2 OSI参考模型与DSRC协议比较 | 第21-25页 |
| 2．2．1 OSI参考模型 | 第21-22页 |
| 2．2．2 OSI参考模型和DSRC的相似性 | 第22-23页 |
| 2．2．3 OSI参考模型和DSRC的差别 | 第23-25页 |
| 2．3 本章小结 | 第25-26页 |
| 第三章 DSRC协议的形式化描述 | 第26-41页 |
| 3．1 开发工具 | 第26页 |
| 3．2 Telelogic Tau | 第26-28页 |
| 3．3 SDL语言 | 第28-32页 |
| 3．3．1 SDL原理 | 第28-29页 |
| 3．3．2 SDL系统结构 | 第29-30页 |
| 3．3．3 SDL数据处理能力 | 第30-31页 |
| 3．3．4 MSC | 第31-32页 |
| 3．4 DSRC协议的SDL描述 | 第32-40页 |
| 3．4．1 系统级描述 | 第33-34页 |
| 3．4．2 模块级描述 | 第34-36页 |
| 3．4．3 进程级描述 | 第36-40页 |
| 3．5 本章小结 | 第40-41页 |
| 第四章 DSRC协议的仿真验证 | 第41-50页 |
| 4．1 协议仿真验证概述 | 第41-42页 |
| 4．2 DSRC系统的仿真 | 第42-46页 |
| 4．3 DSRC系统的验证 | 第46-48页 |
| 4．4 发现的问题 | 第48页 |
| 4．5 本章小结 | 第48-50页 |
| 第五章 结束语 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 附录1 名词解释与缩略语 | 第53-54页 |
| 致谢 | 第54页 |