PMI计算机联锁系统软件的开发及验证流程
PMI("计算机联锁系统"的法文缩写,泰雷兹联锁设备的型号)计算机联锁系统不仅通过硬件的安全冗余架构确保系统安全,而且还通过提高软件的安全可靠性来确保系统安全.介绍了PMI计算机联锁系统软件的开发及验证工具,给出了PMI计算机联锁系统软件的开发、验证流程图,并详细介绍了每一个流程的目的和验证方法.实际应用证明,严格的开发、验证流程及对这些流程的严格执行是PMI计算机联锁系统软件安全的重要保证.
计算机联锁系统、软件开发、软件测试
17
U284.3(铁路通信、信号)
2017-08-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
40-43