Prover will be exhibiting at RailTech Europe on March 4–5 in Utrecht, the Netherlands.

Come and meet us in Booth 2.509 to discuss Open Signaling, migration to PLC-based architectures, and how Prover Station supports structured design, verification, and validation of signaling systems.

Workshop: Migration of Signaling Systems to PLC-Based SIL 4 Solutions

On March 4, our COO Jesper Carlström will host a workshop focused on the migration of signaling systems to PLC-based SIL 4 solutions. The session will draw on experience from the Stockholm Metro relay-to-PLC pilot project and share practical insights into modernizing legacy signaling installations and avoiding vendor lock-in by the use of open standards.

If you are planning modernization initiatives or exploring open signaling approaches, this session will provide valuable perspectives.

About RailTech Europe

RailTech Europe is one of the leading international exhibitions and conferences dedicated to railway technology, infrastructure, and innovation. Held in Utrecht, the Netherlands, the event brings together infrastructure managers, operators, system suppliers, engineering firms, and policymakers to discuss the future of rail modernization across Europe.

Book a meeting

Planning to attend RailTech Europe? Schedule a meeting with our team to discuss your modernization plans and signaling strategy.

You can also visit us directly at Booth 2.509.

See you in Utrecht.

Inlägget Meet Prover at RailTech Europe – March 4–5 Utrecht, the Netherlands dök först upp på Prover - Engineering a Safer World.

The forum offered a shared space to explore how open architectures, AI, and formal methods are shaping the future of rail control. Through expert presentations and real-world case studies, attendees gained practical insights into how collaboration, innovation, and transparency can help reduce cost, increase safety, and enable interoperability.

Thank you to all participants, speakers, and partners who contributed to making SDAF 2025 a valuable and forward-looking gathering. Below is a summary of the presentations delivered throughout the day.

“The Open Signaling Initiative”

Jesper Carlström, COO & Open Signaling Lead, Prover

Jesper introduced the Open Signaling Initiative, highlighting the shift toward modular, open, and interoperable systems. By using COTS hardware, open interfaces, and loosely coupled components, the initiative aims to reduce vendor lock-in and enable sustainable, step-by-step modernization.

“A journey without an end”

Kristina Löwenberg, Signaling strategist

Andreas Mårtensson, Ass. signaling safety manager, signaling specialist, Stockholm Public Transport

Kristina and Andreas shared Region Stockholm’s digital journey in signaling, highlighting the need to retain legacy knowledge, build in-house competence, and use formal methods to ensure safety and traceability. They emphasized the importance of organizational readiness, gradual change without traffic disruption, and the long-term value of owning both data and understanding, avoiding vendor lock-in.

“Reuse by design: Faster, Leaner, Safer”

Fredrik Bergström, CEO, Cactus Rail

Fredrik presented Cactus Rail’s approach to automation, focusing on modular digital solutions designed to lower lifecycle costs. He emphasized the importance of cross-supply chain collaboration to deliver signaling solutions that are scalable, safe, and efficient.

“From industry to railways: how Schneider Electric can enable safe and open signaling”

Juan Manuel Martin, Global Solution Architect Railways, Schneider Electric

Juan explained how their Modicon M580 Safety PLC and EcoStruxure platform can be leveraged in railways. He connected decades of industrial safety experience to railway signaling, showing compliance with EULYNX and multiple SIL certifications.

“ERTMS Data & Verification in Switzerland”

Henrik Roslund, Senior Consultant ERTMS/ETCS, MIRSE, TÜV SÜD

Henrik discussed the data and verification challenges in Switzerland’s ETCS Level 2 deployment. He highlighted issues around syntax and data quality, and how automation and formal verification are critical to scaling and streamlining future ERTMS projects.

“Introducing EULYNX Kernels”

Robert Schmid, Founder, Systems Lab 21

Robert presented EULYNX Kernels, a standardized software component used for subsystem integration and compliance. He demonstrated how kernels enable formal behavior modeling, automated testing, and faster development of interoperable signaling systems.

“Scaling Safety: AI and Formal Methods for Rail Control”

Fei Niu, AI & Innovation Lead, Prover

Fei explained how AI can be used to speed up verification and testing in signaling design. The session showcased how combining AI with formal methods reduces project risk, improves safety assurance, and helps bring automation into practice through tools like Prover Studio.

Want to revisit SDAF 2025? Watch the full recording

Whether you missed a session or want to dive deeper into the presentations, the full recording of the Signaling Design Automation Forum 2025 is now available here.

Inlägget SDA Forum 2025 – Driving the future of signaling dök först upp på Prover - Engineering a Safer World.

Inlägget Registration now open for SDA Forum 2025 dök först upp på Prover - Engineering a Safer World.

We will participate in Train & Rail 2025 in Stockholm from May 6 to May 8, in booth A06:31.

