Formal Methods Consultancy
Buyer: Metroselskabet I/S
- Published
- 3 July 2024
- Estimated value
- €5,000,000
- Place of performance
- DK011
- Procedure
- Negotiated procedure
- Lots
- 1
- Documents
- 1
- Notice number
- 00395599-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…
Award criteria
- Quality — Road Map
- Quality — Key Personnel
- Price — Price
Official publications
- TED · 00395599-2024 · 3 July 2024
- OJS · 128/2024 · 3 July 2024
Other tenders from Metroselskabet I/S
- Invitation to M5 Metro Line - Information Meeting
- Rengøringsservice - Metroselskabet I/S
- O&M contract
- M5 Transportation Systems Consultancy
- O&M contract
- Copenhagen Metro – Future O&M contract
- 3XR Consultant - M1&M2
- Udbud af rammeaftale på Mediebureau-ydelser
- Udbud af rammeaftale på Mediebureau-ydelser
- Udbud af rammeaftale på Mediebureau-ydelser
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).
- How can I bid for public tenders in European Union?
- Bids are submitted through the official procurement portal of European Union. El Vínculo helps you find tenders and analyse their documents; submission always happens at the official source.
Create a free account and receive new tenders from European Union matching your business, every day.