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

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

软件安全性分析技术在基于通信的列车控制车载子系统中的应用

软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。     

铁路信号软件工程化及安全性评价

软件作为“产品”、其开发过程应按生产“工序”进行。为此提出了软件生存周期概念、软件质量管理和工程化开发的若干问题，以及软件测试和安全性评价的一些概念和方法。     

地质灾害评估图形图像处理

围绕铁路、公路的地质灾害评估工作中的特点，对评估范围呈长条带状、弯道多、经过的评估区域的地形图资料年代不同等问题，使用不同软件进行图形图像处理，并将铁路工作中常用的条带状的折图方法用于地质灾害评估图的处理，较好地解决了此问题，使得成果图清晰美观、容易翻阅。     

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

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

基于牵引控制系统软件安全认证的应用研究

牵引控制系统软件的安全性和可靠性是列车稳定运行的重要因素之一,对其进行安全完整性设计和评估是有必要的。以列车牵引控制系统软件产品的安全认证为例,结合EN 50128:2011标准,对牵引控制系统软件安全完整性评估的技术以及实现方法进行深入研究和实践应用,重点描述依据生命周期流程开展软件设计和软件测试的认证工作,并根据第三方评估机构对整个工作进行总结评估,可为城市轨道交通软件产品的安全认证提供参考依据和借鉴。     

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

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

铁路专用线货车调送费用清算软件的研制

针对铁路专用线货车调送费用清算的通用软件,从软件的组成、运行环境、功能设计、技术关键等各方面,阐述清算软件的研制,并对运用的安全性及特点作论述。     

城市轨道交通信号控制系统软件安全完整性自动化测试方法探讨

城市轨道交通信号控制系统在其安全性、可靠性、可用性和可维护性方面都有很高的要求,尤其针对软件安全完整性等级为4级(SIL4)的系统或子系统,在其测试方法和流程方面都有国际性的标准参考(如欧洲标准EN50128)。测试在遵从标准的前提下,其测试方法应用和测试实践经验也是有所不同的,介绍了软件安全完整性的概念以及标准要求的各种测试流程,并对实际操作方法加以分析,深入探讨了轨道交通信号控制系统软件安全完整性集成自动化测试平台的设计、应用方法和评估。     

动车组牵引系统服役安全性评估方法与标准研究

针对我国动车组牵引系统的运行现状,进行了服役安全性评估方法与标准研究。以CRH380BL型动车组牵引系统为例,运用国际通用的功能安全评估方法,对影响动车组牵引系统服役安全性的因素进行了定性、定量的评估,并建立了模型,开发了评估软件,实现了维修决策的最优化。