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

摘要

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