期刊文献+

联锁系统应用软件的验证 被引量:2

Verification of Interlocking System Application Software
下载PDF
导出
摘要 联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比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
出处 《铁道通信信号》 2013年第4期1-4,7,共5页 Railway Signalling & Communication
基金 铁道科学技术研究发展中心项目(J2012X001)
关键词 EN50128 2011 安全认证 验证 确认 联锁系统应用软件 EN50128: 2011 Safety Certification Verification Validation Interlock System Appli-cation Software
  • 相关文献

参考文献3

  • 1EN50128-2001. RailWay applications-Communications, signaling and processing systems-Software for railway control and protection systems [ S]. 2001. EN50128-2011.
  • 2RailWay applications-Communications, signaling and processing systems-Software for railway control and protection systems [ S ]. 2011.
  • 3[1]TB/T3027-2002,计算机联锁技术条件[S].北京:中国铁道出版社,2002.

共引文献9

同被引文献9

引证文献2

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部