About Gunnar Smith

Sales Manager at Prover

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 |2021-04-15T09:42:43+01:00April 15th, 2021|Formal Verification, Software Development|

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|

Automated Signaling Systems Design using Prover Trident

In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control projects and proposed a remedy: the use of detailed and clear requirement specifications that enables automated development and more efficient safety verification. We will now take a closer look at this process for signaling systems design [...]

By |2020-05-05T06:54:03+01:00April 30th, 2020|Signaling Solutions, Software Development|

More efficient rail control projects using Signaling Design Automation

The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of modern, computerized, signaling systems is often shorter than those of traditional relay-based systems, with higher maintenance costs. At the same time the need for new, more advanced rail control systems is growing, to optimize the [...]

By |2021-11-20T12:47:45+01:00April 28th, 2020|Signaling Solutions|

Looking back at the RSSI C&S Exhibition 2019

This September 21-24th, the 59th annual RSSI C&S Exhibition, in conjunction with Railway Interchange, was held in the Minneapolis Convention Center. Prover participated with a booth at the exhibition and a presentation at the AREMA conference. As always, we had a great time and enjoyed catching up with many long-term customers and partners, as well [...]

By |2019-10-10T10:32:09+01:00October 10th, 2019|Events|

See you at the RAILTEX Exhibition – May 14 -16

We will exhibit at the RAILTEX Exhibition at the NEC in Birmingham, UK May 14 -16. Come to see us at booth B45 and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation for Rail Control Software. We will present Prover Certifier, the first SIL-4 certified sign-off verification [...]

By |2019-04-17T08:04:37+01:00April 15th, 2019|Events|
Load More Posts
Go to Top