基于多层STAMP模型的CTCS-1级列控系统功能安全分析方法

根据CTCS-1级列控系统总体设计方案,以安全控制为核心,结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进行描述并将其转换为多层STAMP模型和故障分析模型,分析危险事件产生原因,实现对系统功能的安全分析。以CTCS-1级列车进站场景为例,建立多层STAMP模型并针对可能发生的危险事件进行系统功能安全分析。分析结果表明,多层STAMP模型和安全分析方法适用于CTCS-1级列控系统的功能安全分析。

CTCS-1级列控系统总体技术方案探讨

阐述CTCS-1级列控系统总体技术方案研究的背景和意义,重点对总体设计原则、地面总体设计方案、车载设备总体技术方案、关键技术方案等进行深入探讨,并提出推荐的CTCS-1级列控系统方案。

CTCS-1级列控系统等级转换场景建模与验证

随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。

CTCS-1级列控系统总体方案思考与建议

为完善CTCS列控系统总体架构,基于CTCS列控系统特点分析,并结合既有铁路列控系统现状,对CTCS-1级列控系统总体方案提出建议。重点从列控系统的兼容性、冗余性、可转换、可降级4个方面对CTCS-1级列控系统总体技术方案和总体结构进行论述,并对系统安全性进行分析,为CTCS-1级列控系统的发展提供参考。

基于CTCS-3/2级列控系统的高速铁路闭塞分区长度设计研究

根据CTCS-3级和CTCS-2级列控车载设备控车原理,提出高速铁路闭塞分区长度设计原则和约束条件。结合现行列控车载设备参数,当线路长大下坡道不大于24‰时,闭塞分区长度设计满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级300 km/h正常运行。当线路长大下坡道大于24‰时,闭塞分区长度按照满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级降速至250 km/h设计;或将CTCS-3级列控系统结合轨道电路信息定义的闭塞分区平均长度由3000 m调整为4400 m,以满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级300 km/h运行要求。

基于GSM-R和5G-R的CTCS-3级列控系统无线通信协议设计及差异性分析

随着我国5G网络建设日趋成熟,CTCS-3级列控系统及下一代列控系统承载大容量数据业务的需求也愈发强烈。5G-R网络作为替代GSM-R网络的下一代铁路通信移动系统,提供面向字节流的传输服务,具有宽带宽、高速率、低时延的优势,GSM-R网络下的无线通信协议已不再适用。从总体结构、协议分层和协议分割重组等方面对5G-R网络下的无线通信协议进行设计,从协议功能、传输可靠性、传输速率等方面对GSM-R网络和5G-R网络下的两种无线通信协议的差异性进行比对分析。5G-R网络下设计的无线通信协议可靠性更高、传输速率更快,可充分利用和发挥5G-R网络的优势。研究成果可对CTCS-3级列控系统在5G-R网络下的无线通信协议建设提供思路和借鉴。

CTCS-3级列控系统无线超时智能分析系统研究

研究CTCS-3级列控系统无线超时智能分析技术,并基于专家系统技术设计无线超时智能分析系统。一方面,通过将知识库分组保证对数据完整性不同的无线超时事件分析的准确性。另一方面,通过在推理机中采用优化的模式匹配算法保证分析效率。本系统能够满足无线超时分析对准确性和时效性的要求。

CTCS-3级列控系统无线超时分析关键技术探索

阐述CTCS-3级列控系统无线超时分析应具备的核心功能以及相应的实现技术。对如何降低无线超时分析中的人工分析的重复工作量、提升自动分析的准确率进行研究;同时,通过对GSM-R网络以及CTCS-3级列控设备的运用质量趋势分析,帮助维护人员及早发现故障隐患。

CTCS-3级列控系统等级转换失败原因分析及解决措施

装备CTCS-3级列控车载设备的列车从CTCS-2级线路向CTCS-3级线路运行时需进行CTCS-2/3等级转换,在转换过程中车地建立无线通信连接时的列控数据交互,需经过物理层、链路层、传输层、安全层和应用层等,任何一步失败,都会导致列车无法转换到CTCS-3等级运行。从CTCS-2/3级等级转换失败案例中选取车载未发送SABME帧、车载发送多条SABME帧、RBC收到多条M155消息包等典型问题进行分析,分别从车载、网络和地面3个方面提出针对性的解决措施,可为类似问题的处理提供借鉴。

