摘要：临时限速服务器(TSRS)实现临时限速集中管理,是CTCS-2/3级列控系统基础设备。分析TSRS与外部设备交互的临时限速状态及其转换关系,提出4类TSRS软件优化措施:取消临时限速生命周期优化设计,优化限速取消流程;拟定阶段增加照查检查解决限速错误拟定问题;验证执行阶段暂停TSRS间限速刷新解决偶发性的限速验证、执行操作失败问题;基于平衡二叉查找树的临时限速管理提出满足要求的大小平衡二叉树(SBT)、AVL树和红黑树(RBT)算法,测试3种算法随机插入和删除多条临时限速的效率,找出适合TSRS的临时限速管理算法。可为TSRS软件的优化设计提供决策依据。

摘要：临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。

摘要：为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了测试平台的体系结构,并介绍了仿真环境模块、测试工具模块的设计过程、测试平台搭建方法和平台仿真测试过程。通过仿真测试结果表明,该平台提高了测试效率和灵活性,降低了测试成本。

摘要：从不同角度对临时限速服务器进行建模,建立了临时限速服务器的参考结构模型、功能分层模型和状态转移模型;采用危险与可操作性分析(HAZOP)方法分别对3种模型进行风险分析,建立较为全面的危险源数据库,可以作为系统运营期管理的依据。

摘要：TSRS-YH型临时限速服务器辅助设计CAD软件读取列控线路工程数据和网络配置数据,生成临时限速服务器和仿真设备的配置数据以及仿真测试用测试序列数据。软件采用面向对象的模块设计,根据临时限速服务器功能和外部连接设备划分为25个模块。软件支持图像化操作,可通过图形接口编辑模块数据,具有实时纠错、自动微调、数据安全防护的特点。软件的应用提高了TSRS-YH型临时限速服务器工程化中相关配置数据的生产效率。

摘要：铁路枢纽内,临时限速服务器受自身控制能力、接口能力等因素的限制,会出现与调度区划分、无线闭塞中心管辖范围不匹配情况。在现行规范下,临时限速服务器的设置方案难以适应枢纽复杂情况,文章需要对此进行研究并提出解决方案。

摘要：TSRS-YH型临时限速服务器仿真平台采用与真实设备相同的设计结构,由逻辑处理软件和通信处理软件组成。逻辑处理软件实现临时限速服务器逻辑功能,通信处理软件实现与外接系统安全通信。仿真平台与真实环境共用逻辑处理代码,确保与真实设备运行逻辑的一致性;配置灵活,各部分软件可以与真实设备组合运行;将基于C语言的屏幕打印信息重定向至基于C#的显示窗口,便于调试,可应用于临时限速服务器软件调试和现场施工配合中。

摘要：将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质量审计及认证审查结果表明,使用该方法设计的用例保证了测试的充分性和有效性。验证的测试用例设计方法已在其它产品的系统测试中得以推广和应用,提高了系统测试的效率和效果,为保证软件产品质量发挥了作用。

摘要：既有客运专线枢纽行调台管辖情况比较复杂,为满足兰州至中川机场线的开通需要,增设城际枢纽行调台。从CTC调度中心设备设置方案、临时限速服务器(TSRS)、安全数据网、与其他配套专业对接设计以及调度中心的过渡方案等方面对增设城际枢纽行调台引起的信号相关设计方案进行系统研究,提出合理的解决方案,为机场线的开通奠定了基础,也为类似工程的信号设计提供参考。

摘要：临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。