Prover iLock 流程

Prover iLock 是一个工具链，它可以实现计算机联锁系统的软件开发的自动化。新的 CENELEC SIL-4 认证的联锁系统能够在几天内生产出来，进而节省了大量的开发资源。

使用传统的开发过程，每个联锁系统都需要大量的工程工作。整个联锁系统家族的基本信号原理可能是相同的，但每个系统都要经过单独编程，以获得对其应该控制的站的适当调整。从系统到系统的代码重用局限于手动操作的复制粘贴技术，通常会引入编程错误。