CTCS-3级车地通信协议设计与验证.pdf

北京交通大学
硕士学位论文
CTCS-3级车地通信协议设计与验证
姓名:单振宇
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:穆建成
20090601
中文摘要析,确保设计的氯沸杂肟捎眯浴B畚难∮糜猩玃嘶网訡级通摘要:随着中国铁路事业的飞速发展,对列控系统的要求也越来越高。.列控系统利用甊实现车地通信,以满足高速铁路的需求。鉴于甊传输系统不能满足列控系统的高安全性指标,。首先,依据级列控系统总体技术方案》,从两个角度分析级通信协议需求之处,进行完善与补充。这样设计的安全通信协议既实现了对现可靠性和安全性等方面发挥作用。.读锌叵低扯猿档赝ㄐ判榈男枨螅旱谝唬覥级列控系统车地设备间的通信流程角度,分析整个列控系统对车地通信系统的需求,进而得到车地通信协议的需求;第二,从级列控系统对甊传输系统副暌G的角度分析车地通信协议的需求。然后,根据安全传输系统标准,从安全隐患防护的角度,,仓贫┝∩,ü娣丁由于一锻ㄐ判榈墓δ茉贓规范基础上有所修改,因此,必须通过形式化分析的方法,在设计阶段对一锻ㄐ判楣δ芎托阅芙蟹信协议和娣锻苯#缓笥肅ぞ哐橹つP偷淖茨羁占涮性和其他相关性能。特别是通过两个模型的比较,:安全通信协议;有色籆级;形式化分析;分类号:
叭渫ㄛ特健捞梦挥馊:,.琣痶△垦墨至&△￡—.—瑃:畉唬琻甀琣..,.
;:.甶甌甀瓵癈眎..猼,.;籆篣
⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯/⑾⑹毙蛴摹图缘仁堤迕茉咳现す掏肌图踩畔⒋湎⑹毙蛲肌图踩邮头畔⑹毙蛲肌图缱⒉嵯⑹毙蛲肌图安全层实体的状态转移图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一锻ㄐ判樽刺R剖疽馔肌图双序列号传递示意图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.禛—ㄐ畔低矯模型结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..级通信协议P凸δ苣?橥肌ㄐ畔低炒洳鉉模璎图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.应州层P汀τ貌鉉模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一閂踩ú鉉模型图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.镽安全层P汀图安全连接建立超时模块P汀图通信连接故障检奄模块P汀图通信连接生存原语生成模块P汀图序列号合法性检商模块P汀图输出消息序列号写入模块@纭一锻ㄐ判閂踩ú鉉模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.一锻ㄐ判镽安全层P汀图条件氯侄0实姆抡娼崾奔洹图条件氯侄0实姆抡娼崾奔浞植纪肌图条件氯侄0实姆抡娼醎泶时间分布图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯跏下三种丢包率的榉抡娼崾奔洹幽条作露侄0实腅协议仿真结束时间分布幽⋯⋯⋯⋯⋯⋯⋯⋯.
学位论文作者鹕:恤当签字嗍加瓿г隆日独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作和取得的研究成果,除了文中特别加以标注和致谢之处外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得北京交通大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。
⋯:移捌磐嗍节们·签字日期:渺月同学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,提供阅览服务,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得学位论文作者签名:
致谢是动人的画卷;忘不了,实验室里调试程序,每一个通宵工作的夜晚;忘不了,周达天等几位老师,都在实验室的工作过程中和生活方面给了我莫大的支持,赵同学对我论文中的许多研究工作给予了热情帮助,在此一并向他们表示感谢。另时光飞逝,两年的硕士研究生时光已悄然接近尾声。这段硕士研究生生涯是我一生中收获最大,也最为难忘的岁月。忘不了,校园里美丽的风景,每一处都导师的办公桌前,那每一句谆谆教诲;忘不了,试验成功,现场那每一次热烈的欢呼。本论文的工作是在我敬爱的导师穆建成教授的悉心指导下完成的,穆老师严谨的治学作风、谦和