Logg inn
Tilgang til anbud
Kontakt oss
21 01 88 00
Norge
Danmark
Deutschland
Eesti
Latvija
Lietuva
Norge
Polska
Russia
Suomi
Sverige
World
UK & Ireland
USA
Nederland
България
Norge
Danmark
Deutschland
Eesti
Latvija
Lietuva
Norge
Polska
Russia
Suomi
Sverige
World
UK & Ireland
USA
Nederland
България
Kontakt oss
Logg inn
Toggle navigation
Support
Mercell Norge Kundeservice
Mercell CTM Norsk Kundeservice (tidligere EU-Supply)
Mercell Opic Norge
Mercell TendSign Norge
Mercell Ajour Innkjøp Kundeservice
Søk anbud
Innkjøpsverktøy
KGV
KAV kontraktstyring
Kurs
Procure-to-Pay
Mercell À jour Innkjøp - logg inn
Ressurssenter
Anbudsvarsling
Anbudsvarsling
Våre tjenester og tilleggsprodukter
Finn anbud
Ressurssenter
Anbudsbloggen
Meld deg på nyhetsbrevet
Anbudsbloggen
Meld deg på nyhetsbrevet
Kurs
Nettsiden
Anbud
Formal Methods Consultancy
Informasjon
Kunngjøringsskjema
 
Anbudstype
Prosedyre
Konkurransepreget dialog
Forventet publiseringsdato
Forventet tilbudsfrist
Publiseringsdato
03.07.2024 15.05 (GMT+02:00)
Tilbudsfrist
06.03.2024 00.59 (GMT+01:00)
Spørsmålsfrist
Anbefalt dokumentfrist
Aksepterer parallelle tilbud
Nei
Aksepterer alternative tilbud
Nei
Innkjøper
Oppdragsgiver
Metroselskabet I/S
Metroselskabet I/S
Avdeling
Kontakt
Vibeke Jessen
Adresse
Metrovej 5
2300
København S
Danmark
Org.nr.
Nettside
Dato for innlevering er passert
Kort 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 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 Norge AS
Del av Mercell-gruppen, en av Europas ledende leverandører av elektroniske anbudsverktøy og informasjon mellom innkjøpere og leverandører i det profesjonelle markedet.
Våre hovedprodukter
Anbudsvarsling
Konkurrentovervåkning
Markedsanalyse
Skybaserte anbudsverktøy
Kurs for innkjøpere og leverandører
Mercell
Samarbeidspartnere
Etiske retningslinjer
Ledige stillinger
Kontorer
Anbudsarkiv
ISO 27001
Om oss
Referanser
Investor
Veiledninger og FAQ
Kontakt oss
Klikk her for å gå til support
+47 21 01 88 00
Mercell Norge AS
|
Askekroken 11
,
0277
OSLO
,
Norge
Privacy policy
|
Cookies
|
Vilkår & betingelser
|
Kontakt oss
|
Logg inn