原文传递
基于GSM电路交换的数据传输系统协议栈的设计、验证和实现
| 论文题名： | 基于GSM电路交换的数据传输系统协议栈的设计、验证和实现 |
| 关键词： | GSM-R协议设计;协议验证;数据传输 |
| 摘要： | GSM-R作为铁路综合通信平台,能够在列车高速移动时提供可靠的信息传输能力,在该论文中,将详细设计并实现一种基于GSM电路交换技术的数据采集传输应用系统——JTS908数据传输系统.JTS908数传系统需要一个可靠稳定并且有效的协议栈软件支持.由于GSM-R系统在国内还是处于试验阶段,基于GSM-R的数据采集传输系统其协议栈软件没有成熟的产品可以利用,需要根据这个系统的功能需求从无到有进行开发.该文将按照协议工程的方法,实施一个专用于铁路数据传输的协议栈工程.论文将就协议工程的三个重要阶段即协议设计和形式化描述、协议验证、协议实现做出论述.首先在文章的第二章分析协议规范设计需要考虑的主要问题;第三章给出协议栈设计的结果;第四章首先给出协议栈系统的形式化描述,之后利用形式化方法对所设计的协议栈进行验证.第五章分析在该协议栈实现中需要重点解决的问题,以及在windows平台上的实现. |
| 作者： | 沈建峰 |
| 专业： | 通信与信息系统 |
| 导师： | 钟章队 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2004 |
| 正文语种： | 中文 |
检索历史
应用推荐
