About Gunnar Smith

Sales Manager at Prover

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|

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|

Considerations for Delivering the Rail Signalling Systems of the Future

The IRSE International Technical Committee recently published an insightful report on Strategic drivers of change in the signalling industry. It includes the perspectives of both the user and supplier side, and gives an excellent summary of the challenges currently faced by the signaling industry. IRSE views the primary technology drivers to be: Continued emphasis on [...]

By |2021-11-20T12:45:38+01:00February 16th, 2018|Signaling Solutions, Software Development|

How to handle Complexity and Safety for Modern Railroads

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 [...]

By |2017-10-11T09:18:12+01:00October 4th, 2017|Formal Methods, Signaling Solutions|

RSSI 57th Annual C&S Exhibition, September 17-19

This year the RSSI Annual C&S Exhibition will be part of the 2017 Railway Interchange Conference and Exhibition, bringing together AREMA, RSI, REMSA and RSSI in the largest combined railway exhibition and technical conference in North America. Don’t miss this opportunity to meet with close to 10,000 rail professionals from 40 plus countries, and learn [...]

By |2018-07-27T09:39:26+01:00August 23rd, 2017|Events|
Go to Top