At Train & Rail 2025, we look forward to engaging with industry professionals and discussing how formal methods and innovative solutions are shaping the future of railway signaling. Our team will be available to share insights, answer questions, and explore how we can help address your challenges in developing and verifying safety-critical signaling systems. As a leader in formal methods for railway signaling, we will showcase our latest solutions that are transforming the industry by enhancing safety, efficiency, and reliability.

Mingle event on Tuesday, May 6

We are also happy to co-host a mingle event on Tuesday, May 6, from 16.00 to 17.00, in partnership with Swedtrain and other member companies. This event will be a great opportunity to network with industry colleagues, share ideas, and discuss the future of railway technology in an informal setting. Sign up for the mingle here on Swedtrain’s website.

Join us at Train & Rail

Please meet us at our booth, which will be located at A06:31. We look forward to meeting you in Stockholm to explore the future of railway signaling together!

Train & Rail is the Nordic region’s largest meeting place for actors in the railway industry. The fair is organized every two years and brings together more than 3000 visitors and over 150 exhibitors. Here you will meet politicians at municipal, regional and national level with responsibility for rail, infrastructure and urban planning, government representatives, freight owners, transport buyers, traffic planners and much more. Train & rail will be held at Stockholmsmässan, Älvsjö, between May 6-8, 2025. Reference: Train & Rail

Inlägget Meet us at Train & Rail in Stockholm May 6-8 dök först upp på Prover - Engineering a Safer World.

We started with a brief introduction to railway fundamentals, after which students dived into practical examples. They started by setting up a new interlocking track layout, then proceeded to debug the generic application we provided, verifying the validity of safety requirements and functional tests. After this initial stage, students then created their own safety requirements and test cases. In the final stage, they added a manual release feature to their interlocking system, covering key elements like design, safety requirements, and testing.

We extend our sincere appreciation to the dedicated students of CentraleSupélec for their commitment and enthusiasm throughout the week. They impressed us with how quickly they got the hang of our tools, languages, and the railway field. Special thanks also to their teachers, in particular Idir Ait Sadoune, for trusting us again this year.

We hope to have the opportunity to see these talented students again in the railway industry or in the field of formal methods. We believe that opportunities to introduce these two fields to new students are essential. We are convinced that this new generation of talents can contribute to the development of these two exciting fields for engineering a safer world.

Inlägget CentraleSupélec students explore railway design and verification with Prover tools dök först upp på Prover - Engineering a Safer World.

Discover Prover Station

Prover Station is a web-based platform specifically designed to meet the rigorous verification and validation needs of the rail and metro signaling industry. With decades of expertise behind it, Prover Station streamlines the creation, management, and verification of formal proof projects while integrating digital twins for comprehensive testing and training.

What Prover Station offers:

• Formal verification: Prover Station organizes formal verification tasks into Proof Projects, guiding you from initial specifications to final validation. By identifying and correcting logical errors early, it reduces the risk of costly mistakes. The process is fully customizable to meet your safety and performance standards, ensuring compliance with all regulatory requirements.
• Digital twin aggregates: Prover Station enables the creation and management of digital twins, which is essential for real-time system monitoring, analysis, and optimization. It aggregates multiple digital twins into a unified model, providing a comprehensive overview for design, testing, and decision-making.
• Integration and flexibility: Whether you prefer a cloud-based or on-premises solution, Prover Station adapts to your needs. It integrates seamlessly with external simulators and hardware via MQTT or OPC-UA protocols, offering flexible web interfaces and automation through APIs.

Prover Station is built to enhance the safety, efficiency, and reliability of signaling systems in the railway and metro sectors. From proof projects to ongoing operations, it provides the essential tools you need for success.

Join us on Wednesday, September 25th, from 12:00 to 14:00, for a live demonstration during our mingle event. See Prover Station in action and connect with our team.

The transformation into open and interoperable signaling solutions via COTS

COTS (Commercial Off-The-Shelf) technology is playing a vital role in the modernization of railway signaling systems. Unlike traditional, custom-built systems that are costly to maintain and difficult to upgrade, COTS offers ready-made solutions that are easier and more affordable to integrate. This flexibility allows for faster deployment and better adaptation to new technologies.

The transition to COTS is crucial for updating outdated signaling systems. With COTS, railway operators can quickly adopt new technologies, reduce reliance on single vendors, and achieve higher safety standards more efficiently.

While challenges such as legacy systems, slow standardization, and integration complexities remain, COTS provides dynamic, cost-effective solutions that simplify management and updates. By adopting COTS, you can reduce costs, accelerate development, improve maintenance, and enhance system reliability—key factors in maintaining the highest safety standards in modern rail systems.

We will demonstrate how Prover’s products seamlessly integrate with COTS systems using a Schneider PLC at our booth. Stop by and see it in action!

Advancing railway signaling with AI

