轨道控制软件

高容量高可靠性的现代铁路联锁软件研发解决方案

Prover Trident – 应用于当今日趋复杂的数字列车控制

满足更高的运力需求是铁路行业的主要挑战，快速、经济、高效地交付铁路基础设施的能力是成功的关键因素。而此类项目的一个常见瓶颈是数字列车轨道控制软件的开发和安全评估，无论是用于新安装、现有安装的升级，还是应用于传统联锁、ERTMS、CBTC，都需要针对该任务设计的专用软件工具。

这是一套完整的程序和工具链，它可以减少工程工作量和周期成本，缩短上市时间，并确保获得最高级安全标准的认证。 Prover Trident是基于以下三种解决方案的组合工具：PiSPEC IP，Prover iLock和Prover 认证器。

PiSPEC是一种形式化规范语言，旨在促进铁路信号系统中的需求规格的形式化和审查，并使此类系统能够进行自动化工程设计和验证。 PiSPEC 主要应用于形式化设计、测试和安全规范。

Prover iLock 是用于开发铁路联锁系统应用软件的桌面工具。 Prover iLock会自动将PiSPEC IP和应用程序配置转换为既定目标硬件的通车服务代码，并附有功能测试和安全验证报告。

Prover Certifier是一种签核验证工具，可基于形式化验证为特定应用软件创建符合CENELEC EN50128 SIL 4要求的安全证据。Prover Certifier最大限度地减少了对传统安全验证任务（例如测试和代码审查）的需求。

Prover Extractor是用于自动处理、检查和生成基于继电器的联锁系统原理图的工具。它用于从继电器电路原理图中提取元件和互连数据，以实现检查设计一致性和设计指南一致性，并可以对基于继电器的联锁系统进行形式化验证。

Prover Extractor是用于自动处理、检查和生成基于继电器的联锁系统原理图的工具。它用于从继电器电路原理图中提取成分和互连数据，以实现检查设计一致性和设计指南一致性，并可以对基于继电器的联锁系统进行形式化验证。