Prover Trident®

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

关于Prover Trident®

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

根据信号规则来应用PiSPEC语言定义的形式化需求,使用Prover iLock工具链可以配置、生成和检查特定的应用程序。通车服务使用的软件安全证据是基于数学证明的,它由独立的签核验证工具Prover 认证器生成。

PROVER TRIDENT®

Prover Studio

一款用于形式化规范的集成开发环境

点击查看

Prover iLock®

基于规范的特定系统的开发

点击查看

Prover Certifier

Sign-off Verification of Specific Systems

点击查看

优势

基于规范的应用程序的自动生成和检查可以:

  • 缩短上市时间
  • 减少系统中存在的错误
  • 减少工程工作量
  • 保持一致且可交互操作的系统
  • 针对需求或原则变更的有效管理

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

请填写右侧表格,下载关于 Prover Trident 的宣传册。

您也可以打电话或者发送邮件与我们联系
电话:+46 (0)8 617 68 00
电子邮箱:info@prover.com