铁路车站计算机联锁软件研究与设计

计算机联锁是铁路车站的重要系统之一,主要是控制列车在站内的安全运行。联锁系统分硬件和软件系统,联锁逻辑运算模块是计算机联锁软件系统的核心,其完整性和优越性决定着联锁系统的功能和性能。针对基于"与或"逻辑的联锁软件逻辑繁琐、集成度和可移植性差等问题,在采用模块化思想和结构化语言的基础上,通过分析联锁逻辑运算模块的功能需求和实现方法,设计了详尽的软件执行流程。通过实际应用,结果表明采用模块化结构和结构化语言的联锁软件功能完善,具有良好的可维护性和可移植性,符合计算机联锁技术条件第8条规定。     

计算机联锁标准站研究

本文针对测试计算机联锁系统时采用的标准站,分析了该站的具体构成要素,阐述了标准站对联锁软件的技术要求及其中的技术难点,描述了继电联锁存在的一些问题,并介绍了计算机联锁软件处理一些联锁问题可采用的方法和措施。     

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

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

计算机联锁标准站研究

本文针对测试计算机联锁系统时采用的标准站，分析了该站的具体构成要素，阐述了标准站对联锁软件的技术要求及其中的技术难点，描述了继电联锁存在的一些问题，并介绍了计算机联锁软件处理一些联锁问题可采用的方法和措施。     

成灌铁路计算机联锁系统的设计与实现

成灌铁路是我国第一条通车运营的市域铁路,联锁系统采用TYJL-ADX型二乘二取二计算机联锁。该系统是在既有结构的基础上,按市域铁路信号系统的技术要求开发完成。介绍了成灌铁路计算机联锁系统的硬件构成,软件的显著特点,新增客运专线信号机点灯控制功能的设计方法,无配线车站控制功能的软件实现等,以及对一次解锁等功能的探讨与研究。     

一种基于质量检查的联锁车站软件配置管理方法

随着计算机联锁系统的发展,联锁车站软件变更次数增多,联锁车站软件配置管理工作在管理变更版本方面存在困难。为此,提出一种在配置管理工作中增加质量检查的管理方法：提前规定相关的人员、设备、作业方法;识别配置管理的对象,制定配置项标识规则;通过执行车站软件的版本控制、文件时序性、文件一致性、软硬件匹配、软件结构性等检查,以及判断生产输出记录中人、机、料、法、环等生产要素是否满足要求,来保证车站软件的生产质量。经3 000多个计算机联锁车站开展试验应用,结果证明联锁车站软件问题数显著减少,该方法在提高联锁车站软件的生产质量方面可行有效,能进一步保障现场联锁车站软件的安全稳定运行。     

城轨系统中联锁仿真平台的设计和实现

分析城市轨道对联锁新的需求,以面向对象的方法设计和实现了联锁仿真平台。该仿真平台采用RSSP-I协议解决通信中的干扰问题;不仅实现了铁路基本联锁功能,还实现了对屏蔽门的控制。基于CBTC仿真环境验证了仿真平台的有效性,为快速开发计算机联锁软件和验证新的联锁功能提供便捷的手段。     

计算机联锁系统自动测试系统研究

针对如何持续提升联锁软件测试的有效性和测试效率这一问题,分析计算机联锁软件自动测试的需求,以灰盒测试为思想,采用层次化框架结构,设计实现一种基于脚本驱动的自动测试系统.该自动测试软件能够提升计算机联锁测试效率,保障联锁测试的可靠性.     

嵌入式联锁软件模拟自动测试平台的研究

为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达，阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案，最后，给出了自动测试平台得到的联锁软件分类测试结果。     

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

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

计算机联锁软件的黑盒测试过程分析与实现

结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试覆盖率准则的基础上,举例介绍了用等价类划分法编写测试用例和用故障树分析法编写安全性测试用例以及测试流程,并用python伪代码实现了“进路正常选出”的测试用例。通过上面的方法来体现黑盒测试在计算机联锁软件逻辑运算功能的重要性。     

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。     

计算机联锁数据自动生成软件的设计与实现

针对计算机联锁系统数据编写任务量大、正确性和安全性要求高等情况,通过分析联锁系统数据的结构特点,结合可视化编程方法,开发一种自动化软件,实现铁路车站图形绘制和联锁数据生成与校验功能.测试与应用表明,该软件可有效避免联锁数据编制中的人为错误,提高联锁软件安全可靠度,同时降低了联锁软件编制人员的专业水平门槛,可缩短软件编制...     

青藏铁路无线机车信号联锁通信协议转换的研究

青藏铁路无线机车信号联锁通信协议与试验站场的联锁通信协议不一致,提出一种用C语言编写协议转换软件的方法,有效地解决联锁通信问题.介绍无线机车信号系统的功能和结构,对联锁通信协议转换的原理和软件实现方法做详细说明.经过现场试验,系统联锁通信表现出良好的稳定性和可靠性.     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

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

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

城轨正线联锁与门设备的控制接口分析与软件实现

城轨交通信号系统国产化是未来城市轨道建设的必然要求。讨论了作为信号系统核心子系统之一的计算机联锁设备与门设备的接口逻辑和联锁软件实现方法;阐述了计算机联锁应用层软件相关部分的设计方案,以适应城轨正线联锁设备的国产化要求。     

计算机联锁工程软件安全生产优化方案

为实现铁路车站计算机联锁系统工程软件的安全生产,依据铁路信号运用管理办法及相关安全评估标准,在软件生产环节制定一系列优化措施。针对工程软件设计、编制环节存在的问题,提出有效解决方案;结合工程应用经验,通过采用双套校核机制减少软件人员在数据编制时的错误,提高软件的安全性和可靠性;依据软件生产流程控制特点,采用信息管理系统、开发联锁数据自动生成工具应用到软件生产中,提高软件生产效率。研究表明,上述优化方案应用于联锁工程后效果良好,可有效提高联锁软件的生产效率和安全性。     

联锁表自动生成软件的设计与实现

为提高铁路信号设计效率,设计联锁表自动生成软件。依据计算机联锁车站联锁图表编制原则,运用绘图交换格式(DXF)数据提取的方法,结合车站信号设备平面布置图及其他站场数据,构建站场形数据结构,通过广度优先搜索算法,实现进路自动搜索并保存进路数据和联锁表数据,利用ActiveX技术与AutoCAD软件连接,根据保存的联锁表数据,生成并输出CAD格式的联锁表。联锁表自动生成软件已应用于现场,取得了良好的应用效果。     

基于CAN通信的计算机联锁IO仿真系统设计

以计算机联锁系统体系结构为基础,结合健全和完善联锁软件试验的设计理念,借鉴现有成熟的计算机技术及通信接口技术,研发设计了一种基于CAN通信的计算机联锁IO仿真系统.详细阐述了系统的架构、软硬件设计原理及主要功能实现.功能测试和仿真应用实践表明,系统设计满足联锁软件试验要求,能够健全联锁软件试验覆盖面和提高试验效率.