PurposePurpose

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.

ClientClient

Infrastructure Manager Stockholm Metro (SL).

Signaling systemSignaling system

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

Development and safety approval of interlocking software

In this project, Prover 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.

  • Advancing the digital transformation

  • Specification phase of rail control projects

  • Getting the specifications right from the start

  • Carry out a more successful rail control project.

PurposePurpose

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.

ClientClient

Infrastructure Manager Stockholm Metro (SL).

Signaling systemSignaling system

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

Development and safety approval of interlocking software

In this project, Prover 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.

  • Advancing the digital transformation

  • Specification phase of rail control projects

  • Getting the specifications right from the start

  • Carry out a more successful rail control project.