{"id":18586,"date":"2023-11-06T14:39:34","date_gmt":"2023-11-06T13:39:34","guid":{"rendered":"https:\/\/www.prover.com\/?p=18586"},"modified":"2025-01-13T14:38:28","modified_gmt":"2025-01-13T13:38:28","slug":"prover-hosted-signaling-design-automation-forum-in-paris","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/prover-hosted-signaling-design-automation-forum-in-paris\/","title":{"rendered":"Prover hosted Signaling Design Automation Forum 2023 in Paris"},"content":{"rendered":"

Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation \u2013 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.<\/p>\n

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.<\/p>\n

Recap of SDAF 2023<\/h4>\n

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:<\/p>\n

    \n
  • Prover’s Signaling Design Automation Solution: Jesper Carlstr\u00f6m, Chief Product Officer at Prover, introduced Prover’s cutting-edge Signaling Design Automation Solution, demonstrating how it’s shaping the future of signaling systems.<\/li>\n
  • Formal Methods Guidebook: Arne Bor\u00e4lv, also from Prover, presented a guidebook from Shift2Rail on Formal Methods, shedding light on the methodologies and best practices.<\/li>\n
  • 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.<\/li>\n
  • Proof Technology for Safety-Critical Embedded Software: Fran\u00e7ois-Xavier Dormoy from Ansys explored how Proof technology is contributing to safety assurance in safety-critical embedded software.<\/li>\n
  • Promoting Formal Methods: Camille Parillaud from Alstom discussed strategies to promote the adoption of formal methods in the industry.<\/li>\n
  • Innovation in Infrastructure Ownership: Kristina L\u00f6wenberg from Stockholm Public Transport (SL) shared insights on innovation projects as eye-openers, detailing how they are transforming infrastructure management.<\/li>\n
  • 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.<\/li>\n<\/ul>\n

    Looking forward to the future<\/h4>\n

    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.<\/p>\n

    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.<\/p>\n

    We extend our gratitude to all attendees and speakers who made this day an inspiring and rewarding experience. Thank you all!<\/p>\n<\/div>

    <\/div><\/div>
    \"Anders<\/span><\/div><\/div><\/div>

    Anders Lind\u00e9n<\/strong>
    \nCEO Prover<\/strong><\/p>\n

    \u201dThank 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!\u201d<\/p>\n<\/div><\/div><\/div><\/div>