考虑共因失效的列控车载子系统可靠性分析

针对利用β因子模型对列控车载子系统共因失效问题进行可靠性量化分析时存在计算结果不精确的问题,采用α因子模型对共因失效进行计算,并综合考虑恢复机制和降级运行因素,对列控车载子系统进行可靠性分析。在分析列控车载子系统功能结构的基础上,通过故障树和贝叶斯网络之间的映射关系,建立车载子系统的贝叶斯网络模型;利用β因子模型和α因子模型分别对车载子系统共因失效问题进行量化分析,再以新增共因失效节点的方式建立考虑共因失效的车载子系统贝叶斯网络。结果表明:贝叶斯网络双向推理能力能用于分析车载子系统的可用度和薄弱环节,应尽量减小故障降级运行对系统可用度的影响;通过对列控车载子系统共因失效故障数据的不断累积,α因子模型的量化分析结果更贴合实际的共因失效率。

新型弹箭载配电器的研制

针对弹箭载外测安全系统中地面供配电模式存在系统构建繁杂、电缆网庞大、维护以及故障排查难度大等缺点,在分析比较传统地面供配电和弹载供配电方案的基础上,提出了一种将地面配电系统平移到弹上,即研发一种新型弹箭载配电器的解决方案。由于利用了工业总线和磁保持继电器技术,系统试验结果表明,新型弹载配电器完全满足弹箭载外测安全系统测试要求。

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

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

基于SCADE的列控车载子系统模式转换建模研究

列车运行控制系统车载子系统是实现列车速度防护的重要设备之一。为解决车载子系统软件开发效率和质量低的问题,对该系统的模式转换功能进行研究,提出利用SCADE对模式转换进行模型设计、仿真和代码自动生成的方法,有效提高了软件开发的效率和质量。

基于领域元模型的车载ATP子系统软件建模研究

针对列车自动防护(ATP,Automatic Train Protection)系统开发中所存在的问题,提出一种基于领域元模型的车载ATP子系统软件建模方法。分析铁道信号领域内不同列车运行控制系统对车载ATP子系统的共性特征要求,并基于元模型理论构建其领域元模型。提出了基于领域元模型的车载ATP子系统软件开发方法,该方法支持软件模型重用,可以提高车载ATP子系统软件的开发质量和开发效率。

简析轨旁电子单元切换设计

简要介绍轨旁电子单元的主要功能、系统边界和系统结构,重点介绍轨旁电子单元切换模块的功能和设计组成。

车载控制器集成测试新模式的探索

城市轨道交通车载控制器与信号系统其他子系统具有多种类型接口,进行系统集成测试时存在测试环境搭建复杂、故障注入难以实现等问题,鉴于此,提出一种车载控制器集成测试的新模式,即主要采用仿真模拟的技术手段来构建集成测试平台,实现其他子系统的虚拟化和模块化控制,有利于实现故障精准注入,并引入部分实体设备以还原真实工作环境。对车载控制器仿真测试平台环境部署和实现方式进行简单的阐述,并将该方法在单轨车载控制器的集成测试中进行了实践和应用,辅助车载控制器通过了SIL4安全认证,大幅度降低测试人员及设备场地费用,同时也提高测试效率,具有良好的用户体验与经济效益。

简析轨旁电子单元输出设计

简要介绍轨旁电子单元的主要功能、系统边界和系统结构,重点介绍轨旁电子单元的输出模块的功能和设计组成。