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

Software Development and Verification Process of PMI Computer Based Interlocking

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

The safety of PMI （Postes des Manoeuvre a en- clenchements lnformatiques, THALES Computer Based In- terlocking） is not only guaranteed by the safe and redun- dant system architecture, but also by the improvement of software quality. The tools used for PMI computer based interlocking software development and software verifica- tion process, the flow chat of software development and verification of PMI, as well as the goal and method of ev- ery process are introduced in detail. The practical applica- tion has proved that the strict process of software develop- ment and verification, the strict performance of the process are the guarantee for PMI interlocking safety.