Formal Methods Consultancy

Published

6 February 2024

Estimated value

€5,000,000

Place of performance

København S, DK011

Procedure

comp-dial

Lots

1

Notice number

00077959-2024

Reference

e3530074-9012-46b2-a09a-8855fa37a23e

Official source

Official source

CPV codes

• 71310000Servicios de consultoría en ingeniería y construcción
• 71311200Servicios de consultoría en sistemas de transporte

Description

Metroselskabet and Greater Copenhagen Lightrail I/S (hereafter the Client) is procuring a consultancy contract to support and enable the production of a formal method specification for the CBTC systems used on the metro in Copenhagen. The Client intends the use the formal method specification for the following two projects: 1) The future M5 line (requirement specification phase starts in 2024) 2) Resignalling of M1/M2 (3XR) (requirement specification phase starts in 2026-2027). The consultant will be expected to collaborate with other consultants employed by the Client and with the Client´s staff for indentification of generic and specific requirements for the CBTC system, provide training in application of formal methods and will be expected to support and enable the creation and verification of the CBTC formal specification in close cooperation with the Client´s staff. The project is divided into the following Stages: 1) Developing requirement specification for the formal method and testing of the method 2) Implementing the formal method and training of staff (Stage 2). The Client reserves the right to terminate the contract by the end of Stage 1 if the development and test…

Frequently asked questions

What is the estimated value of this tender?

The estimated value published by the buyer is €5,000,000.

Who is the buyer of this tender?

The contracting authority is Metroselskabet I/S (European Union).