安全 快速 经济
满足当今日趋复杂的数字轨道控制需求
轨道控制软件自动化解决方案
目前在全世界范围内，对城市地铁、轻轨和干线的铁路运输能力和互操作性的需求都在日趋增加。 铁路系统将通过在现有的基础设施上安装新的、更先进的数字铁路控制系统来满足这一需求，例如：
- 用于城市地铁的 CBTC
- 欧洲铁路的 ERTMS
- 具有新功能的传统轨道控制
由于安全始终是轨道控制的重中之重，巨大的需求带来了挑战——传统的安全评估方法耗费太多时间并已经形成瓶颈，它不仅延迟上市时间，而且还会增加成本。
在 Prover，我们热衷于帮助现代的轨道交通系统克服轨道控制的挑战。 我们提供联锁设计自动化解决方案 Prover Trident，以解决现代轨道控制软件的复杂性，它基于：
- 严格和自动化的需求符合性检查，具有数学证明的安全性
- 贯穿系统生命全周期的高效需求变更
- 具有标准接口的，一致且可交互操作的系统
通过实施 Prover Trident 为您的数字铁路控制系统创建软件，您将能够：
- 更快地实施现代列车控制
- 彻底地放心，因为安全性已被数学证明
- 在需要时更有效地处理系统功能的变化