主页-构造一个安全的世界2021-07-12T19:22:40+01:00

用科技构建一个

更安全的世界

应用信号设计自动化技术和形式化验证技术满足未来轨道交通的需求

科技构建一个

更安全的世界

安全 快速 经济

目前众多的轨道交通项目都需要新的控制系统,支持不断扩充的交通容量。 现有的陈旧系统将被新的数字化控制系统所取代,以符合诸多的交互操作标准(包括 ERTMS 和 CBTC),这也正是 Prover 可以提供技术支持的部分。 Prover 提供软件自动化解决方案,协助新的、更复杂的数字列车控制系统提升其搭载软件的能力,满足日趋复杂的数字化轨道交通控制系统安全性不断提升的需求。
查看更多

近期要闻

联锁设计自动化

如果项目运营商想要跟上未来的趋势,就需要应用现代化的轨道交通信号控制系统。 现代化的解决方案要同时兼备灵活性和安全性。

与此同时,一个如何开发和维护信号解决方案的新流程,也就必须成为标准化做法。我们要大幅度地减少目前在开发和维护上耗费掉的时间和精力。

查看更多

Prover Studio

Prover Studio 是用于形式化规范的集成开发环境。

Prover iLock®

Prover iLock 是用于开发铁路联锁系统应用软件的桌面工具。

Prover Certifier

Prover Certifier是一种签核验证工具,它基于形式化验证,并为特定应用软件创建符合 CENELEC EN50128 SIL 4标准的安全证据。

查看更多解决方案
Go to Top