Geschlossen

Formal Methods

Frist:23 Feb 2024, 00:00 CET

Ausschreibungsinformationen

TED EU

København S, Denmark

Art: 17
Verfahren: comp-dial
Referenznummer: 77959-2024
Geschätzter Wert: 5,000,000 EUR
CPV: 71310000

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 co

llaborate 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 supp

Alle Ausschreibungsinformationen anzeigen

Dokumente

Alle wichtigen Termine anzeigen