基于STPA的CTCS-1级列控系统区域列控数据中心安全分析方法的研究

《基于STPA的CTCS-1级列控系统区域列控数据中心安全分析方法的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、学校代码：１０００４密级：公开ＢＥＩＪＩＮＧＪＩＡＯＴＯＮＧＵＮＩＶＥＲＳＩＴＹ硕士学位论文基于ＳＴＰＡ的ＣＴＣＳ－１级列控系统区域列控数据中心安全分析方法的研究作者姓名刘莎晨学科专业交通信息工程及控制指导教师张勇副教授培养院系电子信息工程学院二零一八年三月硕士学位论文基于ＳＴＰＡ的ＣＴＣＳ－１级列控系统区域列控数据中心安全分析方法的研宄ｓｅｄＳａｆｅｔＡｎａＴＣＳ－ＳＴＰＡＢａｙｌｓｉｓｏｆＲＤＣｉｎＣ１ｙＴｒａｉｎＣｏｎｔｒｏｌＳｙｓｔｅｍ

2、作者：刘莎晨导师：张勇北京交通大学２０１８年３月学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留。、使用学位论文的规定特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索，提供阅览服务、汇编以供查阅和借阅。，并采用影印、缩印或扫描等复制手段保存同意学校向国家有关部门或机构送交论文的复印件和磁盘。学校可以为存在馆际合作关系的兄弟高校用户提供文献传递服务和交换服务。（保密的学位论文在解密后适用本授权说明）学位论文作者签名导师签名：：ｎＭ签字日

3、期：年３月￥日签字日期：如／８年￥月，孓日密级：公开学校代码：１０００４北京交通大学硕士学位论文－基于ＳＴＰＡ的ＣＴＣＳ１级列控系统区域列控数据中心安全分析方法的研究－ＳＴＰＡＢａｓｅｄＳａｆｅｔＡｎａｌｓｉｓｏｆＲＸ）ＣｉｎＣＴＣＳ１ｙｙＴｒａｉｎＣｏｎｔｒｏｌＳｙｓｔｅｍ１５１２０２５３：作者姓名：刘莎晨学号导师姓名：张勇职称：副教授学位类别：工学学位级别：硕士学科专业：交通信息工程及控制研究方向：基于通信的列车控制北京交通大学２０１８年

4、３月ｉ致谢本论文是我在导师张勇副教授的指导下完成的。从最初确定论文选题到后期。我的导师张勇副教授治学态撰写论文，这整个过程都倾注着张勇副教授的心血且具有丰富的工程实践经验，对于我毕业论文整体思路的度严谨，而、思路开阔把控起到了非常重要的指导作用。我非常珍惜和张勇副教授学习的机会，在此向张勇副教授表达我深深地感激和敬意。、感谢梁云涛师兄、徐越同学、李智同学任现梁同学以及实验室、黄静师姐的师弟师妹们在毕业设计过程中给予我的无私帮助，他们对我的毕业设计提供了多让我为之困惑的问题，拓

5、宽了我思考很多很好的建议和意见，帮助我解决了很这里向他们表达我真挚的谢意，两年半的实验室；同时问题的思路，借此机会在。生活也让我们彼此建立了深厚的感情，这对我来说是弥足珍贵的一一。七感谢我的母校北京交通大学，为我提供了学习的土壤和成长的空间让我完成了人生中最重要的蜕变。我会将母校的名字铭刻在记忆的深年的时光，也最难忘的时光埋藏在心底。处，亦会将人生中最重要，在本论文撰写过程中，参考并引用了许多相关文献他们的研究成果给了我很多启迪！，在此谨表示衷心的感谢感谢电子信息工程学院研１５０９班的全体同学

6、在研宄生生涯中对我工作支持与生活的帮助、武迪老师、沈燕平老师对。感谢电子信息工程学院辅导员陈晨老师我的帮助。、学习、帮助与支持，在这里还要感谢我的父母在生活、工作上对我的关怀同时还要感谢男朋友对我的帮助、包容与照顾。最后，我要向百忙之中参与审阅、评议本论文的各位老师，向参与本人论文一，个阶段都是独无二的，感谢有你们答辩的各位老师表示由衷的感谢！人生的每。工作生活让我研宄生阶段精彩又美好，我会真真切切的放在心中在以后的学习一中，我会更加勤奋努力，做个更美好的自己。最后把最美好的祝福献给我生命

7、一、！中的每个人，愿永远健康快乐ｉｉｉＭ摘要Ｔ－中国列车运行控制系统１级（ＣｈｅｓｅｒａｉｎＣｏｎｔｒｏｌＳｓｔｅｍｌｅｖｅｌ１，１ｉｎｙ简称ＣＴＣＳ）－适用于２００ｋｍ／ｈ以下新建及改造线路，采用目标距离连续速度控制模式监控列车安全运行，目前正处于研发阶段，，。因此对该系统进行安全分析与评估来识别特定的应用场景存在的安全隐患，有着非常重要的意义。区域列控数据中心一ＴＣＳ－ＲｅｇｉｏｎａｌＤａｔａＣｅｎｔｅｒ，简称ＲＤＣ）作为Ｃ１级列控系统的核心地面设备，是（个实时

8、多任务系统，它处理来自调度集中、临时限速服务器和车站联锁发送的数－据，通过ＧＳＭＲ网络向车载设备发送线路数据和临时限速，结合列车的位置报告信息。ＰＡ－Ｔｈ本文研究了基于ＳＴＳｓｔｅｍｅｏｒＰｒｏｃｅｓｓＡｎａｌｓｉｓ，系统理论的过程分析）（ｙｙｙ与模型验证相结合的ＲＤ