{"id":603,"date":"2016-12-12T10:46:53","date_gmt":"2016-12-12T09:46:53","guid":{"rendered":"https:\/\/www.prover.com\/?post_type=avada_portfolio&p=603"},"modified":"2025-05-19T09:29:20","modified_gmt":"2025-05-19T08:29:20","slug":"sl-stockholm","status":"publish","type":"avada_portfolio","link":"https:\/\/www.prover.com\/references\/sl-stockholm\/","title":{"rendered":"Implementing Prover Trident for SL, Stockholm"},"content":{"rendered":"

\"Purpose\"Purpose<\/h5><\/div>

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.<\/p>\n<\/div><\/div><\/div>

\"Client\"Client<\/h5><\/div>

Infrastructure Manager Stockholm Metro (SL).<\/p>\n<\/div><\/div><\/div>

\"SignalingSignaling system<\/h5><\/div>

Interlocking systems for mainline railway Roslagsbanan, based on the Microlok II platform by Ansaldo STS.<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>

Development and safety approval of interlocking software<\/h2><\/div>

In this project, Prover provides the Prover SDA Software Suite<\/a> (formerly known as Prover Trident) to Ansaldo STS, for the development and safety approval of interlocking software for Roslagsbanan, a mainline railway line that connects Stockholm East Station with Stockholm\u2019s north eastern suburbs.<\/p>\n

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.<\/p>\n

Since 2014, Ansaldo STS has met this demand by using Prover SDA Software Suite (formerly known as Prover Trident).<\/p>\n<\/div><\/div><\/div>