FAQs

SSI is the brand name of the first-generation processor-based interlocking developed in the 1980s by British Rail’s Research Division, GEC-General [...]

A formal system is sound if and only if every formula that can be proved in the system is valid [...]

Shift2Rail will be the first European rail joint technology initiative to seek focused research and innovation (R&I) and market-driven solutions [...]

The Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining [...]

Safety property is a property that must be fulfilled by the system in order for the system to be considered [...]

The specific application (SA) is being generated based on the generic application (GA) and specific application configuration data such as [...]

Program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program.

Relay based interlocking (RBI) is an interlocking system consisting of a complex circuitry made up of relays in an arrangement [...]

RAMS stand for reliability, availability, maintainability and safety.

Positive train control (PTC) is the North American freight railway implementation of CBTC.