The EPSRC/RSSB SafeCap project (2011-2013) developed the SafeCap modelling toolkit that supports formal verification of station/junction safety and assessment of node capacity. Rigorous mathematical foundation based on continuous-discrete models of train movement and powerful state-of-the-art verification tools make the Platform a suitable stepping stone for addressing the challenges in the development of the future UK Railway identified in FuTRO (Future Traffic Regulation Optimisation), an ambitious programme of exploration and innovation defined to implement UK's Rail Technical Strategy 2012.

The SafeCap+ - SafeCap for integrated optimum capacity, safety and energy strategies at multiple nodes, project aims is to further develop novel modelling techniques and tools that support and explore integrated and efficient dynamic capacity and energy of networks and nodes while ensuring whole systems safety.

To fulfil this aim, the following objectives will be addressed: