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

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

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

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

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

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

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

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

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

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

铁路信号安全软件开发模式和管理方法的应用探讨

本文结合相应的铁路安全标准和项目开发实际介绍了安全软件开发的基本思想、模式、实现途径和管理措施，阐述了两个重要概念，一个是安全完善性等级，一个是安全生命周期，重点介绍了生命周期各阶段采用的具体设计、测试和管理的技术及方法。     

基于模型的CBTC区域控制系统安全软件开发

传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求.结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构,阐述该系统的移动授权和列车管理功能建模方法,并从模型覆盖率分析和形式化验证两方面深入分析系统安全性保障措施.ZC系统的研究项目表明,基于模型的开...     

基于区域控制器的列车安全位置计算

由于通信延时和测距误差的存在，ZC(区域控制器)需根据列车汇报的位置，综合考虑列车当前运行速度和通信延时等因素，进行列车安全位置的准确计算。介绍了ZC计算列车安全距离的前提，详细阐述了列车安全位置计算的原理，分别探讨了本ZC管辖范围与相邻ZC共管区范围的列车安全位置计算原理和计算原则，并总结了不同异常情况的处理原则。     

基于软件易测试性的CBTC区域控制器系统设计

区域控制器系统是CBTC铁路运行系统中重要的一部分，对提高列车运行效率和安全起着重要的作用。首先介绍了区域控制器的工作原理和易测试性的特点，然后将易测试性方法应用于区域控制器系统的设计中。这种设计方法提高了测试效率，降低了测试成本。     

软件配置管理在软件开发中的应用

软件配置管理作为软件开发过程的必要环节和软件开发管理的基础,支持和控制着整个软件生命周期.介绍了实施软件配置管理在软件开发活动中的重要性,如何选取软件配置管理工具和在软件配置管理活动中采取的策略、以及实施中要注意的问题.     

直线电机地铁列车牵引计算软件的开发

分析了直线电机列车牵引计算的基本方法,比较了柔性多质点和刚性多质点模型的不同,利用刚性多质点模型编制了牵引计算软件。以广州地铁四号线直线电机列车为例进行了算例分析。     

基于工作流的软件开发配置管理方案

在软件配置管理技术中融入工作流管理枝术,在此基础上设计基于工作流的配置管理方案;并在配置管理方案中对软件配置管理的内容和工作流定义赋予新的含义.     

企业应用软件开发安全体系的构建

针对企业应用软件设计与开发过程中所需考虑的安全性问题,构建一套企业内部适用的应用软件开发安全体系.通过剖析企业应用软件常见漏洞防护技术,依照应用软件开发生命周期流程,从设计安全、编码安全、过程管理安全等方面重新梳理、补充企业应用软件开发安全体系的框架.考虑体系框架下对应安全要求,为了方便指导应用软件设计人员、代码开发人...     

形式化方法应用于计算机联锁软件的安全验证研究

铁路信号系统中的联锁系统对安全性要求极高，仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化，得到具体的安全需求后输入带归纳功能的布尔可满足问题（SAT）约束求解器进行验证，通过覆盖所有的实例、所有周期以及每个周期所有的状态空间，保证了验证方法的完备性。     

通过UG软件实现车辆位置分析的方法

文章介绍了一种通过UG软件实现车辆位置分析的方法。利用该方法,通过UG软件建立线路模型和车辆模型,并进行动态仿真分析,可快速、准确地导出车辆位置图。     

软件开发复杂性与RUP方法应用的研究

详细分析开发过程中影响软件产品的复杂因素,并对RUP方法进行了讨论,以一个实际软件系统开发过程为例,简要描述如何运用RUP方法的过程,同时提出一些降低软件开发风险的思路.     

基于DevOps理念的铁路软件开发平台设计

针对不断提高的铁路信息化建设需求，设计了基于DevOps理念的铁路软件开发平台。通过微服务架构、容器化管理、统一安全认证等技术，提供全生命周期的一站式软件开发服务，实现软件开发可视化、管理统一化、数据公享化，打破单兵作战的软件开发模式。在中国铁路上海局集团有限公司应用的结果表明，该平台提升了软件交付效率，保证了软件开发与交付过程中的可靠性、稳定性和安全性。     

轨道交通软件开发中的数据结构定义方法

本文介绍一种轨道交通软件开发中的数据结构定义方法,步骤包括:形成设备基础信息表;形成设备对象到边及控制区域的第二索引表.采用这种数据描述方法能减少映射表的使用,使数据操作简单、一致和方便,符合轨道交通软件开发对数据的实时性和安全性的要求.     

软件开发部门实施软件能力成熟度模型的研究

软件是未来铁路综合信息系统的核心,而铁路软件开发部门的规范化则是铁路软件质量的保证.CMM是目前国内外软件开发流程的规范化模型,结合铁路目前软件开发的现状,给出了将CMM模型运用到铁路软件开发过程的一系列方法.