基于自主化电台的CTCS-3级列控系统无线通信超时分析

CTCS-3级列控系统车载设备中的电台是实现车地之间双向通信的核心模块,目前多为国外厂商产品,存在维护管理功能接口不开放、售后服务质量不高等问题。针对CTCS-3级列控系统中由干扰导致的单电台、网络单通等引起的无线通信超时问题,利用自主化电台强大的日志记录功能,精确定位故障原因,可为同类故障分析提供思路。

CTCS-2级列控系统在上海市域铁路机场联络线上的设计与实施

本研究旨在探讨CTCS-2级列控系统在上海市域铁路机场联络线上的应用。首先,介绍了CTCS-2级列控系统的概念、特点和功能。然后,对上海市域铁路机场联络线进行了背景和规划建设的介绍。针对CTCS-2级列控系统的特点和架构,结合上海市域铁路机场联络线的实际运营需求,对其进行了适应性修改和应用研究。通过扣车和跳停、自动折返、向车辆PIS提供旅服信息以及站台紧急关闭等功能的实现,该系统成功满足了上海市域铁路机场联络线的运营需求。

CTCS-3级列控系统临时限速建模与验证

为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应.

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。

基于控制关系模型的CTCS-3级列控系统功能安全分析方法

本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。

基于云模型和组合赋权法的CTCS-3级列控系统可靠性评价

针对模糊综合评判法在进行列控系统可靠性评价时的不足,本文提出基于云模型和组合赋权法的CTCS-3级列控系统可靠性综合评价方法。首先,根据CTCS-3级列控系统的结构与功能,建立系统的综合能力模型和相应的功能层次结构模型,并采用组合赋权法确定底层设备的权重。然后,采用云模型表示各设备实际指标与额定指标的比值,并根据云运算规则采用加权模型求得CTCS-3级列控系统的可靠性综合指标云。最后,将CTCS-3级列控系统的可靠性综合指标云与可靠性评价集的云模型进行相似度度量,输出评价结果。结果表明:基于云模型和组合赋权法的CTCS-3级列控系统可靠性综合评价方法能够正确且客观地描述系统实现其规定功能的能力,为CTCS-3级列控系统的研发及评估提供借鉴。

基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块。以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试。测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励-反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试。

CTCS-3级列控系统地面应答器位置自动配置的方法

本文探讨了利用计算机技术实现应答器位置的自动配置的方法,并编制应用软件实现了应答器自动布置。

高速铁路CTCS-3级列控系统无线闭塞中心工程设计

介绍我国高速铁路、客运专线CTCS-3级列控系统核心设备"无线闭塞中心(RBC)"的设备组成、接口、部分技术参数项、关键环节的工作流程等。在此基础上,提出RBC工程设计的一些基本原则和方法,推衍计算RBC数量的公式。

基于风险指数的CTCS-3级列控系统设备剩余寿命预测

针对CTCS-3级列控系统设备剩余寿命受不确定因素影响难以预测的问题,提出一种基于风险指数的预测方法。首先,构建基于模糊AHP-DEMATEL法的CTCS-3级列控系统设备风险指数模型,对其设备进行风险状态评估,评估值即为风险指数RI;其次,通过建立RI的随机模糊分布函数和曲线图,确定了RI与设备运行时间的关系;在此基础上,建立了基于不确定理论的CTCS-3级列控系统设备剩余寿命预测模型;最后,采用随机模糊模拟技术对该模型进行求解。实例验证表明,基于风险指数的CTCS-3级列控系统设备剩余寿命预测方法,可以有效地预测其寿命和剩余寿命,为设备的优先维护提供理论依据。

CTCS-3级列控系统车-地无线通信端到端通信安全增强技术的研究

为实现与CTCS-3级列控系统相关的安全信息在GSM-R系统中安全、可靠地传输,提出车-地无线通信端到端通信安全增强解决方案。该方案改进CTCS-3级列控系统的数据通信安全功能,可根据用户安全需求的不同等级,实现通信系统双向认证,或通过可信任认证中心使车载移动终端和地面无线闭塞中心(RBC)之间实现端到端认证。通过收发方的数字签名以及签名验证来提供信令完整性保护机制,防止信令被有效破坏。给出灵活的端到端信息加密解决方案,防止信息泄露、窃听,并阻止恶意入侵和干扰,使整个通信通道都得到安全保护。