联锁系统应用软件的验证

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

EN50128标准新版与旧版的差异研究

针对欧洲标准的不断改进和更新,在深入学习2001版EN50128标准和2011版EN50128标准的同时,结合新版EN50128的改进方向,深入研究新、旧版本的差异,能更好地指导软件产品的开发,完善我国信号系统的安全评估体系,保证开发产品的安全性。     

列车网络控制系统安全性研究

依据标准EN 50126-1、EN 50129、EN 50128的规定,阐述了列车网络控制系统安全完整性开发流程.通过建立列车网络控制系统安全管理体系、定义安全生命周期模型、解析安全性专有技术,论证了列车网络系统安全完整性开发流程的正确性.     

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

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

Ada语言在铁路信号系统开发中的优势分析

Ada语言是欧洲铁路标准EN50128:2011强力推荐的开发语言之一。本文结合EN50128的相关要求,从强类型、指针的使用、编译方式、可靠性、易读性和易维护性等方面,阐述了与传统语言C/C++相比,Ada语言在铁路信号系统开发领域中的优势,并指出其存在的一些局限性。     

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

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

JWJ-C型微机计轴设备系统隐患识别分析及安全性验证

简要叙述了JWJ-C型微机计轴设备的定义、架构、功能及安全侧定义,详细论述了计轴设备的系统隐患识别和安全性设计、验证符合欧标EN50126/EN50128/EN50129中安全等级SIL4级的要求。     

具有借鉴意义的哥本哈根地铁安全评估

根据"IEC61508国际标准,欧洲电工标准化委员会(CENELEC)推出了EN50126,EN50128,EN50129等标准。哥本哈根地铁系统应用这些CENELEC铁路应用方面标准、美国消防标准和丹麦以及IEC等相关标准,成功地对复杂的地铁工程与装备系统进行了安全评估,并得到了许多国家的认同。作为一个安全评估示例,已写入了EN50126标准(RAMS)附录中,其评估基础、安全评估概念与程序对我国城轨系统的安全评估工作具有借鉴意义。     

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

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

列车自动保护安全平台错误检测码及其运算规则的研究与设计

采用错误检测码是欧洲标准EN50128中保证软件安全的重要手段之一.通过对关键数据和校验字检测以满足软件的故障-安全要求,是轨道交通ATP(列车自动保护)安全平台不可或缺的部分.针对错误检测码在安全平台中的应用,依据软件安全完整性等级的要求,结合线路数据的数值特征,采用线性分组码的编码方式,设计了(32,14)错误检测码及其运算规则.利用错误检测码替代安全平台中关键信息的逻辑和数学运算,并对运算结果进行检错和纠错.测试结果表明,错误检测码能很好地满足安全平台实时性和安全性要求.     

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

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

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

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

上海地铁18号线首列全自动地铁列车成功下线

<正>上海地铁18号线全自动驾驶列车按照全自动驾驶标准EN 62290:2014中最高等级GoA4进行设计,是全过程无人值守的最高等级全自动驾驶列车,能够实现正线全自动精准载客、停站、开关门等运行使命,并进一步增加对位隔离、跳跃停车、远程控制等远程功能。该列车按照EN 50126和EN 50128等的安全标准设计,并且通过了独立第三方安全认证和独立第三方防火     

基于XSD的配置工具数据处理安全平台

为城市轨道交通信号系统设备的用户配置工具开发了可通用的、基于可扩展标记语言模式定义（XSD,XML Schema Definition）的配置工具数据处理安全平台，该平台通过类生成模块与通用数据处理模块的相互配合，完成信号系统配置数据的输入/输出处理，用户配置工具可方便地进行数据的读/写操作，提高用户配置工具的开发效率。     

Digitilt AT数据处理软件开发及运用

由于Digitilt AT活动测斜仪自带的DigiPro2数据处理软件的初始值机制、原始数据机制、数据比较机制、变化曲线机制与国内的测斜工作模式不符合,且没有预警机制、无法主动生成word报告、无统计功能。基于此开发了Digitilt AT数据处理软件,增加了预警机制、统计机制、自动生成报告机制,完善了初始值机制、原始数据机制、数据比较机制、变化曲线机制,使得测斜数据处理效率更高。     

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

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

现代有轨电车行车调度与控制仿真系统研究与设计

针对现代有轨电车行车调度与控制仿真测试的现实需求,研究设计了基于HLA架构的现代有轨电车行车调度与控制仿真系统。该系统采用SA结构化分析方法进行需求分析,明确了功能需求;以MVS开源开发平台和VC++面向对象语言为工具,实现各功能的算法流程;考虑到现代有轨电车的高安全性特点,研究了仿真系统的安全设计策略,提出了安全设计方法;为了保证数据交互的可靠性,采用EN50159-1协议规范进行数据访问。该系统为现代有轨电车行车调度与控制系统的仿真研究和测试提供了一定的参考。     

EN50129中关于故障的分析及安全的完整性

随着列车速度的不断提高，列车运行的安全问题越来越受到重视。借鉴国外的安全相关标准和先进经验，制定符合我国国情的安全标准是目前解决这个问题的有效的方法之一。文章介绍欧洲安全相关标准EN50129中关于故障的分析方法，并对2个组件并发模型进行了分析计算，提出安全完整性等级的划分方法。     

对制定铁路公路两用车技术标准的思考

从一般安全角度,比较欧洲标准EN 15746-2:2010+A1:2011《铁路设施—轨道—公路铁路两用机械及相关设备第2部分:一般安全要求》与我国国家标准GB/T 9465—2008《高空作业车》和GB 25849—2010《移动式升降工作平台设计计算、安全要求和测试方法》的主要差异。据此提出尽快制定我国铁路公路两用车技术标准的建议,并给出2种技术方案。     

开放环境中的安全通信

基于封闭环境中的安全通信,分析了开放环境中安全通信面临的风险,根据EN 50159-2的建议,讨论了三种入侵防护方式。