Project Description

WEBINAR

Signaling Design Automation tools and methodologies

Learn more about Signaling Design Automation tools and methodologies on the 27th of April 15:00 – 16:00 CET.

Interlocking design can be done efficiently, with guaranteed safety using modern tools and methodologies. During this webinar we will demonstrate how to use a modern Interlocking Design Automation solution. The demonstration is based on Prover Trident.

During the demonstration you will learn:

  • How to write formal specifications with a modern and customized editing tool
  • How to create an interlocking application software using automatic generation of code
  • How to investigate the resulting logic using simulation tools
  • How to formally verify that the generated code meets the safety requirements

These are the steps that we will go through:

  • Introduction
  • Configuration of a new interlocking
  • Interactive and scripted simulation of the resulting signaling system
  • Automatic generation of code for the interlocking
  • Formal verification of the generated code
  • General discussions on applying formal methods and recommendations for next steps

Register for our Webinar on the 27th of April 15:00 – 16:00 CET  by filling out the form