Prover Trident
完整的联锁自动化设计过程和工具链
关于Prover Trident
Prover Trident是服务于联锁自动化设计的一套完整的工作过程和工具链,聚集了Prover公司十多年来研发成果,并在世界范围里得到了诸多实际应用。不同于其它单一应用工具,Prover Trident覆盖了联锁软件设计的全生命周期。
根据信号规则使用PiSPEC语言定义形式化需求,并使用Prover iLock工具配置、生成和检查特殊应用。对现场实际使用的软件的安全证明是对软件安全需求的数学证明,它是由独立签署验工具Prover Certifier生成的。

优势
根据规则自动化生成并检查特定应用具有以下优势
- 降低现场部署前的准备时间
- 极大减少系统中的错误
- 降低工程化过程的难度
- 具备一致性和互操作性
- 实现高效的需求或信号规则变更管理

想了解更多关于Prover Trident的信息吗?
您可填写以下表格并下载Prover Trident的介绍材料(英文)。
电话: +46 (0)8 617 68 00
邮件: info-china@prover.com