地铁列车车载监控系统实时调度模型研究

车载监控系统应实时周期性获取列车数据,并处理与列车数据采集系统通信过程中的异常情况。通信异常需要车载实时监控系统立即响应,以免造成列车数据丢失。提出了一种多任务的调度模型:周期性任务采用RMS(优先级随速率单调调度算法)调度模型,非周期性任务采用高优先级处理。讨论了该多任务调度模型的可调度性,并将该调度模型应用于车载实时监控系统。实际运行结果证明,该多任务调度模型是可行的。     

基于拓扑调度的自动化测试方法的研究

本文给出了一种基于拓扑调度的自动化测试系统的设计方法,该方法根据测试任务中测试用例与拓扑的关联性,采用基于拓扑调度的方式,并行运行测试任务中的多个测试用例.详细分析了任务调度方式的特点,在此基础上给出了拓扑调度的基本原理及优势,并应用到实际的自动化测试中,验证了该方法的高效性.     

基于VxWorks的计算机联锁控制系统软件研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设计联锁软件的方法,并进行了详细的系统设计.针对一个实际站场的编码测试结果表明,在VxWorks环境下更易于满足联锁软件对实时性、多任务调度的设计要求,并有利于提高系统的安全性.     

基于VxWorks的复杂道口监控系统软件研究

分析了基于单片机的道口控制系统中存在的问题,结合VxWorks实时多任务操作系统的特点,提出了一种基于VxWorks环境下的道口控制软件的设计方法。针对实际道口的测试结果表明,在VxWorks环境下更容易满足复杂道口控制软件的实时性、多任务的调度要求,并且有利于提高道口的安全性。     

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

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

基于智能专家库混合模型自动化测试在青藏铁路RBC系统的应用

针对青藏铁路无线闭塞中心(Radio Block Center,RBC)系统的回归测试及数据测试,提出基于智能专家测试库的混合模型的自动化测试系统,该系统以模块化为依托,模型化测试用例,自动执行测试程序,根据专家型数据库自主实现测试程序在案例失效后退出继续后续的案例执行和问题原因分析。并能够记录测试过程及自动生成测试报告,该系统提高测试效率,为青藏铁路的货物运输提供更加有力保障。     

自动化测试中设备管理工具的开发

自动化测试是软件测试走向成熟化、标准化的重要标志.本文针对特定的自动化测试环境,开发了3个测试设备的管理工具,便于在执行自动化测试前,对测试设备进行合理的管理、分配及检测,以及时发现设备的问题,有效地减少测试人员的工作量,提高工作效率.     

基于VxWorks的实时多任务程序设计机制分析

实时多任务程序设计是嵌入式系统软件设计的基础.随着嵌入式系统性能的提高和功能的复杂,实时多任务程序设计会越来越复杂.简要介绍VxWorks下实时多任务程序设计机制,通过一个利用实时多任务来实现的通讯模型,重点介绍VxWorks下实时多任务程序设计的关键技术.     

基于嵌入式安全平台的软件自动化测试方法研究与实现

介绍了自动化集成测试平台的研究背景、组成模块以及被测软件的桩模块等;实现了模拟应用逻辑和外部设备通信功能,控制被测软件按照用例执行测试桩;通过实例描述了使用集成测试平台进行自动化测试的过程;分析了目前自动化测试存在的不足,探讨了自动化测试不适应的场景,全面覆盖系统级测试仍需要进一步研究。     

城市轨道交通应急调度指挥系统的现状及发展趋势

在城市轨道交通突发事件下,行车调度员应急调度决策的准确性及高效性直接关系到应急处置的效率及突发事件影响期间的运营安全.为实现城市轨道交通应急调度决策的准确化、高效化,应急调度指挥模式由目前的“人工”向未来“自动化”的转变不可避免.从理论与实践的层面总结与分析了城市轨道交通应急调度现状流程、问题及发展需求,在此基础上设计了城市轨道交通自动化应急调度指挥系统的软、硬件框架结构,为我国大城市开发和实施自动化应急调度系统提供理论思路与方法依据.     

基于多目标遗传算法的RITS物理结构优化设计

