El Vínculo El Vínculo.
Afsluttet Danmark Tjenesteydelser

Formal Methods Consultancy

Ordregiver: Metroselskabet I/S

Offentliggjort
3 juli 2024
Anslået værdi
5.000.000 €
Udførelsessted
DK011
Procedure
Udbud med forhandling
Delkontrakter
1
Dokumenter
1
Bekendtgørelsesnummer
00395599-2024-01
Reference
e3530074-9012-46b2-a09a-8855fa37a23e
Officiel kilde
Officiel kilde

CPV-koder

Beskrivelse

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 testing of…

Tildelingskriterier

Officielle publikationer

Andre udbud fra Metroselskabet I/S

Se alle →

Ofte stillede spørgsmål

Hvad er den anslåede værdi af dette udbud?
Den anslåede værdi offentliggjort af ordregiveren er 5.000.000 €.
Hvem er ordregiver for dette udbud?
Ordregiveren er Metroselskabet I/S (Danmark).
Hvordan kan jeg byde på offentlige udbud i Danmark?
Tilbud afgives via den officielle udbudsportal i Danmark. El Vínculo hjælper dig med at finde udbud og analysere dokumenterne; afgivelsen sker altid hos den officielle kilde.
Få besked om udbud som dette
Opret en gratis konto, og modtag hver dag nye udbud i Danmark, der matcher din virksomhed.

Kom gratis i gang

Data indsamlet fra officielle kilder for offentlige udbud. Beløb som offentliggjort af ordregiveren.