Project Description

研究报告

Prover iLock 流程

Prover iLock 流程可显著节省成本

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

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

在 Prover iLock 流程中,前期工作用于指定底层信号原则本身,并将其形式化;此后,只需按一下按钮,即可自动生成、模拟和验证各个联锁系统。最初的投资很快就会得到回报:当开发了几个联锁系统后就能实现收支平衡。

请填写右侧表格,下载研究报告。