Project Description

研究报告

联锁设计自动化的商业案例

如何为联锁设计自动化新流程的投资构建业务案例

本文旨在帮助负责开发铁路控制系统的供应商和项目运营商,如何在投资现代联锁设计自动化的过程中,创建成功的商业案例。相较于用于开发信号应用的传统方法,我们还将介绍基于形式化规范和自动化工具的最先进流程。

为了能够更好地展示案例,我们将两种方法进行比较:用于开发信号应用程序的传统方法和基于形式化规范和自动化工具的最新流程。

经验表明,使用现代联锁设计自动化流程,您将显著:

  • 缩短上市时间,
  • 将全周期成本降低一半,
  • 大大简化安全评估流程。

您可以在此处下载有关 IDeA 和 Prover 对 Prover Trident 这一工具的更多应用信息。

请填写右侧表格,下载研究报告。