Prover Trident2019-04-30T12:43:55+00:00

Prover Trident

完整的联锁自动化设计过程和工具链

关于Prover Trident

Prover Trident是服务于联锁自动化设计的一套完整的工作过程和工具链,聚集了Prover公司十多年来研发成果,并在世界范围里得到了诸多实际应用。不同于其它单一应用工具,Prover Trident覆盖了联锁软件设计的全生命周期。

根据信号规则使用PiSPEC语言定义形式化需求,并使用Prover iLock工具配置、生成和检查特殊应用。对现场实际使用的软件的安全证明是对软件安全需求的数学证明,它是由独立签署验工具Prover Certifier生成的。

PROVER TRIDENT 由三部分组成

PiSPEC IP

定义信号规则

Prover iLock工具

根据信号规则开发特定应用系统

Prover Certifier工具

特定应用系统的签署验证

优势

根据规则自动化生成并检查特定应用具有以下优势

  • 降低现场部署前的准备时间
  • 极大减少系统中的错误
  • 降低工程化过程的难度
  • 具备一致性和互操作性
  • 实现高效的需求或信号规则变更管理

想了解更多关于Prover Trident的信息吗?

您可填写以下表格并下载Prover Trident的介绍材料(英文)。

电话: +46 (0)8 617 68 00
邮件: info-china@prover.com