SCADE在城市轨道交通ATP软件建模中的应用

列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分.车载ATP在列车运行过程中担负列车安全运行的重要任务,是与安全直接相关的系统,需要高的安全性和可靠性.为了满足车载ATP软件对安全的需求,提出了基于模型的软件开发方法对ATP进行建模.应用SCADE作为开发工具,建立了ATP系统部分功能的模型,说明了SCADE在ATP软件建模上的可行性.     

基于SCADE的安全软件开发方法研究

针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原理、流程及应用方式,并以城市轨道交通列车运行控制系统的区域控制器ZC为例,基于SCADE对ZC列车管理功能进行建模和验证。通过实例分析,证明基于SCADE的软件开发方法,可以有效保障高安全性系统的安全性和完整性,为其提供了一种新的开发方式。     

基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高，功能不断扩展，其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程，依据计算机联锁系统相关技术规范定义的需求规约，尝试利用SCADE进行计算机联锁软件开发。研究实践表明，SCADE是一套较为实用的基于模型的软件工程开发工具，可支持V模型软件开发流程，能够帮助开发人员有效管控软件开发风险，为联锁软件的进一步开发提供参考。     

ATS仿真软件研究

分析了列车自动监控系统(ATS)仿真软件的功能以及各功能模块的实现。这些功能模块分别为站场显示、ATS系统操作响应、信号设备的人工设置和列车走行模拟。该仿真软件为ATS系统的开发与调试提供了便利。     

模型驱动开发在安全苛求系统中的应用

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。     

列车运行仿真培训软件通用开发平台的设计与实现

通过对不同制式ATS(列车自动监控)系统的研究,提出了列车运行仿真培训软件通用开发平台的设计与实现方法。该方法研究各种ATS系统的共性和差异,实现了快速开发各种制式的列车运行仿真培训软件的方法。     

基于SCADE和梯形图的可视化联锁逻辑实现方法

建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该方法一方面可以使软件开发人员在开发联锁逻辑功能时,以绘制梯形图的方式代替既有的编写代码的方式进行图形化开发。工程技术人员和业主可以直接通过梯形图了解软件实现的联锁逻辑功能,减少人为转换的环节。另一方面在程序开发过程中,还可以直接利用成熟的继电电路设计经验指导程序开发,进一步提高系统功能的正确性和安全性。     

基于模型驱动的高速铁路ATO系统TSRS设备软件开发

高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、车门开门防护、车门/站台门联动控制等智能化功能。本文研究了基于SCADE的模型驱动软件开发技术,并将其应用在车-地通信功能设计开发过程中。通过对模型进行验证、仿真测试和集成测试,最终验证了开发结果的正确性。     

石家庄市轨道交通3号线一期工程正线地下停车场ATS系统方案分析

介绍了石家庄市轨道交通3号线一期工程首开段石家庄站正线地下停车场概况。针对正线停车场的特殊运营需求,提出了相应的ATS(列车自动监控)系统列车运营调度实施方案,以实现列车自动化收发车及折返作业的功能。对实际运营中可能出现的故障情况提出应对方案。经对方案的分析比选,编辑列车运行图并在ATS系统中增加调度功能的方案运营效果更好。     

可复用的列车自动监控仿真系统组件的设计与实现

介绍了一种基于ActiveX控件技术的列车自动监控(ATS)仿真系统中站场图组件的设计和实现方法,并将其应用在上海轨道交通3号线ATS控仿真系统的开发过程中.实践证明,组件的划分与应用将站场图的绘制过程简化为简单的拼图操作,缩短了整个ATS系统仿真的开发周期.     

基于SCADE的城轨联锁软件开发方法的研究

CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.     

曼彻斯特编码在列控中心数据传输中的研究——解码器设计

通过对国内现有制式高速铁路的分析,深入研究了保证列车运行安全的列控中心的数据传输.另一方面通过曼彻斯特码型的功率频谱分析,得出此种码型具有数据传输高可靠性、实时性和纠错性能.主要设计了曼彻斯特解码器,利用QUARTUSⅡ仿真软件对解码效果进行仿真.     

基于SCADE的测速定位系统模型设计

针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题，提出了基于SCADE的测速定位系统模型设计，介绍SCADE需求建模以及模型验证方法，分析了一种测速定位模型；在SCADE平台上建立了测速定位系统的模型，通过仿真与验证，证明模型完全满足测速定位的系统需求与安全性。     

铁路专用线车地联控系统的研究与设计

车地联控系统是将计算机联锁,调度管理系统、车载设备中的信息综合起来进行一系列逻辑运算后,实现"车"与"地"的联控来保证机车安全运行,是结合了网络安全传输等技术的网络化、智能化、集成化的信号控制系统。车地联控系统各子系统之间具有独立性,便于系统的升级和维护;其中,地面终端子系统采用QNX操作系统,并将C++用以软件开发,可提高系统的效率和可靠性。其结构简单、运行稳定,可节省投资,目前该系统已研发完成并投入应用。     

CSD模式下无线列调信息传输方式的研究

介绍一种利用GSM—R系统电路交换数据模式来传输无线列车调度数据的方式，具有可靠性高、传输时延小和安全性好的优点。因此建立一个基于GSM—R网络CSD模式的列车调度信息传输系统，实现调度中心和列车之间传送无线列调数据信息．并就CSD模式的数据传输可靠性、安全性和实时性问题进行分析。