Project Description

研究报告

自动验证和在 PTC 和 CBTC 环境中验证信号系统

使安全验证和验证任务的重要部分自动化的最先进的解决方案

想象一下如果一个项目需要建立新的铁路控制系统,也许是要新建、扩展一条线路,或者是为这条线路更改信号 ,从而增加容量或解决需要维护越来越多的老化设备的问题。

这是一项复杂的工作,需要集成和调整许多子系统,以满足特定铁路或地铁的特殊需求,同时还要保证安全。

在本文中,我们将阐释如何从项目一开始就采取适当的措施,从而避免某些问题的发生。我们将展示一个可为供应商和项目运营商带来显著收益的流程。

当今的数字化铁路信号系统变得越来越复杂,其中添加了越来越多的功能以更好地利用现有基础设施,同时保持最高水平的安全性。这也意味着评估这些系统的安全性和功能性的任务变得越来越复杂,通常会构成整体开发成本很大的一部分。

我们完成了一份研究报告,在其中着眼于自动化这些验证和验证任务的重要部分的最先进解决方案,并阐述了该解决方案如何应用于全世界的两种信号系统:积极列车控制系统(PTC) 和基于通信的列车自动控制系统(CBTC)。

A state of the art solution for automating a significant part of the safety verification and validation tasks

Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signalled to increase capacity or to solve issues with ageing equipment requiring more and more maintenance.

In this document, we will show how you can avoid certain problems as long as proper care is taken from the very start of the project. We will present a process that gives significant benefits for both the supplier and the infrastructure manager. We will look at a state of the art solution for automating a significant part of these verification and validation tasks, and see how this solution has been applied to signaling systems in PTC and CBTC environments around the globe.

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