{"id":20075,"date":"2024-09-18T13:41:03","date_gmt":"2024-09-18T12:41:03","guid":{"rendered":"https:\/\/www.prover.com\/?p=20075"},"modified":"2025-09-04T10:48:59","modified_gmt":"2025-09-04T09:48:59","slug":"launch-of-the-next-generation-sda-platform-prover-station","status":"publish","type":"post","link":"https:\/\/www.prover.com\/webinar\/launch-of-the-next-generation-sda-platform-prover-station\/","title":{"rendered":"Launch of the next generation Signaling Design Automation platform: Prover Station"},"content":{"rendered":"
RECORDED WEBINAR<\/h6><\/div>

Launch of the next generation Signaling Design Automation platform: Prover Station<\/h1><\/div>

Recorded on October 17, 2024<\/b><\/p>\n

The industry needs to be modernized, standardized, and digitalized. The current processes for developing and maintaining signaling solutions are slow and inefficient. Prover\u2019s approach to SDA, based on digital twins and formal methods, is taking automation and interoperability to a new level using our current tools and expertise. <\/span><\/p>\n

Railway control systems are interconnected into smaller pieces. Hence it needs to be checked that they are combined properly. Usually, this is done at a very late stage in the process, namely when the system is under verification and validation. With Prover Station<\/a>, it will become natural to simulate components at an early stage of the process, allowing to ensure performance and to discover unwanted scenarios early.<\/p>\n

With the launch of Prover <\/a>Station<\/a> as our next-generation platform, we meet the increasing demands of simulation and scenario exploration in the railway industry. And not only is it possible to run predefined scenarios, but thanks to the power of formal methods, it is possible to explore scenarios that you did not even think of.<\/p>\n<\/div>

Agenda:<\/h5><\/div>
  • <\/i><\/span>
    \n

    The Prover Station platform and roadmap<\/span><\/p>\n<\/div><\/li>

  • <\/i><\/span>
    \n

    Creating and managing digital twin aggregates for testing and training<\/span><\/p>\n<\/div><\/li>

  • <\/i><\/span>
    \n

    Working effectively with proof projects in formal verification<\/span><\/p>\n<\/div><\/li>

  • <\/i><\/span>
    \n

    Simplifying signaling design for beginners and improving expert communication<\/span><\/p>\n<\/div><\/li>

  • <\/i><\/span>
    \n

    Questions & answers<\/p>\n<\/div><\/li><\/ul><\/div><\/div>

    \"Prover<\/span><\/div>

    Yes please, send me the recording!<\/h4><\/div>