轨道交通安全计算机系统及安全控制机制关键技术研究

发布时间：2016-10-17 12:21

  本文关键词：轨道交通安全计算机系统及安全控制机制关键技术研究，由笔耕文化传播整理发布。

《兰州交通大学》 2014年

轨道交通安全计算机系统及安全控制机制关键技术研究

陈光武  

【摘要】：由于轨道交通信号计算机联锁系统不仅必须昼夜不停的连续稳定运行，而且必须保证信号的安全控制，这就要求系统具有很高的安全性和可靠性，否则一旦系统故障，输出错误控制，导致信号显示升级，就有可能造成重大的行车事故和人员、财产损失。随着微电子技术、计算机技术、自动控制技术、嵌入式技术、通信技术的发展，为铁路信号故障-安全技术的实现提供了技术支撑，基于高可靠容错安全计算机的全电子化计算机联锁系统是国内外信号联锁控制技术的发展方向。 本文以全电子化计算机联锁系统中的安全计算机为研究对象，通过分析全电子化计算机联锁系统的架构，研究了不同联锁控制模式下的系统控制架构，并完成了分布式轨旁全电子化联锁控制系统的现场实际验证，为今后信号联锁系统由集中式控制向分布式控制进行了前期技术研究和探索。研究了全电子化联锁系统中安全计算机的安全设计原理，对关键的CPU主板、I/F控制部件、系统软件等进行了设计实现，在此基础上识别了安全计算机中可能存在的各种故障隐患，对发生故障从而影响系统安全运行的单点和多点故障进行了分析研究，并提出了具体的解决措施。 论文提出了一种采取硬件同步控制器、总线硬件比较控制器和软件时间点相结合的主动跟踪同步运算方法，实现了二乘二取二架构下的CPU同步运算和表决输出机制。通过研究安全计算机中的工作状态、工作模式和模式转换条件，对工作模式和切换条件的完备性和同步方法进行了分析和实际验证。通过对系统通信架构和安全通信实现机理的分析，研究了系统不同通信方式下的危害防御措施，并对系统通信安全性和实时性进行了分析和计算。最后针对经过内核裁剪和组件优化的专用实时操作系统VxWorks的功能组件及其API接口进行了功能失效安全影响分析，提出了针对性的安全防护机制。 基于本论文的研究，开发出了可用于轨道交通信号联锁控制系统的安全计算机系统平台，并通过了欧标安全认证，安全完善度等级达到了SIL4级。自主开发出了可用于我国轨道交通信号计算机联锁系统和列车车载系统的安全计算机平台，为我国轨道交通信号跨越式发展提供了全套升级换代设备，促进了铁路信号控制系统由第2代的电气集中联锁、第3代的计算机联锁向第4代的全电子化计算机联锁系统的发展，，从而可以有利促进我国轨道交通信号行业的技术进步。

【关键词】：
【学位授予单位】：兰州交通大学
【学位级别】：博士
【学位授予年份】：2014
【分类号】：U283.4
【目录】：

下载全文 更多同类文献

CAJ全文下载

