3 scenarios where formal verification caught errors missed by traditional rail control system tests

As most signal and verification engineers know, when developing and verifying software for rail control systems, testing can be very tricky. Especially when it comes to finding corner cases and scenarios outside of normal operations. When conducting a test, you typically define a test case as well as the circumstances in which you are testing [...]

By |2022-07-25T11:43:08+01:00July 25th, 2022|Formal Verification|

Formal verification applications to ensure safety of CBTC systems

A significant number of modern metro systems around the world use Communication-Based Train Control (CBTC) for safer and more efficient train operations. While the role of CBTC is straightforward, the systems themselves are quite complex. Due to this complexity, coupled with high safety requirements imposed on CBTC systems, both suppliers and operators have taken [...]

By |2022-08-17T08:57:02+01:00March 31st, 2022|Formal Verification|

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|

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|

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|

Model Based Development Webinar with Ansys

Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover supplies the model checker PSL, which powers Ansys new SCADE Suite Design Verifier. It provides the new Design Verifier with a great leap in performance and enables state-of-the-art formal verification of SCADE-models, including IEEE 754 [...]

By |2020-09-24T06:37:46+01:00September 24th, 2020|Formal Verification|

Save the date – SDA Forum in Paris March 23rd

2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification– software technologies to automate design and verification of [...]

By |2020-09-24T05:01:32+01:00June 23rd, 2020|Events, Formal Verification|

HLL crash course for Safety Engineers

Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the French COVID-19 lockdown, the course was conducted via Microsoft Teams, alternating lectures and exercises. An online course is a very special experience: you can get very close to a student’s activities when sharing terminals and [...]

By |2020-06-10T07:27:51+01:00June 10th, 2020|Formal Verification, HLL – High Level Language|

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