Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. This year focus was on Digital Twins. SDA forum is a forum for sharing experiences and best practices [...]
SDA Forum has been a success in the past and our goal is to exceed your expectations this autumn. The first conference was hosted by Prover in Stockholm 2018. After the success, we’ve been to Shanghai 2019 and Paris 2021. Now it is time to close the circle in Stockholm again, on the 18th [...]
Of all the steps involved in the tendering process for railway signaling systems, writing the specifications that you will later hand over to suppliers is one of the most consequential when it comes to determining how smooth and successful the rest of your project will be.Here, we will explain how you can succeed in establishing [...]
Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article is now available online and open for everyone to read. In the interview, Gunnar explains how the railway industry can overcome the challenges of rail control projects. He talks about the typical challenges faced in [...]
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your needs, requirements, and expectations is a critical first step. Doing so helps you avoid common project roadblocks— like long and unpredictable delivery schedules, tender specification issues, or errors discovered too late in the production process. [...]
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude of challenges for both infrastructure managers and suppliers. Here, we’ll take a deeper look at the underlying issues and discuss how implementing Signal Design Automation can help you eliminate inefficiencies and costly errors—and finally gain [...]
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. It is a forum for sharing [...]
A few years back we got the idea of creating 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 technologies to automate design and verification of railway signaling [...]
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 [...]
Come visit us 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 tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using [...]
