About Gunnar Smith

Sales Manager at Prover

Case: Developing digital twins for the Stockholm Metro

When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with the transition. Stockholm Metro’s system consists of a central traffic management system and a relay-based vital and non-vital signaling system distributed over several relay rooms. The plan is to replace the mechanical control panels used [...]

By |2022-08-17T08:57:28+01:00July 11th, 2022|Digital twin|

Your guide to successful rail control projects

If you want to enable safe and reliable rail transportation while making the best use of available infrastructure, implementing efficient rail control and signaling solutions is an essential piece of the puzzle. The development of these software-based systems is critical in rail transport projects. Delays in delivery, acceptance and safety approvals add up to [...]

By |2022-05-11T13:25:38+01:00May 11th, 2022|Company News|

The need for digital twins in rail control projects

When it comes to unlocking future growth in the rail sector and beyond, advancing digital transformation is high on the European Union’s agenda. One of the keys to making this happen is the uptake of new fundamental technologies such as digital twins. Here, we’ll discuss the benefits of digital twins in rail control projects, [...]

By |2023-01-11T11:24:29+01:00February 1st, 2022|Signaling Solutions|

Formal verification tools certified for rail control

We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from TÜV Nord! Prover is the leading provider of formal verification solutions for automation of safety verification and assessment tasks for rail control software. The formal verification tool PSL uses mathematical algorithms to prove, with 100 [...]

By |2022-01-19T09:52:34+01:00January 19th, 2022|Formal Verification|

The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow

Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms Lokaltrafik, SL), Prover has founded the CBTC user’s group to share experiences and best practices in the area of Communication-Based Train Control systems (CBTC). The inaugural digital meeting was held on March 11, with presentations [...]

By |2022-08-17T08:58:49+01:00April 15th, 2021|CBTC, Events|

New webinar on Signaling Design Automation

Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio. Prover Studio is a logic editor which increases the efficiency when formalizing specifications, the first step in our Prover Trident process. We have developed a new webinar series that will present the complete process from specification to revenue [...]

By |2021-04-09T16:38:01+01:00April 9th, 2021|Product News, Software Development|

Verification of Safety Requirements

There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe if it prevents such accidents from happening. Of course, an interlocking cannot provide 100% prevention as long as human operators are taking an active part of the operation. But the interlocking can and will make [...]

By |2021-01-11T12:57:47+01:00January 7th, 2021|Formal Verification|

PSL – Best-in Class Formal Verification Performance

Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications lack of performance (i.e. long running times) of the verification tools is no longer a viable argument against using formal verification. Recent evaluations performed by our customers confirms that the current PSL not only outperforms [...]

By |2020-12-14T11:10:16+01:00December 14th, 2020|PSL|

Why the railway industry needs to modernize its methods of safety assurance

For the next big advancement in the development of faster and more efficient transportation, the railway industry has to go through a digital transformation. For this, safety is critical. The solution? New, more efficient verification methods. Perhaps the most apparent safety verification method is testing, and indeed, it is still the backbone of [...]

By |2021-11-20T12:05:01+01:00November 18th, 2020|Formal Verification|

Increased railway safety using signaling design automation

In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and automation are used at Stockholm Metro to increase railway safety. The rail-based public transport system in Stockholm, Sweden is relatively complex and diverse with a combination of subway, light rail and heavy rail. It also [...]

By |2020-05-12T15:44:35+01:00May 12th, 2020|Formal Verification, Signaling Solutions|
Go to Top