构造一个安全的世界

应用信号系统设计自动化技术和形式化验证技术满足未来铁路的需求

关于我们

航空业和汽车业对石油的依赖带来了污染,而轨道交通具备高速、经济、安全且环保的优势。Prover公司致力于构建一个可持续且安全的世界。我们为包括车载系统和地面系统在内的安全苛求信号系统提供工程化解决方案。

Prover公司提供的联锁自动化设计解决方案可显著降低信号系统研发和维护时间,并同时显著增强安全性。根据我们过往的经验,联锁系统交付时间可由12-18个月缩短到1-3个月,而传统开发过程中几乎占一半时间的验证过程只需要一键完成。

我们的PiSPEC®和ProveriLock®解决方案用于定义规范,编码,模拟和形式验证各种系统,包括联锁,CBTC,ERTMS,ATP和PTC。 我们还提供所需的软件IP和培训,使我们的客户能够以合理的成本满足严格的认证要求,例如CENELEC SIL-4认证。

Prover积极参与铁路和信号行业协会以及SWERIG和UNIFE等标准化机构。 我们正在积极参与塑造未来的列车控制系统。 努力实现安全,经济高效和面向未来的解决方案。

Prover是安全关键系统形式方法和形式验证的全球领导者。 该公司成立于1989年,位于瑞典斯德哥尔摩,多年来在该领域积累了丰富的经验。 Prover在美国,法国和中国设有办公室,公司由投资者和员工私人拥有,并在超过25个国家拥有客户。

联锁设计的自动化解决方案演示

本视频展示了一个现代化的联锁设计自动化解决方案,即Prover Trident, 以及如何利用此方案高效地,安全地设计和开发铁路联锁系统。

更多内容

Prover Trident

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

形式验证

形式验证是一种检查系统是否100%确定地满足所选属性的技术

联系我们

欢迎您的垂询!