BS EN 50128在列车控制管理系统验证和确认过程中的实践

软件验证和软件确认是软件质量保证的有效手段,也是BS EN 50128:2011+A2:2020标准中规定的保证软件安全性和可靠性的必要活动,列车控制管理系统开展研发生命周期全过程的验证和确认活动,可确保列车控制系统整个开发过程的正确性,确保各开发阶段输出的软件、文档、过程等满足一致性、正确性和完整性的要求,最终输出满足用户需求的产品。本文按照EN 50128:2011+A2:2020标准的要求对列车控制管理系统开展验证和确认工作。

EN 50128:2011在轨旁安全平台验证和确认过程中的应用

轨旁安全平台的验证和确认是贯穿整个轨旁安全平台系统研发、测试、产品化过程的核心,确保整个开发设计和测试过程的正确性,验证轨旁安全平台系统开发阶段输出的软件、文档、过程和应用等在完整性、正确性和一致性方面满足输入的要求,同时基于证据来确认软件、文档、过程和应用能够满足用户需求.本文按照铁路信号标准EN50128:2011中的相关要求对轨旁安全平台系统进行验证和确认.

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

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

联锁系统应用软件的验证

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

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

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

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

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

CMMI在铁路信号系统产品开发中的应用

铁路信号系统是安全相关产品，关系到万千乘客的生命和财产安全，因此开发安全级产品需要更为严苛的过程保障。CMMI作为目前国际上最流行、最实用的过程改进方法，为组织提供了有效过程的基本元素和质量活动的指导，并为评估现有过程提供了参考。EN50128对铁路控制和防护设备中使用的可编程电子系统的软件开发和安全保障进行了总体规范。文中结合作者的体会，介绍了在实际工作中应用CMMI管理软件项目的具体实践，并举例介绍了CMMI如何应用在铁路信号产品开发领域。