联锁系统应用软件的验证

联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件.主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐述了依据EN50128:2011标准对联锁系统应用软件及其开发进行SIL4等级安全认证过程中的各项验证活动.总结出一套适合铁路信号安全相关软件的通用开发验证模式,为以后其他安全相关软件的验证活动提供宝贵的技术积累和经验.     

网络控制应用开发软件合格性测试浅析

按照网络应用开发软件的高可靠性要求,阐述了软件测试流程与软件测试用例设计方法等方面的内容,并对测试实践经验加以总结。通过网络控制应用开发软件合格性测试,软件可靠性得到有效保证。     

机车可靠性指标验证方法分析

对既有机车产品的可靠性指标验证方法进行详细分析,并分析了IEC61124标准中给出的几种验证方式,提出了机车可靠性指标验证方式的选择建议。     

城市轨道交通信号系统运用可靠性的验证方法探讨

为了解决城市交通严重堵塞和环境污染问题．城市轨道交通系统正在我国的一些大、中城市迅速发展。城市轨道交通的特点是列车密度大，正点要求高。信号系统作为城市轨道交通系统中的重要组成部分．对保证列车运行安全和列车正点运行起着重要的作用。因此，要求信号系统必须具有很高的可靠性．     

优化实名制验证检票流程的研究与实施

随着车票实名制的全面铺开,旅客必须持本人有效身份证件购票、进站、乘车、出站。实名制验证检票延长旅客进站乘车的出行时间,同时也给车站工作人员在售票、检票等环节带来了一定工作量。通过对2012年春运上海站实名制验证检票作业的深入研究,提出优化验证检票作业流程上的具体对策。     

机车车辆的可靠性验证测试研究

文章以机车为例对轨道交通车辆的可靠性验证测试技术进行了介绍,阐述了机车车辆常用可靠性特征量和可靠性验证试验要求。以某批次机车为例,说明了机车可靠性验证测试程序、评估方式、接收与拒收标准,提出了一种机车可靠性验证测试的方法,由此评估机车车辆可靠性指标是否满足要求。文章最后阐述了机车可靠性验证测试在机车车辆产品设计中的重要作用。     

列车通信网络控制器的综合验证

列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。     

动车组产品可靠性评估与验证

针对动车组整车和零部件等产品的不同特点,按照不同车型、不同产品、不同运用条件、不同故障后果和不同置信度要求等分类评估的原则,研究动车组产品的可靠度评估方法,包括可靠度置信下限评估方法和故障率置信上限评估方法;以提高验证效率、效益为目标,从最少验证样本、最短验证时间、最低验证成本的原则出发,研究无故障状况下动车组可靠度和...     

ATC系统车载设备安全参数自动验证软件开发

对ATC系统车载设备安全参数特征、取值来源和计算公式进行归纳总结,设计出参数导出规则、多配漏配筛查机制和车载设备安全参数值自动计算模型;通过开发软件实现了待验证参数的自动导出、检查、计算和生成验证报告等功能.相比人工验证方式,该软件在提高验证效率的同时,保证了车载设备安全参数的准确性,具有实际应用价值.     

安全软件验证确认在BTM开发中的应用

以应答器传输模块应用软件为例,介绍验证和确认人员参照EN 50128:2011标准,在整个软件开发生命周期中的各项验证和确认活动,为其他安全相关软件的验证确认活动提供参考。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

机车车辆软件设计的规范化

从当前软件设计存在的问题出发,以IEC62278和IEC62279为基础,提出相关产品的软件安全完整性的等级,各软件开发人员的职责分工。根据当前软件实际情况,将软件开发寿命周期简化为8个阶段,并对每个阶段应完成的文件作了说明。目的在于推进软件设计的规范化。     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

铁路应用软件在线升级系统设计与实现

就铁路应用软件在线升级系统的设计思想与实现方法进行了详尽地论述,对整个系统进行全面的介绍.     

缺陷分析在软件系统测试中的应用

软件系统测试是在实际运行环境下对计算机系统进行一系列的严格有效的测试来发现软件的潜在缺陷;可以根据缺陷状态来判断测试进展情况,开发人员的编程质量,修正缺陷的进度。通过缺陷的分析,可以完成软件产品质量的评估,确定测试是否达到结束的标准,判定测试是否已满足规定的需求。     

城市轨道交通综合试验研究系统分析调研

目前我国轨道交通装备的技术开发十分薄弱,尤其是城市轨道交通的车辆及装备多为国外进口。介绍了德、美、法等国的轨道车辆试验中心的规模、特点、功能和线路参数等。讨论了今后我国在研制和试验城市轨道车辆中,建立试验中心和进行综合研究的必要性。应依靠试验研究,使理论研究更有效地应用于工程实际。     

行车安全综合监控系统的时序Petri网描述及验证

行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。     

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

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

铁路站场平面一体化应用的研究及开发

国内铁路快速发展,促使铁路勘察设计手段的更新。就目前国内铁路站场平面辅助设计软件应用现状,针对铁路站场平面一体化应用软件的架构、资源二次再利用进行总体需求分析,提出了站场平面一体化应用软件思路及基本实现方法,并简略地阐述了应用软件主要实现目标。     

车站旅客电子导向系统软件设计

旅客电子导向系统是车站引导旅客进行登乘的重要基础设施.介绍车站旅客电子导向系统软件部分的组成、功能和模块划分,数据库设计以及实现.