{"id":636,"date":"2016-12-06T11:40:29","date_gmt":"2016-12-06T10:40:29","guid":{"rendered":"https:\/\/www.prover.com\/?post_type=avada_portfolio&p=636"},"modified":"2025-01-10T13:26:58","modified_gmt":"2025-01-10T12:26:58","slug":"bane-nor","status":"publish","type":"avada_portfolio","link":"https:\/\/www.prover.com\/references\/bane-nor\/","title":{"rendered":"Formal Safety Verification for Bane NOR, Norway"},"content":{"rendered":"

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

Perform formal safety verification to ensure interlocking software supplied by ABB meet the safety requirements of Bane NOR.<\/p>\n<\/div><\/div><\/div>

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

Bane NOR (Norwegian National Rail)<\/p>\n<\/div><\/div><\/div>

\"Signaling<\/span><\/div><\/div><\/div>
Signaling system<\/h5><\/div><\/div><\/div><\/div>

Computerized interlocking system Merkur, by ABB<\/p>\n<\/div><\/div><\/div><\/div><\/div>

Formal safety verification of interlocking software<\/h2><\/div><\/div><\/div>

In projects for Bane NOR\u2019s Nordlandsbanen line, the Ganddal freight terminal and the double track Sandnes-Stavanger, Prover provided turnkey services for safety verification of interlocking software. The interlocking systems were supplied by ABB, and Prover performed projects on behalf of both Bane NOR and its supplier ABB. Prover played a central role in development of the generic safety requirement specification for Norwegian interlocking systems. This specification was maintained in cooperation with Bane NOR and ABB, and was used in a number of projects that applied a two-step process for safety verification of interlocking software using Prover iLock Verifier:<\/p>\n