用于自动控制和信号工程的软件工具包

Prover iLock是一种拥有数个扩展模块，可用于控制和信号应用工程的软件。 谈及削减成本、确保安全操作以及提高开发过程速度，该软件成绩斐然。 凭借该产品，Prover Technology在以下方面走在前列且综合能力强：

• （PiSPEC）通用形式说明
• 拥有认证登陆和独立认证核对能力的符合CENELEC SIL-4标准的形式安全检验
• 通过高级应用配置数据自动生成应用编码、测试包以及安全性能
• 集中或分布式非关键及关键的应用硬件精准同步模拟

核心Prover iLock产品使应用工程师可以快速创建应用配置。 一个应用配置通常包括轨道布置、分布和区域划分信息以及其他特定的应用数据。凭借此高级的数据和 PiSPEC数据库，Prover iLock可以生成应用安全、测试和设计说明。

Prover iLock 模块凭借生成的应用说明运作，并自动编码、模拟和形式安全验证。 一旦PiSPEC数据库开发出来并得到验证，新的应用可便以快速实施。 成本得以削减，关键工程资源得到释放，用于其他任务中去。

验证器模块

验证器模块用于形式验证，形式应用模块不可出现任何应用安全说明中所说明的不安全状况。该工具将多种数据、认证登陆和独立认证检验相结合，用于确保与CENELEC SIL-4相一致。

模拟模块

模拟模块用于验证、证实应用编码符合应用测试说明中标明的测试结果。这种测试可能要对物理硬件进行数周、数月甚至数年的测试。 而利用模拟模块时间压缩执行模式，这种测试可在数小时内完成。 然后，进行现场测试，应用编码肯定可以通过所有的逻辑测试。

编码模块

编码模块可以读出独立的目标应用设计说明并生成VHLC、MicroLok 和ANSI-C等用于多种目标的应用编码。这将减少手动编写特定应用编码的数量。此外，信号工程师还花费大量时间开发通用型可重复使用的PiSPEC 数据库。