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

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

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

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

基于SCADE联锁逻辑实现与仿真分析

联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法从联锁逻辑的层次化设计到最终代码验证,实现开发过程的自动化,不仅极大地提高软件开发过程中的效率,而且能够保证系统的安全性和可靠性。     

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

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

SCADE开发既有系统中单个模块方法的研究

对采用SCADE设计既有联锁系统单个模块的方法进行了研究,从数据交互方式、数据结构兼容性、静态数据使用方式和典型结构等方面进行说明和分析,SCADE不仅适用于开发完整系统,在开发既有联锁系统中单个模块的实践中也具备很好的兼容性和适用性。     

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

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

基于SCADE的列车调度软件设计

列车调度软件是ATS系统的核心,以往的ATS系统列车调度软件,按照传统的＂V＂型软件开发流程进行。由于采用手工编码方式,编码工作量大,实现完整测试非常困难,开发出来的软件安全性和可靠性难以保障。提出了以SCADE作为应用开发环境平台,既能够开发出高质量和高可用的软件,又能缩短开发周期降低开发成本,通过对ATS系统中列车调度软件的分析和设计,说明了基于SCADE的列车调度软件设计方法的可行性,同时,在未来ATS系统软件开发中具备广阔的应用前景。     

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

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

基于通信的列车控制(CBTC)系统中轨旁控制子系统一体化研究

分析了国内外CBTC(基于通信的列车控制)系统的结构特点.针对典型CBTC系统存在的问题,着重分析了CBI(计算机联锁)和ZC(区域控制器)均采用同一硬件和同一软件的轨旁控制子系统一体化方案,给出了该方案下轨旁控制子系统为列车计算行车许可的方法.最后对一体化的CBTC系统与典型CBTC系统下开放信号机、关闭信号机、人工...     

面向安全的计算机联锁系统联锁逻辑测试实施规范

PMI(计算机联锁)是CBTC(基于通信的列车控制)系统中实现联锁计算的子系统。分析了由城市轨道交通信号固有的逻辑耦合以及自仪泰雷兹面向客户功能需求的系统开发模式造成的PMI联锁逻辑的复杂性;概述了城市轨道交通系统所承担的巨大公共安全责任和实时高强度运营负荷,对PMI联锁逻辑的安全性和可靠性提出的要求;介绍了面向安全的PMI联锁逻辑测试实施规范;介绍了基于规范的PMI联锁逻辑测试实施工具的开发,并提出了进一步开发的几点构想。     

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

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

基于SCADE需求分析和用例设计在新型列控系统RMU子系统的应用

针对新型列控系统(C4D-I)的地面核心设备(Resource Manage Unit,RMU)是没有明确技术规范的创新产品,提出基于SCADE需求分析和用例设计方法,该方法以SCADE architect模块为依托,对需求和用例进行建模.该方法避免传统人工进行需求分析带来的需求不完整、模糊和缺失等问题;同时为用例设计...     

符合SIL4级要求的计算机联锁系统开发

计算机联锁系统是保证行车安全的重要铁路信号设备。当前国内铁路快速发展对计算机联锁系统提出了更高的要求,为此CENELEC系列标准引入到计算机联锁系统的开发过程中。开发出符合SIL4级要求的计算机联锁系统,并阐述了作者对欧洲铁路安全标准的一些认识和思考。     

综合监控系统中配置自动更新软件的设计

为了方便、高效地管理RT21-ISCS综合监控系统的系统文件和目录,保证综合监控系统的安全稳定运行,针对综合监控系统的特点,实现了一种基于Subversion的配置自动更新软件。阐述Subversion相关技术及配置自动更新软件的架构、设计思路和代码实现。     

列控中心仿真测试技术的发展与应用

列控中心仿真测试是确保CTCS系统安全的一项重要内容。介绍了列控中心仿真测试的意义和内容;描述了国内外铁路列控系统仿真的发展历程和研究现状;对目前国内几种主要的仿真测试模型或系统作了简介;最后还指出了当前列控中心仿真研究存在的一些不足之处。