The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
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
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio.
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
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
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio.
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
