Project Description
WHITE PAPER
Automated verification and validation of signaling systems in PTC and CBTC environments
A state of the art solution for automating a significant part of the safety verification and validation tasks
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.
This is a complex endeavour, with many subsystems that needs to be integrated and adapted to meet the specific needs of the particular railway or metro with guaranteed safety.
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.
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 system becomes more and more complex and often constitutes a significant part of the overall development costs.
We have created a white paper where we 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.
A state of the art solution for automating a significant part of the safety verification and validation tasks
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.