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

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|
Load More Posts
Go to Top