现代铁路联锁设计自动化的未来——与Prover Technology AB的问答

联锁系统的设计如何影响铁路运营?

所有基础设施经理都强调，安全是他们的首要任务，但高容量需求也要求系统复杂且经过优化，以快速解决交通问题。这是一场持续的战斗，一方面是简单，另一方面是容量。在交通量稀少的线路上，首选简单系统，但交通量较高的线路可能受益于更复杂的联锁。此外，当铁路变得更加复杂时，其施工时间会增加，这可能导致项目延误，因为铁路业务的开发过程仍然依赖于人工方法。具有讽刺意味的是，高需求线路因此具有最高的项目延迟风险。结果是成本增加，服务收入延迟，在后期做出决策时，安全水平可能降低。

基础设施管理人员在实现现代联锁系统时面临的主要挑战是什么?

主要的挑战是找到现代发展过程，鼓励发明，同时仍然是安全的。到目前为止，出于安全考虑，基础设施管理人员不愿接受发明——从长期来看，这当然是不可持续的。这种犹豫的原因是，很难确保新想法不会危及安全，而事实上，安全论点往往建立在“已证实使用”的论点上。在传统方法中没有安全措施来确保新发明不会带来风险。这些方法是建立在手工检查和测试之上的;因此，它们消耗了太多的时间，这不仅要花钱，而且也使得交付速度难以跟上不断增长的需求。未来，复杂系统的安全管理必然需要一种形式化的方法。

在网络研讨会上我们还能学到什么?

我发现特别有趣的一件事是基础架构管理器的模糊规范。他们不想过度指定，因为他们想给供应商留下空间来决定细节，他们的目标是通过模糊他们的需求来实现这一点。然而，最终，结果往往是他们在他们想要的方面相当特别，他们认为供应商错误地解释了他们模糊的规范。我认为，如果你想要创造空间，那么你不应该含糊不清，而应该完全不明确。您严格要求的部分(例如您真正希望系统包含的接口和属性)应该详细指定。其余的应该由供应商决定。

我如何加入实时网络研讨会?

现场网络研讨会将于9月26日星期二15:00(英国)/ 16:00(欧洲)举行，完全免费。讨论结束后，Jesper Carlström和Prover Technology AB的高级顾问Daniel Fredholm将进行现场问答。注册在这里现场网络研讨会。

我不能参加在线研讨会–我还能怎么看在线研讨会？

如果你在9月26日星期二没有时间参加在线研讨会，你仍然可以参加现在注册我们会在在线观看网络研讨会录音后尽快通知您。