What’s the Point of Formal Methods?
Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way to cut costs and increase safety at the same time. Why did this happen, and what have been achieved so far?
Interlocking Design Automation (IDeA)
This white paper outlines what the challenges and their root causes are in procurement and delivery of modern rail control, and suggests best practice methods for how to overcome these challenges using Interlocking Design Automation (IDeA).