Research

In cooperation with the University of Oslo, Railcomplete AS funded in 2016 – 2019 a research effort «RailCons». RailCons, from «Railway Consistency», explored automated and instant checking of railway model consistency against rule sets and expert knowledge. These rule sets and expert knowledge were expressed in Constrained Natural Language, which was tailored to the specific railway administration. The formulation of various requirements and various logical, physical and mathematical interdependencies were intended to become part of the generic planning process for a specific rail administration.

Automated model checking increases the efficiency and the accuracy in the planning process and provides automated quality assurance documentation for the safety case. Railcomplete AS explored the integration of the RailCons research results into RailCOMPLETE^®, thus lowering the threshold for using Automated Reasoning techniques from the research frontier.

The work with Constrained Natural Language was carried out in cooperation with the University of Chalmers in Gothenburg, Sweden.

RailCons home page
Verification of rules and regulations in CAD models of railway signalling