Visualising Timed CSP Train Simulations for Capacity

Overcoming the constraints on railway capacity caused by nodes (stations and junctions) on the rail network is one of the most pressing challenges to rail industry. In 2007, the UK governmental White Paper “Delivering a Sustainable Railway” [DT007] stated: “Rail’s biggest contribution to tackling global warming comes from increasing its capacity.” High capacity, however, is but one design aim within the railway domain. Railways are safety-critical systems. Their malfunction could lead to death or serious injury to people, loss or severe damage to equipment, or environmental harm.