联锁系统应用软件的验证  

Verification of Interlocking System Application Software

作　　者：姚亚平[1] 齐志华[1] 徐登科[1] 张萍[1] 

机构地区：[1]中国铁道科学研究院通信信号研究所

出　　处：《铁道通信信号》2013年第4期1-4,7,共5页Railway Signalling & Communication

基　　金：铁道科学技术研究发展中心项目(J2012X001)

摘　　要：联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐述了依据EN50128:2011标准对联锁系统应用软件及其开发进行SIL4等级安全认证过程中的各项验证活动。总结出一套适合铁路信号安全相关软件的通用开发验证模式,为以后其他安全相关软件的验证活动提供宝贵的技术积累和经验。Interlocking system application software is one kind of general-purpose software dedicated to conducting interlocking logic calculation for control signaling equipment in stations or yards independent of system safety platform. We mainly introduce the development lifecycle of interlocking system applica- tion software and define the general requirements about verification activities for interlocking system appli- cation software based on the comparison between EN50128：2011 and EN50128： 2001, and elaborate the verification activities in the process of interlocking system application software development with SIL4 based on the EN50128： 2011. We also summarize one set of generic development verification mode suit- able for railway signaling safety-related software, providing valuable technical accumulation and experi- ence for other safety-related software verification activities

关 键 词：EN50128 2011 安全认证 验证 确认 联锁系统应用软件 

分 类 号：U284.362[交通运输工程—交通信息工程及控制]