Prover Technology

Stockholm Metro Licenses Prover iLock for Interlocking System Configuration and Requirement Generation

Stockholm, Sweden (ots/PRNewswire) - Prover iLock solution aims to establish a standard interface for signaling

system requirements

Prover Technology, a leading solutions provider of rail control development software, today announced that SL, the infrastructure manager of Stockholm Metro, has licensed a Prover iLock solution for creating requirements for interlocking systems. The solution is based on a formal specification library that defines the general principles for Swedish interlocking systems, adapted to SL's needs.

(Logo: )

"It's exciting to work with modern railway infrastructure managers like SL. Introducing a standard process for generating requirements will improve communication with suppliers and contractors, and provide a formal interface for the signaling system planning process. This deployment is yet another sign that the industry is moving towards increased use of modern engineering processes and tools," said Arne Borälv, CEO of Prover Technology.

The output generated by the Prover iLock solution is used in automated development of interlocking software, or is applied in analysis of an existing interlocking, using formal verification and simulation. To date, the solution has been used for computerized interlocking systems in revenue-service on SL's Roslagsbanan line and relay-based on line Saltsjöbanan.

Usage process

The Prover iLock solution is used on a regular computer. The interlocking layout is either drawn using a drag-and-drop editor, or the corresponding data is imported from file. The configuration and requirements are then generated by Prover iLock, including automatic checking of the generated data, and functions to export the generated data to standard formats. In addition, the solution provides traceability from the infrastructure manager requirements to the specific interlocking.

For more information, contact

About Prover Technology

Prover Technology pioneered the use of formal safety verification in rail control in the 1990s, and today offers complete software solutions for development of rail control systems.

Prover Technology is a privately held Swedish company headquartered in Stockholm, Sweden, with wholly owned subsidiaries in France and the USA. For more information, visit Prover Technology's web site at


Prover Technology


Weitere Meldungen: Prover Technology

Das könnte Sie auch interessieren: