基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

ATP车载设备管理信息系统数据同步策略研究与实现

本文根据ATP车载设备管理信息系统的特点,分析了该系统对同步策略的各类需求,设计和实现了基于Oacle数据库与MSMQ技术相结合的两层分级数据同步策略RAILS-SYN,保证了数据传输的实时性、一致性和完整性,为系统分级分布式管理的数据同步提供了重要支撑。     

RBAC在ATP车载设备管理信息系统中的应用

基于角色的访问控制（RBAC）是保证信息系统资源安全的一种策略。本文详细介绍了RBAC模型,并给出了其形式化定义。将RBAC模型应用于ATP车载设备管理信息系统,设计了该系统访问控制的数据物理模型,实现了该信息系统对关键资源的限制访问。该系统成功地投入使用,表明RBAC模型可有效实现信息系统的权限控制。     

ATP车载设备管理信息系统及其应用技术

对ATP车载设备管理信息系统的系统架构进行了介绍,分析其主要特点,描述了系统主要功能,对其应用技术进行了总结和分析。ATP车载设备管理信息系统的出现和使用,有效提高了ATP车载设备信息管理效率和科学化水平。     

以信息化履历为中心的ATP车载设备信息管理方法研究

ATP车载设备是保证动车组运行安全的关键设备。传统的ATP管理以纸质履历为基础,由此而带来的信息引入不准、不全、不详的问题,对ATP车载设备管理造成困扰;同时,纸质履历信息共享率低,无法及时为管理决策提供必要的信息。为此从ATP全生命周期管理活动入手,分析履历的来源和作用,梳理履历信息化过程具备的条件和关联性,及在ATP车载设备全生命周期中的运用与维护模式,在此基础上提出以信息化履历为中心的ATP车载设备信息管理模型并形成系统方案,实现了履历信息共享,有效提高了ATP车载设备信息管理效率和科学化水平。     

下一代列控系统技术方案探讨

随着通信和控制技术的进一步发展,使下一代列控系统配置优化、性能提高成为可能。通过研究国际先进列控系统方案及其新功能的运用,提炼特点并分析其优势,结合CTCS-3级列控系统5年来的商业运营经验及我国铁路建设特点,探讨下一代列控系统功能特点、地面配置方案和技术实现方式,为集约型铁路建设服务。     

多端口形式化测试自动生成方法在CTCS-3车载系统中的应用

针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA).LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套.文中还描述了运用UPPAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统LpTIOA模型的测试套自动生成.     

一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。     

智能一体化电务检测维护方案研究

电务检测维护技术是保障动车组列车安全运营的重要支撑技术,目前国内电务检测维护技术研究相对分散,检测手段比较落后,检测数据冗余造成数据分析处理困难,在指导电务生产资源的综合管理工作中发挥的作用十分有限。提出智能一体化电务检测维护方案,通过对地面集中检测技术、ATP车载设备检测技术和无线传输集中检测技术的研究,对电务维护信息进行合理的融合和挖掘,使电务检测维护数据能够合理指导生产、故障跟踪和检修业绩确认,为电务生产资源的优化配置提供决策指导。