(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

【参考文献】

中国期刊全文数据库 前10条

1 祝义;黄志球;张广泉;周航;;一种支持实时软件时间建模的形式化方法[J];解放军理工大学学报(自然科学版);2010年03期

2 于康;宁洪;邓胜兰;张毅;;基于VxWorks的模块自动加载机制[J];计算机工程;2010年18期

3 熊光泽;常政威;桑楠;;可信计算发展综述[J];计算机应用;2009年04期

4 殷战宁;刘琳;;VxWorks的内存配置和管理[J];舰船电子对抗;2012年03期

5 王帅;吉吟东;董炜;杨士元;;Design and RAMS Analysis of a Fault-Tolerant Computer Control System[J];Tsinghua Science and Technology;2007年S1期

6 燕飞,唐涛;IEC61508及其在铁路安全相关系统研制开发中的应用研究[J];铁道学报;2005年03期

7 张曙光;;高速铁路系统生命周期安全评估体系的研究[J];铁道学报;2007年02期

8 李晓芳;;基于安全通信的风险分析技术应用[J];铁路通信信号工程技术;2007年05期

9 谢迎锋;;FSFB/2安全协议在DS6-K5B联锁系统中的应用研究[J];铁路通信信号工程技术;2009年02期

10 钱华明;张振旅;;VxWorks内存管理机制的分析与研究[J];微计算机信息;2009年17期

【共引文献】

中国期刊全文数据库 前10条

1 燕飞;郜春海;唐涛;;国产CBTC系统安全认证模式探索[J];北京交通大学学报;2011年05期

2 林增;王俊峰;王禹霖;;基于CPN高铁临时限速数据融合方案验证[J];北京交通大学学报;2012年03期

3 严建鹏;陈小强;侯涛;;基于改进联合卡尔曼滤波算法的列车测速信息融合[J];铁道科学与工程学报;2012年02期

4 宫杰;;基于Petri网的铁路联锁软件测评的道岔仿真建模[J];电脑知识与技术;2008年30期

5 丁晗;DDE在计算机联锁系统测试中的应用[J];电子工程师;2003年11期

6 陈树泉;唐涛;马连川;王悉;;2乘2取2安全计算机关键算法的设计与实现[J];计算机安全;2008年03期

7 郭青成;;CTCS3级列车控制系统测试序列自动生成方法[J];计算机安全;2009年12期

8 龚昕;;基于可信计算环境的数据库系统安全体系结构设计[J];计算机安全;2011年04期

9 王军,吴芳美;区域联锁传输通道的安全性问题及仿真[J];城市轨道交通研究;2002年04期

10 王鸿,吴芳美;区间信号仿真系统中干扰仿真的建模研究[J];城市轨道交通研究;2003年01期

中国重要会议论文全文数据库 前4条

1 陈军华;张星臣;徐彬;张懿;;运煤专用线列车运行的Petri网仿真模型研究[A];信息化、工业化融合与服务创新——第十三届计算机模拟与信息技术学术会议论文集[C];2011年

2 李秋香;李超;马晓明;;可信计算标准化策略研究[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年

3 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年

4 王绍举;郑晓云;徐拓奇;;星载软件在轨重注技术[A];中国空间科学学会2013年空间光学与机电技术研讨会会议论文集[C];2013年

中国博士学位论文全文数据库 前10条

1 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年

2 李熙;城市轨道交通车辆走行部安全评估方法研究[D];北京交通大学;2011年

3 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年

4 宋成;可信计算平台中若干关键技术研究[D];北京邮电大学;2011年

5 张光远;高速铁路行车安全机理及相关应用问题研究[D];西南交通大学;2010年

6 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年

7 常政威;网络化MPSoC高能效设计技术研究[D];电子科技大学;2009年

8 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年

9 陈荣武;CBTC系统列车运行仿真与优化策略[D];西南交通大学;2011年

10 梁元;基于云计算环境下的可信平台设计[D];电子科技大学;2013年

中国硕士学位论文全文数据库 前10条

1 尹南;基于XML的CTCS-3级车载测试数据管理方法研究及应用[D];北京交通大学;2011年

2 邓昌琪;基于U2TP的CTCS-3级车载设备测试用例的生成方法研究[D];北京交通大学;2010年

3 王丹;CBTC系统的自动化测试研究[D];北京交通大学;2010年

4 靖焱林;基于UML-XML的车载设备测试用例生成方法研究和实现[D];北京交通大学;2011年

5 王倩倩;CTCS-3级列控系统测试案例优化生成方法研究[D];北京交通大学;2011年

6 王超琦;CTCS-3级列控系统车载设备测试序列的生成方法及工具研究[D];北京交通大学;2011年

7 刘磊;CTCS-3级列控系统现场测试及辅助工具的研究[D];北京交通大学;2010年

8 朱兆俊;提速道岔三相交流转辙机数据采集系统[D];北京交通大学;2011年

9 张洋;铁路信号系统安全关键软件故障注入技术研究[D];北京交通大学;2011年

10 张路;基于SCADE的CBTC区域控制器软件开发[D];北京交通大学;2010年

【二级参考文献】

中国期刊全文数据库 前10条

1 潘艳荣,翟长旭,朱顺应;基于灰色聚类理论和人工神经网络技术的道路交通安全评价[J];重庆交通学院学报;2005年02期

2 周明天;谭良;;可信计算及其进展[J];电子科技大学学报;2006年S1期

3 杨伟,罗蕾;嵌入式系统中的模块动态加载技术[J];单片机与嵌入式系统应用;2005年11期

4 谭永东,钱清泉;对城市轨道交通自动化系统的再认识——概念、体系结构与技术[J];都市快轨交通;2004年01期

5 刘东栋;;一种VxWorks内存管理方案[J];电子科技;2007年02期

6 黎忠文,雷航,熊光泽;可降级现场总线网系统可靠性的评价方法[J];电子学报;2001年02期

7 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期

8 陈开岩,郑贤斌,张永生;企业安全评价方法及软件开发[J];工业安全与环保;2003年02期

9 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期

10 胡瑜,韩银和,李晓维;SOC可测试性设计与测试技术[J];计算机研究与发展;2005年01期

中国博士学位论文全文数据库 前2条

1 向生建;安全中间件系统关键技术研究[D];电子科技大学;2006年

2 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年

中国硕士学位论文全文数据库 前1条

1 王政霞;嵌入式环境下的动态加载机制的设计与实现[D];重庆大学;2004年

【相似文献】

中国期刊全文数据库 前10条

1 陈小梅,杜平;区域计算机联锁系统设计方案[J];铁道通信信号;2002年08期

2 谢保锋;车站计算机联锁系统的现状与发展[J];交通运输系统工程与信息;2004年04期

3 李凯;计算机联锁系统管理的几点思考[J];铁道通信信号;2005年07期

4 崔新民;武子军;;我国铁路第一个区域计算机联锁系统开通[J];铁路通信信号工程技术;2005年01期

5 刘运昆;采用单元型模拟控制台的计算机联锁系统[J];铁道通信信号;2005年02期

6 邱红斌;王明进;;零地电位差对计算机联锁系统的影响[J];铁道通信信号;2006年01期

7 奚伦科;孙贵平;;车站计算机联锁系统的故障处理[J];铁道通信信号;2006年04期

8 史晓华;;计算机联锁系统软件包的改进[J];铁道通信信号;2006年04期

9 杨文涛;国文焕;;计算机联锁系统供电电源探讨[J];铁道通信信号;2006年06期

10 陈秀萍;;计算机联锁系统防雷措施研究[J];铁道通信信号;2008年01期

中国重要会议论文全文数据库 前10条

1 孙旻;;电气化铁路供电干扰对计算机联锁系统的影响[A];2009年山东省科协学术年会胶济客运专线相关技术研讨会论文集[C];2009年

2 宋钢;;关于移动式计算机联锁系统的研究[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展（上册）[C];2001年

3 段武;;城市轨道交通计算机联锁系统[A];中国城市轨道交通新技术（第三集）[C];2009年

4 臧永立;;TYJL-Ⅲ型国产容错计算机联锁系统研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年

5 陈福涛;张富春;;EI32-JD计算机联锁系统常见故障处理[A];河南省铁道学会2007年学术活动月优秀论文选集[C];2007年

6 刘聪芳;;浅谈JD-1 A型计算机联锁系统原理结构及故障处理[A];第十届中国科协年会中部地区物流产业体系建设论坛专辑[C];2008年

7 徐庆宁;;基于HJ04A的铁路信号计算机联锁系统[A];中国计量协会冶金分会2009年年会论文集[C];2009年

8 张新明;王俊高;;二乘二取二冗余计算机联锁系统的结构与安全性分析[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年

9 王东超;王红彦;;中国钢铁企业铁路信号自动控制系统现状及发展趋势[A];第七届(2009)中国钢铁年会论文集（下）[C];2009年

10 陈福涛;张富春;;EI32—JD计算机联锁系统常见故障处理[A];河南省铁道学会2007年学术活动月优秀论文集[C];2007年

中国重要报纸全文数据库 前8条

1 通讯员 王冬;[N];人民铁道;2012年

2 董萍;[N];中国教育报;2000年

3 通讯员 武海宝;[N];人民铁道;2009年

4 胡瑛;[N];中国有色金属报;2006年

5 杭庆博;[N];延安日报;2011年

6 ;[N];中国高新技术产业导报;2005年

7 ;[N];北京科技报;2001年

8 本报记者 王慧芳;[N];中国电子报;2010年

中国博士学位论文全文数据库 前1条

1 陈光武;轨道交通安全计算机系统及安全控制机制关键技术研究[D];兰州交通大学;2014年

中国硕士学位论文全文数据库 前10条

1 李进;计算机联锁系统安全可靠性设计分析[D];南京理工大学;2009年

2 宋保卫;新型铁路车站计算机联锁系统的设计与实现[D];黑龙江大学;2009年

3 马沧海;计算机联锁系统上位机专用机化中智能显卡的设计[D];北京交通大学;2007年

4 张玉冰;城市轨道交通计算机联锁系统的研究与设计[D];长安大学;2011年

5 于天;分散控制计算机联锁系统网络通信研究[D];西南交通大学;2012年

6 权海宁;分布式全电子计算机联锁系统研究[D];兰州交通大学;2012年

7 罗强;基于通信的分散式计算机联锁系统研究[D];北京交通大学;2013年

8 李卢强;铁路信号计算机联锁系统自动测试系统的构造研究[D];合肥工业大学;2010年

9 张照亮;铁路信号计算机联锁系统的设计与实现[D];武汉理工大学;2011年

10 苏思琦;全电子计算机联锁系统信号模块安全性分析[D];兰州交通大学;2013年

  本文关键词：轨道交通安全计算机系统及安全控制机制关键技术研究，由笔耕文化传播整理发布。

本文编号：142779