白皮书:联锁设计自动化-过程

在这份白皮书中，验证技术讨论了一个开发铁路控制系统的新过程，这有利于供应商和基础设施经理…

总结

想象一下，一位基础设施管理者需要一套新的铁路控制系统;也许要新建、扩建或更换线路信号，以增加产能，或者解决设备老化、需要越来越多维护的问题。

这是一项复杂的工作，需要整合和调整许多子系统，以满足特定铁路或地铁的特定需求，并保证安全。

整个系统的一个关键组成部分是软件控制和监控轨道交通，使用物理信号、开关、列车自动控制和保护，以确保安全运行。这种至关重要的软件——铁路控制系统的大脑——通常难以开发并获得安全审批，导致项目调试阶段的延误和复杂化。

造成这种情况的原因有很多:

• 这些要求是模糊的，往往已经在基础设施管理者的投标规范中。
• 设计、测试和验证方法是手工的，很大程度上依赖于单个高级工程师的技能，而不是依赖于软件自动化工具支持的定义良好的过程。
• 安全验证没有与开发过程结合在一起，增加了交货被拒绝的风险。

我们将证明，只要从项目一开始就采取适当的注意措施，这些问题是可以避免的。我们将介绍一个为供应商和基础设施管理者提供显著好处的过程。