Simplified interlocking application engineering with Prover iLock for NEAT’s GeminiX platform
Prover and NEAT are together demonstrating the benefits of using the Prover iLock tool suite for engineering interlocking applications [...]
Signaling systems are a critical component of rail control infrastructure, ensuring the safe and efficient movement of trains. These systems use a combination of hardware and software to monitor train movements and communicate information to operators, enabling them to make informed decisions in real-time. With advanced features such as automatic train control and predictive maintenance, signaling systems are essential for modern rail networks. Read about our work below.
Gunnar Smith2024-11-06T10:43:45+01:00Signaling systems|
Prover and NEAT are together demonstrating the benefits of using the Prover iLock tool suite for engineering interlocking applications [...]
Tobias Hall2024-07-25T18:24:36+01:00Signaling systems|
The life-cycle of your relay-based interlocking system has come to an end. Now what? For many infrastructure managers, the [...]
Gunnar Smith2024-06-20T10:42:30+01:00Guide, Signaling systems|
Learn how Signaling Design Automation and Digital Twins will help your rail control project deliver on time and budget, illustrated with a real-life example.
Mats Boman2024-07-22T22:34:46+01:00Signaling systems|
Is safety built on history? Or are we creating a system that is too complex? Do we still need [...]
Gunnar Smith2024-06-20T12:03:46+01:00Signaling systems, Webinar|
In this webinar, we look at how digital twins can be used in modeling rail control systems and present a case from Stockholm Metro.
Mats Boman2024-06-20T12:00:26+01:00Signaling systems, Webinar|
Learn more about how to get on top of your signaling projects using a digital twin and signaling design automation.
Gunnar Smith2024-06-20T11:56:10+01:00Signaling systems, Webinar|
How to overcome challenges in delivering rail control software, using a formal development process called Signaling Design Automation.
Gunnar Smith2024-06-20T11:55:51+01:00Guide, Signaling systems|
At Prover, we’ve found the formula for a successful rail control project to be threefold: focus on the requirement specifications, use automation to develop the systems, and apply formal and automated methods to prove that requirements and safety are fulfilled. In this guide, we will walk you through how to use this formula - called Signaling Design Automation.
Gunnar Smith2024-06-20T11:58:55+01:00Guide, Signaling systems|
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.
Anders Linden2024-06-20T10:41:49+01:00Signaling systems, Webinar|
In this video we will demonstrate how to use a modern Interlocking Design Automation solution. The demonstration is based on Prover Trident.
Gunnar Smith2024-11-06T10:43:45+01:00Signaling systems|
Prover and NEAT are together demonstrating the benefits of using the Prover iLock tool suite for engineering interlocking applications [...]
Tobias Hall2024-07-25T18:24:36+01:00Signaling systems|
The life-cycle of your relay-based interlocking system has come to an end. Now what? For many infrastructure managers, the [...]
Gunnar Smith2024-06-20T10:42:30+01:00Guide, Signaling systems|
Learn how Signaling Design Automation and Digital Twins will help your rail control project deliver on time and budget, illustrated with a real-life example.
Mats Boman2024-07-22T22:34:46+01:00Signaling systems|
Is safety built on history? Or are we creating a system that is too complex? Do we still need [...]
Gunnar Smith2024-06-20T12:03:46+01:00Signaling systems, Webinar|
In this webinar, we look at how digital twins can be used in modeling rail control systems and present a case from Stockholm Metro.
Mats Boman2024-06-20T12:00:26+01:00Signaling systems, Webinar|
Learn more about how to get on top of your signaling projects using a digital twin and signaling design automation.
Gunnar Smith2024-06-20T11:56:10+01:00Signaling systems, Webinar|
How to overcome challenges in delivering rail control software, using a formal development process called Signaling Design Automation.
Gunnar Smith2024-06-20T11:55:51+01:00Guide, Signaling systems|
At Prover, we’ve found the formula for a successful rail control project to be threefold: focus on the requirement specifications, use automation to develop the systems, and apply formal and automated methods to prove that requirements and safety are fulfilled. In this guide, we will walk you through how to use this formula - called Signaling Design Automation.
Gunnar Smith2024-06-20T11:58:55+01:00Guide, Signaling systems|
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.
Anders Linden2024-06-20T10:41:49+01:00Signaling systems, Webinar|
In this video we will demonstrate how to use a modern Interlocking Design Automation solution. The demonstration is based on Prover Trident.
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.
Get the latest news and updates about Prover.
Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.
We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.
We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.
Settings Approve Reject