PMI计算机联锁系统软件的开发及验证流程

• 作者: 乌晓雯
• 来源期刊: 城市轨道交通研究
• 学科: 交通运输
• 关键词: 计算机联锁系统 软件开发 软件测试
• 年，卷（期）: 2014,（z2）
• 所属期刊栏目: 学术专论
• 页码范围: 40-43
• 页数: 4页
• 分类号: U284.3
• 字数: 4421字
• 语种: 中文

摘要

PMI("计算机联锁系统"的法文缩写,泰雷兹联锁设备的型号)计算机联锁系统不仅通过硬件的安全冗余架构确保系统安全,而且还通过提高软件的安全可靠性来确保系统安全.介绍了PMI计算机联锁系统软件的开发及验证工具,给出了PMI计算机联锁系统软件的开发、验证流程图,并详细介绍了每一个流程的目的和验证方法.实际应用证明,严格的开发、验证流程及对这些流程的严格执行是PMI计算机联锁系统软件安全的重要保证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	乌晓雯		1	0	0.0	0.0