{"id":13621,"date":"2022-05-31T13:16:22","date_gmt":"2022-05-31T12:16:22","guid":{"rendered":"https:\/\/stage.prover.com\/?p=13621"},"modified":"2025-01-13T14:23:48","modified_gmt":"2025-01-13T13:23:48","slug":"how-to-guarantee-safety-of-rail-control-systems-with-formal-verification","status":"publish","type":"post","link":"https:\/\/www.prover.com\/webinar\/how-to-guarantee-safety-of-rail-control-systems-with-formal-verification\/","title":{"rendered":"How to guarantee safety of rail control systems with formal verification"},"content":{"rendered":"
RECORDED WEBINAR<\/h6><\/div>

How to guarantee safety of rail control systems with formal verification<\/h1><\/div>

A fully automated technique with 100 % coverage<\/h2><\/div>

Safety approval and safety verification are critical activities in any rail control project. Traditionally, many of the related tasks, such as manual reviews of documentation and testing, are carried out at a late stage in the projects, where delays significantly impact the overall project schedule.<\/p>\n

It is costly to address any issues discovered. The highly experienced staff who can perform these tasks is often a bottleneck resource in the projects. The solution is to consider safety, and how it is demonstrated, from the start of the projects, and to use more automation throughout the verification process.<\/p>\n

In this webinar, you will learn how this can be achieved using formal verification, a technique based on mathematics, that gives 100 % coverage and can be fully automated.<\/p>\n<\/div>

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

    What is formal verification and why do we need it<\/p>\n<\/div><\/li>

  • <\/i><\/span>
    How does it impact the verification and validation process and safety approval in a rail control project<\/div><\/li>
  • <\/i><\/span>
    Examples where it has been used successfully to demonstrate safety<\/div><\/li>
  • <\/i><\/span>
    Recommendations and considerations for the implementation process<\/div><\/li><\/ul><\/div><\/div>
    \"How<\/span><\/div>

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