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.
Client
Infrastructure Manager Stockholm Metro (SL).
Signaling 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.
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.
Client
Infrastructure Manager Stockholm Metro (SL).
Signaling 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.