Railway Signaling with Formal Methods

Railway signaling systems are safety-critical and complex, often with many hardware and software subsystems interacting together to provide the desired functionality and ensure safety. This means that the development processes also tend to become complex, and delivery schedules are often long and difficult to predict.

In this webinar, we look at how Formal Methods can improve development processes to give more predictable schedules, reduce effort with automation, improve overall quality, and efficiently prove system safety. We focus on how software tools, based on formal methods, can help developers by improving existing processes in smaller steps.

Using the Signaling Design Automation tool Prover iLock, we demonstrate a few different usages of Formal Methods, that are easy to introduce into existing processes. This includes validation of requirements in Generic Applications, support in configuring Specific Applications, and formal verification of high-level safety requirements with visualization to help interpret the results.