联锁系统应用软件的验证

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

验证与确认技术在CBTC系统中的应用方案

城市轨道交通CBTC(基于通信的列车控制)信号系统与列车安全运营密切相关。如何保证CBTC系统自身的安全性和可靠性是人们研究的重要课题。目前,验证与确认(VV)技术被认为是解决该课题的有效手段之一。介绍了VV技术的概念和发展历程,阐述了VV技术在CBTC中的应用方案。     

300T车载设备BTM单元常见故障分析与处理

研究300T车载设备BTM单元的组成及原理,以中国铁路郑州局集团有限公司的动车组实际运行情况为例,对BTM单元常见的软、硬件故障进行了分析和处理。     

计量确认在企业中的实施

计量确认通常包括校准、验证、加封印及标签等过程,其中“验证”的过程就是将被测测量设备经校准得出的计量特性与该测量设备预期使用的计量要求进行比较.文章通过对计量确认过程的疏理,让看似复杂的计量确认、特别是其中新增加的验证过程变得简单易行.     

BTM硬件在回路仿真系统测试案例描述与管理

随着中国铁路技术的大力发展以及客运专线的不断建成,对车一地之间可靠、完整的信息传输提出了更高的要求。应答器提供点式车一地之间的信息传输,是CTCS系统的重要设备,为铁路的安全运输提供保障。应答器传输模块（BTM）在高速条件下传输与接受的性能测试,是应答器系统国产化应用的关键。BTM硬件在回路仿真系统模拟真实的BTM硬件模块运营环境,进行BTM硬件的实验室自动测试与管理。对测试系统的所有测试案例及测试步骤,使用xml进行描述,并基于虚拟仪器Lab．windows／CVI的开发平台,实现对测试案例的管理。     

LDRA TestBed在CTCS2-200C扩展单元软件测试中的应用

介绍了LDRA Test Bed软件测试工具和CTCS2-200C扩展单元,以CTCS2-200C为例,通过对软件进行静态和动态测试,参照EN 50128:2011标准,提高了整个软件开发生命周期中的各项验证和确认活动效率,降低了软件的风险。     

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

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

CMD系统地面综合应用软件验证浅析

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法.按照CMD系统地而综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题.     

浅谈欧洲安全标准在计算机联锁开发中的应用

本文对欧洲铁路EN5012X系列标准作了简单的介绍，阐述了作者对EN5012X系列标准的理解，对风险识别过程作了介绍，并就EN5012X系列标准对计算机联锁系统开发过程的帮助谈了自己的看法。     

制动夹钳单元静强度验证与确认

以某型制动夹钳单元为研究对象,对其有限元模型准确性的验证与确认进行探究。通过依据ASME V&V标准,验证与确认方案;针对某型制动夹钳的结构,结合现有的仿真分析技术建模,通过验证与确认方案来评价制动夹钳有限模型,使其模型的准确性有足够的理论依据和保证。     

城市轨道交通隧道施工偏差限界确认软件开发

隧道施工偏差限界确认工作的数据处理量大、重复性强、精度要求高,目前基本依靠限界设计人员通过经验及手工绘图进行判断,耗费了大量的人工时,且误判和漏判的可能性大。为此,开发了城市轨道交通隧道施工偏差限界确认软件,该软件能方便、快捷地读取和处理隧道施工测量数据以及车辆参数,自动且高效地进行限界计算、隧道施工偏差的侵限判断并绘制相应图纸,结果准确,功能齐全,显著提高了设计效率。     

DOC盘格式化读写验证装置的原理及其应用

由于线路数据变化,造成电子盘频繁进行写操作,使盘内的无效文件、碎片文件增多,存贮容量下降.为了有效清除盘内的无效文件及文件碎片,就需要一台装置能时DOC电子盘进行格式化操作并能读写及验证,我们主要就CBW-P4800的功能开发及现场实际应用进行阐述.     

“计量确认”的概念及其应用

主要阐述了“计量确认”与“量值溯源”的区别与联系，论述了实施“计量确认”的目的及过程，提出了基层计量管理人员必须具备正确选用计量器具的能力及其工作重心和责任。     

大数据技术在城市轨道交通车辆RAMS验证过程中的应用

以某城市轨道交通车辆项目的RAMS(可靠性、可用性、可维护性、安全性)验证为例,在利用设计原理推断故障原因遇到瓶颈时,利用大数据技术,迅速分析比对,找出了真正的故障原因,排除了多个非车辆本身因素导致的故障。由此证明大数据技术在车辆运营数据和试验数据分析及数据深度挖掘中具有重要价值。     

BusinessObjects脚本程序在信息管理系统中的应用

主要阐述数据分析软件BusinessObjects中脚本程序的编写、调试、运行以及在MIS软件开发中的调用方法,并针对铁路十八点统计分析通用系统给出了具体的应用说明.     

现场总线及接口网桥技术在BTM中的应用

为实现车载主机BTM和监控装置间的顺利通信，设计能把CAN和485总线协议相互转换的接口网桥。网桥以89C52单片机为核心，通过CAN控制器对BTM进行配置和监控，同时和监控装置保持通信。在收到来自BTM的数据时，对数据进行处理，并通过485接口发送给列车监控装置。网桥同时对点式信息数据进行记录，以便提取和检查数据。实验结果表明，经过网桥的中转，监控装置成功接收到来自BTM的点式信息。     

CAPP工艺软件在铁路工厂中的应用

介绍了CAPP工艺软件及其在铁路工厂的货车检修及新造中的应用,分析了方案实施带来的效益.     

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

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

客车转向架焊接工艺软件的开发与应用

针对原焊接转向架工艺软件应用中存在的问题和不足，开发了新焊接工艺软件，并以SW-160型转向架为代表产品，编制组装，焊接工艺软件，指导生产作业。     

南方CASS软件在地形测量中的应用

随着测绘新技术的发展,数字化地形测量将逐步取代传统地形测量方式,CASS软件作为一种基于AutoCAD平台技术的数字化地形地籍成图软件,为现代地形图测绘提供了一种新的技术手段。概述了南方CASS软件在铁路地形测量中的应用和体验,并与传统成图方法进行了比较,指出了其优点及不足。