IEC61508及其在铁路安全相关系统研制开发中的应用研究

铁路是一个对系统设备安全性、可靠性要求很高的行业,列车提速又给铁路安全提出了新的要求,迫切需要建立一套铁路安全标准和评估体系,使得铁路安全管理规范化、标准化、国际化。借鉴国外铁路安全技术和标准,并结合我国铁路行业的实际情况来建立这个体系是比较可行的方法。文章首先对功能安全国际标准IEC61508进行了介绍和分析,然后对该标准在铁路安全相关系统研制、开发和评估过程中的应用进行初步探讨。     

在科研创新之路攀登不止的人——记第九届詹天佑铁道科学技术成就奖获得者、中国铁道科学研究院常务副院长康熊

有志事竟成,六次提速立志创新事遂人愿 2007年4月18日--中国铁路史上大书一笔的日子.继中国铁路五次提速之后,从这天开始中国铁路实施第六次大提速. 当人们在尽情领略千里铁道线上疾驰飞奔的列车壮景之时,当全路职工在开心品尝六次提速成果甘甜之际,作为六次铁路大提速的参与者和见证者、铁科院提速技术攻关团队以及这支团队的领军人物康熊,此时,更是心潮难宁、百感交集.     

中国通号科技功臣的追梦之路——记第八届詹天佑铁道科技成就奖获得者、铁道部有突出贡献的中青年科技专家丁昆

"有梦想的人,就会有向往的目标;有了目标并向这个目标一步一个脚印地走下去的人,才有可能把梦想变为现实。"这是北京全路通号研究设计院高级工程师丁昆发自内心的感悟之言,也是他在多年工作实践中,一次又一次地将梦想变为现实的真实写照。丁昆是一位充满梦想的人,也是一个勇于挑战自我的人。在参加工作以来的26年中,他聚焦世界科技发展前沿,致力铁路编组站自动化的研究和工程应用,不仅使编组站的驼峰控制技术填补了国内空白,而且使这项技术走在了国际领先的前列。如今,丁昆不仅把一个个昔日之梦想变成了现实,而且在他的人生轨迹上划出了一道炫耀的印记。     

LTE-M信号及信令接口监测系统设计

研究LTE-M信号及信令接口监测系统的设计,首先介绍LTE-M系统的网络架构及其互联互通需要开放的接口,分析对LTE-M信号接口及信令接口进行监测和分析的重要性。重点介绍LTE-M接口监测系统的信号接口的监测功能,S1、S5、S6a和S10接口的协议栈及接口监测的内容,详细描述LTE-M接口监测系统的整体架构和实现方式,最后展现接口监测系统所监测的内容。接口监测系统的实现和应用,将在城市轨道交通LTE-M系统的建设和维护过程中发挥重要的作用。     

CTCS-3级列控车载设备实验室互联互通测试方法

研究CTCS-3级列控系统互联互通的实际需求,确定车载设备互联互通测试的基本原则;然后针对适用于CTCS-3级车载设备互联互通测试的体系和方法进行研究,分析了CTCS-3级列控系统车载设备互联互通测试平台的结构及功能划分。研究实际开展的车载设备互联互通测试工作,介绍车载设备互联互通测试序列的生成方法,互联互通测试执行的过程,最后对互联互通测试的结果进行总结,提出车载设备互联互通测试结果的管理方法。     

基于灰色理论的列车组合定位轮径校准方法研究

多传感器组合定位是实现低成本、高精度列车定位的有效方法.本文针对列车车轮磨损导致轮径减小从而影响组合定位系统里程计定位精度的问题,分析列车组合定位系统里程计定位的误差特性,给出利用GPS、惯性定位传感器辅助轮径校准方法,并结合灰色预测理论,提出一种基于灰色理论的轮径校准方法.该方法通过"更新-预测-更新"的过程,在一定...     

实时操作系统及其在列车运行控制系统中的应用分析

介绍了嵌入式系统的现状和发展，具体阐述了实时操作系统（RTOS）的特点，描述了实时操作系统的最新发展以及它的应用前景，并探讨了Nucleus在列车运行控制系统中应用的可行性。     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

基于UML扩展机制的列控系统建模方法研究

本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。     

基于微分动态逻辑的无线闭塞中心交接协议建模与验证

ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。