A different route to railway signalling

Formal methods tools for railways

The company develops industrial tools and methods for verification of railway signalling and interlocking safety (both mainland and CBTC).

UK mainline signalling expertise

We cooperate with the main signalling companies in the UK on developing and integrating into their processes the tools that help them to ensure the improved quality of the signalling data and program they develop and the reduced development time and to meet the stringent safety standards

safecap pic goes here

Who are we?

The company was created by the employers of Newcastle University, UK with the 10 years experience of applying computer science advances in the railway domain.



Our partners