This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
This webinar shares lessons from a pilot project in the Stockholm Metro. It shows how a relay-based signaling system is being replaced with a PLC-based SIL 4 solution to enable safe, open, long-term maintenance and upgrades.
Stockholm Metro has a diverse and complex network with light rail, suburban rail and subway systems. Its signaling systems are a mix of computerized and relay-based interlockings, with modern, centralized traffic management systems.We will take a closer look at two distinct projects of Stockholm Metro; the extension of one of the subway lines using legacy union switch & signal relay-based interlocking and the capacity increase project on a suburban rail line utilizing modern computerized interlockings.
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
In this video we will demonstrate how to use a modern interlocking design automation solution. The demonstration is based on Prover Trident.
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better use of the existing infrastructure, while maintaining the highest level of safety. This also means that the task of assessing the safety and function of these systems becomes more and more complex and often constitutes a significant part of the overall development costs.In this paper, we look at a solution for automating a significant part of these verification and validation tasks, and at how it's been applied to signaling systems in PTC and CBTC environments.
Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.
This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group - discussing the CBTC signaling systems of today and tomorrow
Stockholm Metro has a diverse and complex network with light rail, suburban rail and subway systems. Its signaling systems are a mix of computerized and relay-based interlockings, with modern, centralized traffic management systems.We will take a closer look at two distinct projects of Stockholm Metro; the extension of one of the subway lines using legacy union switch & signal relay-based interlocking and the capacity increase project on a suburban rail line utilizing modern computerized interlockings.
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
In this video we will demonstrate how to use a modern interlocking design automation solution. The demonstration is based on Prover Trident.
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better use of the existing infrastructure, while maintaining the highest level of safety. This also means that the task of assessing the safety and function of these systems becomes more and more complex and often constitutes a significant part of the overall development costs.In this paper, we look at a solution for automating a significant part of these verification and validation tasks, and at how it's been applied to signaling systems in PTC and CBTC environments.
Imagine an infrastructure manager in need of a new rail control system; maybe a new line is to be built, extended or re-signaled to increase capacity or to solve issues with aging equipment requiring more and more maintenance. In this guide, we present a process that gives significant benefits to the supplier as well as the infrastructure manager.
This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern interlocking design automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.
Railway signaling systems are surprisingly expensive to produce. Why did this happen?
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group - discussing the CBTC signaling systems of today and tomorrow
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
