The Business Case for Interlocking Design Automation

This document aims to help infrastructure- vendors and managers developing rail control systems to create a compelling business case for investing in a modern Interlocking Design Automation process. A state-of-the-art process based on formalized specifications and automation tools compared to traditional methods for developing signaling applications.