一种全覆盖的列控车载系统测试用例自动生成算法研究

列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。

列车控制与行车调度一体化节能方法的研究

随着城市轨道交通耗电量日益增加,节能已经成为人们日益关注的焦点问题。本文基于单车节能和多车协同利用再生制动能量的策略,建立节能时刻表模型。模型在现有时刻表参数的基础上,考虑列车区间节能运行和再生制动能利用的相关参数及其约束范围,以多车总能耗最低为目标,实现单车节能和多车协同利用再生制动能量策略的统一规划。利用昌平线数据,通过仿真验证了优化时刻表的节能效果。

北京地铁昌平线RPR网管软件的实现

为管理北京地铁昌平线RPR骨干网,使操作人员更简单方便地了解骨干网状态,设计了一种网络管理软件。该软件能够监测骨干网环网的状态以及通信状态、查询环网的数据量、配置环网连接设备。通过测试,该软件能够反映RPR设备的真实状态,可用于昌平线实际网络的管理。

基于场景的车载设备测试用例自动生成方法研究

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。

基于复杂网络的列车辅助驾驶危险致因传播模型

为了解预期功能安全(SOTIF)相关危险致因在基于智能感知的列车辅助驾驶系统(IATDAS)中的传播特性,提升针对该类系统的危险控制能力,本文提出基于复杂网络的IATDAS系统危险致因传播模型。该模型在SOTIF危险致因网络的基础上,提供了全局容量-负载传播机制,能有效刻画IATDAS系统的危险致因传播机制。案例分析结果表明:本文所提模型能够解决复杂致因关系下既有模型与系统实际情况不符的问题,如对于具有较长后续传播路径的致因,本文模型能够刻画其较难导致危险的实际特征;依据本文模型实施传播控制,可以显著降低危险致因的传播速度,如对影响节点范围大、前期影响节点数量增加快的危险因素进行控制时,可使其平均传播速度降低68%,比随机控制策略多降58%。该模型可以为IATDAS系统的SOTIF相关危险控制提供决策基础。