Project Description
研究报告
Prover iLock 流程
Prover iLock 流程可显著节省成本
Prover iLock 是一个工具链,它可以实现计算机联锁系统的软件开发的自动化。新的 CENELEC SIL-4 认证的联锁系统能够在几天内生产出来,进而节省了大量的开发资源。
使用传统的开发过程,每个联锁系统都需要大量的工程工作。整个联锁系统家族的基本信号原理可能是相同的,但每个系统都要经过单独编程,以获得对其应该控制的站的适当调整。从系统到系统的代码重用局限于手动操作的复制粘贴技术,通常会引入编程错误。
在 Prover iLock 流程中,前期工作用于指定底层信号原则本身,并将其形式化;此后,只需按一下按钮,即可自动生成、模拟和验证各个联锁系统。最初的投资很快就会得到回报:当开发了几个联锁系统后就能实现收支平衡。