Logga in
Åtkomst till upphandling
Kontakta oss
077 144 02 00
Sverige
Danmark
Deutschland
Eesti
Latvija
Lietuva
Norge
Polska
Russia
Suomi
Sverige
World
UK & Ireland
USA
Nederland
България
Sverige
Danmark
Deutschland
Eesti
Latvija
Lietuva
Norge
Polska
Russia
Suomi
Sverige
World
UK & Ireland
USA
Nederland
България
Kontakta oss
Logga in
Toggle navigation
Support
Mercell TendSign Sverige
Mercell Sverige Kundservice
Mercell Opic Sverige
Mercell CTM Svensk Kundtjänst (tidigare EU-Supply)
Upphandlingsbevakning
Mercell Opic Upphandlingskoll
Prova gratis i 7 dagar
Mercell Opic Upphandlingskoll
Prova gratis i 7 dagar
Tilläggstjänster
Kunskapsbank
Offentliga upphandlingar
Direktupphandling
Kunskapsbank
Offentliga upphandlingar
Direktupphandling
Upphandlingsbloggen
Prenumerera på vårt nyhetsbrev
Upphandlingsbloggen
Prenumerera på vårt nyhetsbrev
Sök upphandlingar
Upphandlingsverktyg
Mercell TendSign Upphandlingsverktyg
Utbildningar
Direktupphandlingar
För leverantörer
Mercell Leverantörsregister
Hemsidan
Upphandlingar
Formal Methods Consultancy
Information
Meddelandetyp
 
Upphandlingstyp
Förfarande
Konkurrenspräglad dialog
Upphandlingsdatum
Förväntat avslutsdatum för upphandlingen
Publiceringsdatum
2024-07-03 15:05 (GMT+02:00)
Anbudsfrist
2024-03-06 00:59 (GMT+01:00)
Sista dag för att ställa frågor
Rekommenderad sista dag att visa intresse
Accepterar parallella anbud
Nej
Accepterar alternativa anbud
Nej
Inköpare
Upphandlande enhet
Metroselskabet I/S
Metroselskabet I/S
Avdelning
Kontakt
Vibeke Jessen
Adress
Metrovej 5
2300
København S
Danmark
Org.nr.
Hemsida
Anbudsfristen har passerat.
Kort beskrivning
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 the formal method in Stage 1 is not successfully or if it is assessed that the method does not provide the savings expected by the Client.
Despite having introduced two driverless metro systems in Copenhagen, the Client has very limited and practical experience with the use of formal methods and formal specifications. The consultant should provide expertise and practical experience within the domain enabling work as "one team" with the Client. This work will be based on the organisation´s experience and knowledge about the functionality and operation. It is the ambition to create the formal specification in close collaboration between the Client and the consultant. The consultant should also provide the necessary training and knowledge of the transfer in process. The Client expects the establishing of formal requirement specifications for the CBTC system will reduce the risk in procurement of such systems as well as reducing the cost to develop and approve the systems, by enabling automation of code generation and efficient safety verification. A formal approach will also help drive the cost down with efficient management of change requests.
–
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 the Client´s staff .
The Client reserves the right to terminate the contract by the end of Stage 1 if the development and testing of the formal method in Stage 1 is not successfully or if it is assessed that the method does not provide the savings expected by the Client.
Despite having introduced two driverless metro systems in Copenhagen, the Client has very limited and practical experience with the use of formal methods and formal specifications. The consultant should provide expertise and practical experience within the domain enabling work as "one team" with the Client. This work will be based on the organisation´s experience and knowledge about the functionality and operation. It is the ambition to create the formal specification in close collaboration between the Client and the consultant. The consultant should also provide the necessary training and knowledge of the transfer in process. The Client expects the establishing of formal requirement specifications for the CBTC system will reduce the risk in procurement of such systems as well as reducing the cost to develop and approve the systems, by enabling automation of code generation and efficient safety verification. A formal approach will also help drive the cost down with efficient management of change requests.
Mercell Commerce
Del av Mercellgruppen, en av Europas ledande leverantörer av elektroniska upphandlings- och anbudssystem på den professionella marknaden.
Produkter
Upphandlingsbevakning
Upphandlingsverktyg
Marknadsbevakning
Kommande upphandlingar
Mercell
Om oss
Investor
Etiska riktlinjer
Samarbetspartner
Karriär
Nyheter
Kontakta oss
Klicka här för att gå till vår support
+46 077 144 02 00
Mercell Commerce
|
Lindhagensgatan 94
,
11218
Stockholm
,
Sverige
Integritetspolicy
|
Cookies
|
Användarvillkor
|
Kontakta oss
|
Logga in