Conceptual Signalling Plan

  • Represent signalling plan as a mathematical model
  • Unambiguous representation a gateway to automatic processing

Formal Proof

  • Symbolic interpretation of signalling data
  • 100% coverage by design
  • Verification against ignalling principles, including NR ASTW (MOD11)

Concise reporting

  • Output reports in HTML, PDF and Excel
  • Short, concise reports that provide full explanation on the source and nature of an error
  • Cross-references to inputs such as a signalling plan

Research

The company was created by the computer science researchers from Newcastle University with a substantial experience in formal verification methods. We actively publish new results.

Formal method experts

The company develops bespoke tools for mathematical modelling of signalling plans, control tables and signalling data.

Industrial Experience

We have successfully delivered number of projects on safety verification of signalling designs and FM-assisted design pipelines.

Proof for Compliance

We help our clients to meet and exceed V&V requirements with state the art static analysis of signalling, control tables, scheme plans and etc.

UK Signalling

We designed and deployed solutions to automatically verify safety of computerised signalling based on SSI and its dialects.

Consultancy

We offer consultancy in application of formal methods to railway signalling.

We work with