面向列控系统安全软件黑盒测试的 危险分析方法

针对高速铁路列控系统安全软件黑盒测试中对危险事件的可测性、全面性和优先性的需求,研究能够生成有效危险事件测试集的危险分析方法。根据列控系统接口交互信息的类型及特点,改进HAZOP的引导词及节点参数并进行接口危险辨识;然后利用风险矩阵评估接口危险事件的风险等级,提出面向安全软件黑盒测试的接口危险分析方法—HAZOP-I;将该方法应用到CTCS-3级列车运行控制系统运行场景中。研究结果表明:该方法能够为列控系统安全软件黑盒测试提供满足需求的危险事件测试集。     

EN50128在铁路信号安全软件测试中的应用研究

随着列车的不断提速,铁路信号系统作为保障机车车辆安全有序作业的重要安全设备,其软件的可靠性和安全性直接影响列车的运行安全,对铁路信号安全软件的测试就显得至关重要。通过借鉴欧洲铁路的安全相关技术,以铁路控制和防护系统软件标准EN50128为指导,重点论述了标准中软件测试各阶段的活动情况及独立性的体现,并对此标准在铁路信号安全软件测试过程中的应用进行了分析和研究。     

数据静态分析技术及其在安全软件测试中的应用

对于列车运行控制系统中运行的安全软件,其安全性由软件代码和配置数据两部分共同保证.但是,对于配置数据的常见错误模式,特别是多余数据,单纯依靠传统的黑盒测试技术无法做到全面、快速的检出.介绍将面向软件代码的白盒测试技术中的静态分析技术引入数据测试的可行性,以及静态分析技术在安全软件数据测试中的典型应用场景,并分析这种技术...     

SEEA应用探讨

介绍软件错误影响分析的方法和步骤,探讨SEEA在安全软件开发中的作用,同时以某典型联锁软件为例,介绍SEEA在该项目中的应用情况,并给出分析示例。     

信号系统安全软件质量保障体系研究

通过对国际铁路行业标准(IRIS)、铁路控制和防护系统软件标准EN50128以及软件质量相关标准CMM等系统地分析和研究,借鉴国内外其它功能安全行业软件开发相关标准规范的优点,如GJB5000A、DO-178C、特别是NASA的安全软件手册等,结合国内铁路和城轨交通行业的软件特点和软件开发的实际水平,在IRIS的基础上,提出了一种适用于铁路和城轨交通信号系统安全相关软件质量保障的,基于评价和可持续改进的软件工程化实践体系,并成功应用于轨道交通多个信号系统安全软件的质量保障活动中,取得了良好的效果。     

铁路信号系统安全软件的V&V管理策略

结合相应的铁路安全标准要求和实际项目应用经验,由浅入深地对铁路信号系统VV(Verification(验证)Validation(确认))管理过程的思想和策略进行介绍,为铁路安全软件开发过程提供了贯穿软件全生命周期的指导思路和推荐模式,从而提高软件开发效率和有效性。     

地铁维护工作安全风险研究现状及发展

通过论述国内外安全维护工作的现状,分析在地铁安全维护方面的研究薄弱点,将研究视角引入到地铁维护工作的安全风险上,探讨、梳理地铁维护工作的安全危险源及影响因素,以期对我国地铁维护工作提供新的研究思路。     

高速铁路信号系统安全软件质量控制自动化技术研究

基于现代软件工程的理论,研究铁路信号产品高安全性软件开发过程中软件质量控制的信息化、自动化与电子化技术。同时,在当前比较流行的软件辅助开发和管理工具的基础上进行重新设计、集成与开发,探索性的实现高安全软件研发过程质量卡控与基线管理信息化、自动化、电子化的目标。     

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

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

铁路客票系统列车基础数据维护经验探究

列车基础数据维护是铁路售票组织管理的基础工作,分析当前铁路客票系统列车基础数据维护工作存在的问题,基于客票系统现有技术条件,总结经验做法,提出将互联网技术运用到数据维护工作中的思想,实现不同系统间基础数据互联互通。建议设计铁路客票系统数据核查工具,提高数据维护工作的效率和质量,确保铁路客票基础数据的准确性。     

SM4分组密码算法在RSSP-Ⅱ铁路信号安全通信协议中的应用

RSSP-II铁路信号安全通信协议是铁路信号领域的安全软件产品。目前,其使用的加密算法为3DES算法,可防护数据在传输过程中的损坏、伪装等安全风险。为实现技术自主可控、增强核心竞争力,提出采用中国国家标准SM4分组密码算法代替既有的3DES算法,并进行仿真和实物测试验证。     

基于软件测试平台的车站现场仿真

论述了对微机联锁安全软件进行测试评估时现场信号设备的建模仿真问题，提出了模型的建立方案并给出仿真软件的程序结构。该仿真系统为软件测试提供了一个动态的虚拟站场，是测试自动化、高时效的重要保障。本论文所反映的研究成果正在实验室得到实现。     

蓄电池性能测量判断及修复

蓄电池组在确保通信系统稳定工作中发挥着重要作用,发生个别电池性能不良时如何处理是电池维护工作的重要课题。结合工作实践,提出蓄电池性能测量判断及修复处理方法,在确保不降低安全性的情况下,达到最大程度地减少维护工作量、节省维护成本的效果。     

市场化运作机制在南京地铁自动售检票设备维护工作中的应用

南京地铁在自动售检票(AFC)系统管理中,尝试在设备的维护工作中引入市场经济理念,对内、外部资源进行相应的配置,改进了AFC设备的维护工作,降低了设备的维护成本,提高了车站的服务质量,实现运营效益、效率、效果的优化。AFC设备维护的模拟市场化运作,旨在创新和改革设备维护体制、机制,使其成为打造经济节约型人文地铁的有力支撑。     

地铁的信号维护支持系统

在城市轨道交通运营中,信号设备发挥了神经中枢的作用。信号维护工作则是保证信号系统正常工作的关键。对地铁信号系统维护现状进行分析后,建议引入独立的地铁信号维护支持系统,通过实时采集信号设备的运行状态,及时显示故障报警信息,辅助设备维护流程,实现对地铁信号系统设备的集中监测和维护管理。     

铁路客票系统中故障处理流程的设计

在铁路客票系统日常监控和维护工作的基础上,总结系统运行管理的优化工作,设计了故障处理流程模板,运用模板生成铁路客票系统监控维护流程图。     

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

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

局域网的维护

局域网的建设是一种持续项目,在局域网建设完成并且联机使用后,定期维护是必要的.只有定期维护才能正常地运行,忽略了维护工作,时间一久就会问题百出.维护工作包括硬件维护和软件维护.     

便携式450MHz无线数据传输综合检测设备研制方案

通过对450MHz无线调度命令维护检修工作的研究,提出了一种便于现场检修维护人员使用的综合维护检测设备,有利于快速定位故障范围、排查设备故障,从而可以解决实际工作中检修手段缺乏、检修设备繁杂、检修过程繁琐、检测工作效率低下的问题。     

计量在铁路信号维护工作中的作用

在当前铁路跨越式发展的形势下，计量在铁路信号维护中的作用，正确选用仪表是信号维护工作中测量基础工作的关键。