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

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

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

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

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

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

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

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

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

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

计算机联锁软件制式的安全性评价

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果     

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

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

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

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

提高EI32-JD驱动采集可靠性的探讨

E132-JD型计算机联锁是采用日本信号株式会社研制的EI-32型计算机联锁主机，搭载北京交大微联科技有限公司编制的联锁软件开发研制而成的符合故障．安全原则的高可靠性、高安全性的计算机联锁系统。[第一段]     

计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

计算机联锁软件设计及进路搜索算法的研究与应用

本文根据联锁软件所要实现的功能,对联锁程序进行模块划分,采用模块化的设计方法编写联锁软件,并对进路搜索模块中不同算法进行分析比较,提炼出一种高效率的搜索算法,结合站场型数据结构将此算法应用到联锁软件的设计开发中.最后对联锁软件的安全性进行简要分析.     

车站站场室外场景3D联锁仿真软件设计

车站站场室外场景3D联锁仿真软件实现了车站联锁控制过程的三维实时动态复示。该软件的设计采用3D MAX软件对各信号设备建模,采用C#编程语言在Unity3D平台下制作转辙机带动道岔转换、轨道电路光带显示及信号机点灯等动画;通过实时接收计算机联锁仿真软件数据驱动车站站场室外3D设备动作,直观地展示排列进路、模拟走车等车站室外作业和几类故障情况的仿真效果,为车站联锁控制系统的教学或培训服务。     

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

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

城市轨道交通信号系统联锁控制权交接研究

城市轨道交通信号系统中,调度人员通过列车自动监控系统中心工作站和车站工作站都可以向联锁机发送控制命令,但是同一时刻联锁机只能有一个指令源。因此在设计联锁系统软件结构时,需要采用合理的联锁控制权交接机制,防止控制权交接错误。从联锁控制权交接问题入手,总结联锁控制权交接原则,详细分析各个设备之间采用不同互联方式时的联锁控制权交接方案,并对不同方案的影响和优缺点进行比较,为联锁系统的软件设计提供理论依据。     

客运专线计算机联锁仿真系统的开发

阐述了现有计算机联锁仿真软件的不足。重点介绍计算机联锁模块化仿真软件的开发。软件采用二级缓冲技术,具备真实室外环境和仿真环境的自适应能力。论述了该仿真系统实现的主要功能及特色。说明了该仿真系统在铁路信号中的应用前景。