联锁设计自动化

未来的联锁解决方案更具成本效益、更加安全可靠

当前的信号解决方案

变更耗费成本

当今大多数联锁系统项目的开发具有以下特点:

  • 发现错误较晚
  • 后期更改代价高昂
  • 交付联锁软件的时间很长且不可预测

根本原因

这些问题的根本原因包括:

  • 模糊和不够精确的要求
  • 设计、测试和安全评估基于重复的手工工作,需要高级技能来完成
  • 缺乏标准接口

联锁设计自动化的主要原则

为了实现未来铁路所需的成本效益,需要一种新的联锁设计自动化解决方案,并基于以下要求:

  • 精确,可实现自动化开发
  • 分离安全和测试原则,以实现安全和自动化功能测试的 100% 覆盖证明
  • 尽可能使用标准接口,可经济高效地更换单个子系统

联锁设计自动化的过程

现代联锁设计自动化过程需要从以下步骤开始:

  • 收集和分析需求、适用标准、接口,规则和法规及其范围
  • 确定系统的原则
  • 确定如何为单个系统完成原则配置

基于上述步骤,下一步是将原则定义为形式化的规范库,其中包括:

  • 定义基本思想和对象,以及它们的属性和关系的对象模型
  • 基于对象模型的设计、测试和安全原则的分离
  • 配置单个系统,以应用这些原则

完成以上两个步骤后,就可以使用现代软件工具实现联锁设计自动化的概念:

  • 基于(可重用)原则自动生成设计和通车服务代码
  • 对开发的每个系统的安全性和自动化功能测试的 100% 覆盖证明
  • 有效支持原则和要求的变化

我们的解决方案

满足更高的容量需求是铁路行业面临的主要挑战。 快速且经济高效地交付铁路基础设施的能力是一个关键的成功因素。 我们的解决方案专为当今复杂的数字列车控制系统而开发。

查看更多

Prover Trident

Prover Trident 是用于联锁设计自动化的完整流程和工具链。 与其他基于单一步骤的工具不同,Prover Trident 涵盖了联锁软件的整个生命周期。

查看更多

研究报告– 联锁设计自动化

本研究报告概述了现代铁路控制的采购和交付中的挑战及其根源,并提出了如何克服这些挑战的最佳实践方法。

查看更多