About Gunnar Smith

Sales Manager at Prover

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 |2020-12-01T16:55:47+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 |2020-04-27T14:45:25+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|

A look back at the RSSI C&S Exhibition 2018

This May 21-24th, the 58th annual Railway Systems Suppliers, Inc. (RSSI) Communication and Signal (C&S) Exhibition was held in Omaha, Nebraska. The event brought together C&S suppliers from all over the United States, as well as a few from abroad, including Prover Technology. Gunnar Smith and Sarah Brodsky were there to represent Prover as an [...]

By |2018-06-04T08:40:10+01:00June 4th, 2018|Events|

RSSI 58th Annual C&S Exhibition, Omaha, NE. May 21-24, 2018

Prover is exhibiting at the RSSI C&S Exhibition in Omaha. We will be showcasing the latest technology within Signal Design Automation. Stop by booth 1239 to learn how your organization can benefit from a more automated process for design, development and safety assessment of rail control software. Prover’s product offering on display includes the Prover [...]

By |2018-04-11T09:37:56+01:00April 24th, 2018|Events|
Load More Posts
Go to Top