{"id":18546,"date":"2023-11-01T14:16:12","date_gmt":"2023-11-01T13:16:12","guid":{"rendered":"https:\/\/www.prover.com\/?p=18546"},"modified":"2025-09-04T10:51:06","modified_gmt":"2025-09-04T09:51:06","slug":"introducing-formal-methods-guidebook","status":"publish","type":"post","link":"https:\/\/www.prover.com\/webinar\/introducing-formal-methods-guidebook\/","title":{"rendered":"Introducing the Formal Methods (FMs) Guidebook"},"content":{"rendered":"
RECORDED WEBINAR<\/h6><\/div>

Introducing the Formal Methods (FMs) Guidebook<\/h1><\/div>

\n

Recorded on November 11, 2023<\/p>\n<\/div>\n

When, why, and how to use FMs in development of rail control systems<\/span><\/p><\/h2><\/div>

The Formal Methods (FMs) Guidebook from the Shift2Rail project provides guidance on when, why, and how to use FMs for railway signaling, to facilitate understanding and to pave the way for wider use in the industry. In this webinar, we cover the main contents and recommendations in this new FMs Guidebook for the railway signaling industry, give examples and describe benefits that can be obtained. <\/span><\/p>\n

The webinar introduce fundamental facts described in the guidebook: <\/span><\/p>\n

    \n
  • The different roles of FMs in the life cycle, based on four high-level life cycles phases (mapping to well-known phases in applicable CENELEC standards)<\/span><\/li>\n
  • The importance of a clearly defined purpose for FMs use in a project (it helps to understand the important factors, and to make informed decisions)<\/span><\/li>\n
  • The five example purposes for FMs use described (with recommendations and task checklists for each purpose)<\/span><\/li>\n
  • The generic, six-step process for FMs application (independent of purpose, life cycle phase, notations, and tools)<\/span><\/li>\n<\/ul>\n

    During the webinar, we describe examples of the generic FMs application process and guidebook recommendations. We also describe the recommended process to create high-quality tender requirements based on the use of FMs and a reference design, applied for interlocking logic. <\/span><\/p>\n<\/div>

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

      What is the FMs Guidebook, and how to use it?<\/span><\/p>\n<\/div><\/li>

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

      Motivation for formal methods and when to apply them<\/span><\/p>\n<\/div><\/li>

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

      A formal methods use case: Tender requirements for interlocking logic<\/p>\n<\/div><\/li>

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

      Conclusions from the FMs Guidebook<\/p>\n<\/div><\/li>

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

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

      <\/span><\/div>

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