SafeCap+ Prototype tools for real-time optimisation (T1071 Report)

The on-going series of the SafeCap projects focuses on improving capacity of railway nodes (junctions and stations) while ensuring their safety. The projects have now developed a formal approach to safety verification and an integrated tooling environment that supports a domain-specific interface to help signalling engineers, formal safety verification and...