We are pushing the boundaries of railway signaling design automation by integrating AI with Formal Methods and Digital Twins, solidifying our commitment to “Engineering a Safer World”. Current industry practices are outdated, and our approach has already delivered significant improvements in efficiency and automation. By incorporating AI, particularly Large Language Models (LLMs), we aim to make complex tasks like requirements engineering, design, verification, and safety more intuitive and efficient.

At InnoTrans, we will showcase how AI is transforming railway signaling. Engage with our AI tools and discover how our innovations are bringing new levels of automation and safety to the industry. Check out Prover Labs, our space and community where you can try out AI-driven innovation and be part of shaping the future.

Join us at InnoTrans 2024

We will be at booth 130 in hall 3.2 from September 24 to 27. Don’t miss the opportunity to see firsthand how Prover is revolutionizing railway signaling. Want to schedule a meeting? Click here to fill out the form, and we will suggest a time slot.

We look forward to welcoming you to our booth at InnoTrans 2024. See you in Berlin!

Inlägget Discover next-level rail engineering: Prover Station, COTS Solutions, and AI at InnoTrans 2024 dök först upp på Prover - Engineering a Safer World.

Inlägget Join Prover at InnoTrans 2024 in Berlin dök först upp på Prover - Engineering a Safer World.

We provided them with an understanding of what an interlocking is, along with initial knowledge about railway systems. Equipped with this basic understanding, we tasked them with debugging an interlocking system using fundamental signaling principles. Following this initial step, the students were empowered to introduce new safety requirements and test cases. In the end, they could incorporate a new manual release feature into their interlocking system, covering aspects such as design, safety requirements, and testing.

We extend our greatest appreciation to the dedicated students of CentraleSupélec for their commitment and enthusiasm throughout the past week. All of them really impressed us with how quickly you got the hang of our tools, languages, and the whole railway field. Our thanks also go to their teachers, in particular Idir Ait Sadoune, who have renewed their confidence in us again for this year.

We are hoping to have the opportunity to see these talented students again in the railway industry or in the field of formal methods. We believe that opportunities to introduce these two fields to new students are essential. We are convinced that this new generation of talents can contribute to the development of these two exciting fields for engineering a safer world.

Inlägget CentraleSupélec collaboration: Students dive into railway projects dök först upp på Prover - Engineering a Safer World.

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’s focus was on the power of formal methods and digital twins.

SDA forum is a forum for sharing experiences and best practices as well as for networking. We are proud and happy by the interest and the engagement shown during the day by the participants online and onsite.

Recap of SDAF 2023

This is the fifth SDAF conference and in many ways, it turned out to be very successful, with over 100 participants online and onsite from all over the world. It was a full hybrid event. During the day we had several very interesting presentations by e.g. RATP, Alstom, Ansys, Stellantis and Stockholm Public Transport (SL). Some takeaways from the day were:

• Prover’s Signaling Design Automation Solution: Jesper Carlström, Chief Product Officer at Prover, introduced Prover’s cutting-edge Signaling Design Automation Solution, demonstrating how it’s shaping the future of signaling systems.
• Formal Methods Guidebook: Arne Borälv, also from Prover, presented a guidebook from Shift2Rail on Formal Methods, shedding light on the methodologies and best practices.
• Formal Validation Process for PHPI Interlocking: Mohand Meziani of RATP talked about the formal validation process for PHPI interlocking, showcasing the real-world application of these techniques in rail transportation.
• Proof Technology for Safety-Critical Embedded Software: François-Xavier Dormoy from Ansys explored how Proof technology is contributing to safety assurance in safety-critical embedded software.
• Promoting Formal Methods: Camille Parillaud from Alstom discussed strategies to promote the adoption of formal methods in the industry.
• Innovation in Infrastructure Ownership: Kristina Löwenberg from Stockholm Public Transport (SL) shared insights on innovation projects as eye-openers, detailing how they are transforming infrastructure management.
• Enhancing Software Quality in Automotive Embedded Software: Vassil Todorov of Stellantis discussed the application of formal methods to improve software quality and robustness in automotive embedded software development.

Looking forward to the future

As we wrap up another successful SDA Forum, we’re excited to see the current effect these discussions will have in our industry. The SDA Forum 2023 was a day filled with networking, new insights, and interesting discussions. It leaves us with a positive feeling about the future of our industry.

The SDA Forum is more than an event; it’s a collaborative journey toward a safer, more efficient, and sustainable future for railway signaling systems. We can’t wait to see what our next SDA Forum will bring, as we continue pushing the boundaries of innovation in signaling design automation.

We extend our gratitude to all attendees and speakers who made this day an inspiring and rewarding experience. Thank you all!

Anders Lindén
CEO Prover

”Thank you once again for your participation and enthusiasm. We look forward to seeing the transformative impact of our collective efforts in the realm of railway signaling systems!”

Inlägget Prover hosted Signaling Design Automation Forum 2023 in Paris dök först upp på Prover - Engineering a Safer World.

Inlägget Signaling Design Automation Forum 2023 – Paris dök först upp på Prover - Engineering a Safer World.