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

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

联锁系统应用软件的验证

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

安全关键系统配置数据生成技术研究与实践

介绍一种符合EN50128-2011的安全数据生成方法,包括2个步骤:数据生成工具的开发和安全数据的生成。数据生成工具的开发采用双链工具法,由2个独立的团队开发,每链工具的开发符合EN50128-2011对SIL2软件的开发要求。数据生成过程定义了生成、验证以及确认等活动,每一项活动保证人员的独立性,既避免了安全问题,又提高了配置数据生成的效率。     

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

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

欧洲新版轨道交通RAMS系列标准分析和应用

对欧洲新版轨道交通RAMS系列标准EN 50126、EN 50128、EN 50129和EN 50159等的主要内容进行介绍,对其在我国轨道交通上应用的重点问题提出建议.     

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

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

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

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

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

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

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

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

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

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

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

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

CTCS2-200C列控车载设备软件测试方法研究

简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。     

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

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

轨道交通车辆软件开发过程中的质量保证措施

基于EN 50128标准提出轨道交通车辆软件系统全生命周期质量管控策略。在遵循国际标准认证的质量管理体系框架内,定义适合轨道交通车辆软件产品生命周期模型及各阶段质量保证任务。针对软件生命周期各阶段不同质量任务,全面阐述软件需求、架构设计、软件编码、软件测试及维护运营等各阶段保证软件质量的管理方法和措施。通过制定并运用软件需求检查清单、安全性设计技术、编码规范、验收测试标准、维护变更管理等质量审核手段,来保障软件产品的质量要求。     

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

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

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

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

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

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

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

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

CMMI＋SAFE研究及在产品开发中的应用

铁路信号系统是安全相关系统,组织开发安全相关系统需要特殊的流程保障。介绍了CMMI的扩展规范＋SAFE,＋SAFE和CMMI之间,和IEC61508、EN50129、EN50126等铁路安全相关规范之间的关系,以及如何应用在铁路信号产品开发领域。     

用Origin C编程自动化处理制动试验数据

在对大量具有相同数据格式的制动运行试验数据文件进行处理时,通过使用OriginLab的数据处理软件Origin中特有的Origin C语言进行编程开发,可以借助其面向对象的特性及与ANSI C的兼容性,方便快捷地开发出满足要求的程序,自动处理目标文件.