铁路智能运输系统(RITS)是涉及多学科、多专业领域,集底层控制、实时调度、运营管理于一体的多功能、多任务的复杂大型信息系统,系统结构优化设计方法研究对铁路信息化建设和现有信息化资源的整合具有重要意义。本文提出了RITS物理结构优化设计问题模型,即在一定资源条件约束下,综合考虑技术、经济等方面因素,实现功能单元在物理实体上的优化配置,并提出了基于多目标优化的解决思路。RITS结构优化设计待优化函数具有高维、多峰、非线性等特点,求解难度大。本文重点研究了一类基于Pareto机制的具有快速全局收敛能力的多目标遗传算法,并以紧急救援系统为例进行结构优化设计,验证了算法的有效性。     

铁路互联网售票系统自动化测试研究与实现

鉴于铁路互联网售票系统规模庞大、业务复杂、升级频繁等特点,引入自动化测试以进一     

网络化运营条件下的地铁乘务计划优化方法

随着城市轨道交通网络化运营程度的不断深入,乘务管理也需要不断适应线路结构、客流特征、列车方案、管理制度等因素的变化需求。乘务计划优化是一类综合考虑各类因素的多目标组合优化问题。对计划列车运行图、线路条件、乘务班制、劳动时间等乘务计划编制的关键因素进行分析,从编制条件和编制目标等方面研究了网络化运营条件下乘务计划的编制难点,从乘务班制、任务划分、网络统筹、编制的智能化和信息化等方面提出网络化运营条件下乘务计划编制优化的建议与方法。     

改进型EDF算法在计算机联锁全电子执行单元中的应用研究

针对计算机联锁全电子执行单元的安全性、可靠性、大数据量传输的要求,结合CAN总线的特点,提出一种基于指数分区的EDF动态调度算法,以此来提高CAN总线的实时性以及全电子执行单元发送消息的成功率。对改进后的EDF算法的编码进行详细的描述,通过使用量化误差的概念,推导任务的可调度性公式,以此来衡量算法的优化程度。使用Matlab中的truetime工具箱和全电子执行单元的通信数据,对该算法进行仿真实验,并与平均分区的EDF算法进行比较。仿真结果表明:本文算法能够平衡高低优先级的关系;发送消息的成功率更高。改进后的调度算法能够实现消息的动态调度,良好地解决了计算机联锁全电子执行单元中CAN总线网络资源不足时任务不可调度的问题。     

基于dSPACE的ATO仿真测试平台的开发

本文分析了传统的ATO仿真测试平台存在的问题,阐述了基于dSPACE的ATO仿真测试平台的架构设计、软件设计、引入dSPACE的必要性和如何使用dSPACE实现复杂的列车模型.从开发过程和仿真测试过程来看,本平台克服了传统的ATO仿真测试平台存在的问题,很好的实现了ATO仿真测试功能.     

基于ARM嵌入式的计算机联锁控制系统研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.基于ARM嵌入式的计算机联锁控制系统可以确保系统可靠性和安全性的实现.利用Linux的实时多任务处理能力,提供系统在分布式环境下实时通信能力.利用源代码公开的特点,保证系统具有良好的可扩展性及性价比.     

一种ATS系统自动化测试工具的设计与实现

列车自动监控系统(ATS)是车载信号系统中的重要组成部分.本文提出一种ATS系统的非侵入式自动化测试工具,模拟测试人员真实测试的整个流程,可配置的测试脚本更具有灵活性,可以实现不同的测试需求;采用基于计算机视觉与光学字符识别的信息提取方式,使测试流程可以完全模拟真人测试;通过验证状态机的结果,简化了测试验证流程.该工具...     

基于Robot框架的自动化测试平台设计与实现

为了提高嵌入式协议软件的测试效率,提出一种基于Robot框架的自动化测试方法。通过分析功能完备并且发布频繁的软件特点和困难,给出了对应的自动化测试策略;阐述了自动化测试的主要技术和框架功能,分析了该技术的优点,并通过在实际测试中的应用效果,印证了该框架的通用性,灵活性和扩展性。     

基于场景模拟的地铁ATS软件自动化测试系统

为适应快速交付可靠的地铁ATS软件产品的要求,开发了基于场景模拟的地铁ATS软件自动化测试系统.介绍系统构成、主要功能设计、测试环境部署与配置、测试用例设计及测试流程.测试系统由被测对象服务器、模拟集成服务器和测试管理服务器构成,将ATS系统内部环境的模拟与ATS系统外部环境的模拟分离,可降低ATS软件仿真测试系统的复...