SL, Stockholm

Development and Safety Approval of Interlocking Software

Purpose

Reduce time-to-market for development and safety approval of interlocking software. Establish sign-off safety verification in compliance of CENELEC EN 50128:2011 SIL4.

Infrastructure Manager

Stockholm Metro (SL)

Signaling system

Interlocking systems for mainline railway Roslagsbanan, based on the Microlok II platform by Ansaldo STS.

In this project, Prover Technology provides the Prover Trident solution to Ansaldo STS, for development and safety approval of interlocking software for Roslagsbanan, a mainline railway line that connects Stockholm East Station with Stockholm’s north eastern suburbs.

Interlocking systems on Roslagsbanan used to be relay-based once upon a time. As part of a capacity increase program for Roslagsbanan, the infrastructure manager sought to reduce the time-to-market required for development and safety approval of interlocking systems.

Since 2014, Ansaldo STS meets this demand by using Prover Trident.