2 Procedure

2.1 Procedure

Titel: Formal Methods Consultancy

Beskrivelse: Metroselskabet and Greater Copenhagen Lightrail I/S (hereafter the Client) is procuring\n a consultancy contract to support and enable the production of a formal method specification\n for the CBTC systems used on the metro in Copenhagen. The Client intends the use the\n formal method specification for the following two projects: 1) The future M5 line\n (requirement specification phase starts in 2024) 2) Resignalling of M1/M2 (3XR) (requirement\n specification phase starts in 2026-2027). The consultant will be expected to collaborate\n with other consultants employed by the Client and with the Client´s staff for indentification\n of generic and specific requirements for the CBTC system, provide training in application\n of formal methods and will be expected to support and enable the creation and verification\n of the CBTC formal specification in close cooperation with the Client´s staff. The\n project is divided into the following Stages: 1) Developing requirement specification\n for the formal method and testing of the method 2) Implementing the formal method\n and training of staff (Stage 2). The Client reserves the right to terminate the contract\n by the end of Stage 1 if the development and testing of the formal method in Stage\n 1 is not successfully or if it is assessed that the method does not provide the savings\n expected by the Client. Despite having introduced two driverless metro systems in\n Copenhagen, the Client has very limited and practical experience with the use of formal\n methods and formal specifications. The consultant should provide expertise and practical\n experience within the domain enabling work as \"one team\" with the Client. This work\n will be based on the organisation´s experience and knowledge about the functionality\n and operation. It is the ambition to create the formal specification in close collaboration\n between the Client and the consultant. The consultant should also provide the necessary\n training and knowledge of the transfer in process. The Client expects the establishing\n of formal requirement specifications for the CBTC system will reduce the risk in procurement\n of such systems as well as reducing the cost to develop and approve the systems, by\n enabling automation of code generation and efficient safety verification. A formal\n approach will also help drive the cost down with efficient management of change requests.

Identifikator for proceduren: e3530074-9012-46b2-a09a-8855fa37a23e

Udbudsprocedure: Konkurrencepræget dialog

2.1.1 Formål

Kontraktens art: Tjenesteydelser

Primær klassificering (cpv): 71310000 Rådgivning inden for ingeniørvæsen og byggeri

Yderligere klassificering (cpv): 71311200 Rådgivning i forbindelse med transportsystemer

2.1.2 Udførelsessted

Landespecifik underafdeling (NUTS): Byen København (DK011)

Land: Danmark

2.1.3 Værdi

Anslået værdi eksklusiv moms: 5.000.000 Euro

2.1.4 Generelle oplysninger

Yderligere oplysninger: Ground for Exclusion, Danish procurement Act section 134A (mandatory ground for exclusion)\n The Client must exclude an applicant or tenderer from participating in a tendering\n procedure, if the applicant or tenderer is established in a country that is included\n in the EU list of noncooperative tax jurisdictions and has not acceded to the WTO's\n Government Procurement Agreement or other trade agreements obliging Denmark to open\n the market for public contracts to tenderers established in the country in question.\n Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Retsgrundlag:

Direktiv 2014/25/EU

2.1.6 Grunde til udelukkelse

Aftaler med andre økonomiske aktører med henblik på konkurrencefordrejning: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Betaling af skatter og afgifter: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Betaling af socialsikringsbidrag: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Børnearbejde og andre former for menneskehandel: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Deltagelse i en kriminel organisation: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Direkte eller indirekte involvering i forberedelsen af denne udbudsprocedure: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

En situation, der svarer til konkurs i henhold til national ret: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Har afgivet urigtige oplysninger eller tilbageholdt oplysninger, som ikke var i stand til at fremlægge de krævede dokumenter og indhentet fortrolige oplysninger i forbindelse med denne procedure: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Hvidvaskning af penge eller finansiering af terrorisme: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Insolvens: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Interessekonflikt som følge af deltagelse i udbudsproceduren: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Konkurs: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Korruption: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Ophævelse eller en lignende sanktion: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Skyldig i alvorlige forsømmelser i forbindelse med udøvelsen af erhvervet: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Svig: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Terrorhandlinger eller strafbare handlinger med forbindelse til terroraktivitet: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Tilsidesættelse af forpligtelser på det arbejdsretlige område: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Tilsidesættelse af forpligtelser på miljølovgivningsområdet: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Tilsidesættelse af forpligtelser på sociallovgivningsområdet: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Tvangsakkord uden for konkurs: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Erhvervsvirksomheden er indstillet: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Aktiver, der administreres af en kurator: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

5 Delkontrakt

5.1 Teknisk ID for partiet: LOT-0001

Titel: Formal Methods

Beskrivelse: Metroselskabet and Greater Copenhagen Lightrail I/S (hereafter the Client) is procuring\n a consultancy contract to support and enable the production of a formal method specification\n for the CBTC systems used on the metro in Copenhagen. The Client intends the use the\n formal method specification for the following two projects: 1) The future M5 line\n (requirement specification phase starts in 2024) 2) Resignalling of M1/M2 (3XR) (requirement\n specification phase starts in 2026-2027). The consultant will be expected to collaborate\n with other consultants employed by the Client and with the Client´s staff for indentification\n of generic and specific requirements for the CBTC system, provide training in application\n of formal methods and will be expected to support and enable the creation and verification\n of the CBTC formal specification in close cooperation with the Client´s staff. The\n project is divided into the following Stages: 1) Developing requirement specification\n for the formal method and testing of the method 2) Implementing the formal method\n and training of the Client´s staff . The Client reserves the right to terminate the\n contract by the end of Stage 1 if the development and testing of the formal method\n in Stage 1 is not successfully or if it is assessed that the method does not provide\n the savings expected by the Client. Despite having introduced two driverless metro\n systems in Copenhagen, the Client has very limited and practical experience with the\n use of formal methods and formal specifications. The consultant should provide expertise\n and practical experience within the domain enabling work as \"one team\" with the Client.\n This work will be based on the organisation´s experience and knowledge about the functionality\n and operation. It is the ambition to create the formal specification in close collaboration\n between the Client and the consultant. The consultant should also provide the necessary\n training and knowledge of the transfer in process. The Client expects the establishing\n of formal requirement specifications for the CBTC system will reduce the risk in procurement\n of such systems as well as reducing the cost to develop and approve the systems, by\n enabling automation of code generation and efficient safety verification. A formal\n approach will also help drive the cost down with efficient management of change requests.

Intern identifikator: Formal Methods

5.1.1 Formål

Kontraktens art: Tjenesteydelser

Primær klassificering (cpv): 71310000 Rådgivning inden for ingeniørvæsen og byggeri

Yderligere klassificering (cpv): 71311200 Rådgivning i forbindelse med transportsystemer

Valgmuligheder:

Beskrivelse af optioner: The contract will not be renewed

5.1.3 Anslået varighed

Startdato: 20-06-2024

Varigheds slutdato: 30-11-2035

5.1.4 Fornyelse

Højeste antal fornyelser: 0

5.1.6 Generelle oplysninger

Reserveret deltagelse: Deltagelse uden forbehold.

Navnene på og de faglige kvalifikationer for det personale, der skal udføre kontrakten, skal angives: Ikke påkrævet

Udbuddet er omfattet af aftalen om offentlige udbud (GPA): ja

Dette udbud er også egnet for små og mellemstore virksomheder (SMV'er)

Yderligere oplysninger: An application for prequalification should include a declaration regarding sanctions\n against Russia, please refer for FM_Invitation to Tender, doc id. MS-X-PD-INO-IDR-FM2-0004,\n Appendix C. If the applicant is a consortium, joint venture or similar each member\n of the consortium or joint venture should submit a declaration regarding sanctions\n against Russia.

5.1.7 Strategiske udbud

5.1.9 Udvælgelseskriterier

Kriterium:

Type: Økonomisk og finansiel formåen

Navn: Equity for the last three (3) available years (minimum requirement)

Beskrivelse: The applicant´s equity for the last three (3) years must be positive. The applicant\n should submit a completed version of the European Single Procurement Document (ESPD)\n for the lot, including Part IV, section B. If an application for prequalification\n is submitted by a consortium or joint venture, an ESPD containing the above mention\n financial and economic information should be submitted for each participant in the\n consortium or joint venture. Information on equity should also be submitted in a separate\n ESPD for any supporting entity on whom the applicant relies financially and/or economically.If\n the applicant rely on a supporting entity or entities to meet the minimum requirement,\n the equity for the applicant and the supporting entity or supporting entities must\n be positive in the last three (3) available financial years. The equity for the applicant\n and the supporting entity or entities will be added and the combined equity must be\n positive in the last three (3) available years. If the applicant relies on a supporting\n entity or entities for the fulfillment of the minimum financial and economical, the\n supporting entity must complete an ESPD and a declaration of support, please refer\n to FM_Invitation to Tender doc id.MS-X-PD-INO-IDR-FM2-0004, appendix B

Kriterierne vil blive anvendt til at udvælge de ansøgere, som skal opfordres til at deltage i anden fase af proceduren

Kriterium:

Type: Teknisk og faglig formåen

Navn: References

Beskrivelse: An application for prequalification may include up to a maximum of 5 references. Each\n reference may not exceed 3 A4-pages. The client will in the assessment of the references\n disregard any pages above 3 A4 pages per reference. The references may be included\n in the ESPD. If the applicant prefers a separate list of the 5 references may submitted\n instead of the including the references in the ESPD. If the applicant submits a list\n of references the names of the references should be included in the ESPD. The references\n will be used by the Client to select the number of limited candidates to be invited\n to be part of the competitive dialogue. The references may not be more than 3 years\n old, counting from the date of completion of the services/handover of the project.\n The references should include the following information: name and contact information\n of the client Short description of the project, services included, whether the project\n was a greenfield or brownfield project etc. Start date and date for completion (completion\n of the applicant´s services for the client) Description of the services performed\n by the consultant The role and responsibilities of the applicant, e.g. discipline\n lead, lead consultant, subconsultant etc. Fee for the specific services performed\n by the applicant The total construction cost of the reference. Minimum requirement:\n At least one (1) reference must document the applicants experience with developing\n a formal method specification. At least one (1) reference must document the applicants\n experience with implementing a formal method. If an applicant relies on the support\n of another economical entity in relation to professional capacity, the supporting\n entity must complete an ESPD and a declaration of support, please refer to FM_Invitation\n to Tender doc id.MS-X-PD-INO-IDR-FM2-0004, appendix B. If an application for prequalification\n is submitted by a consortium or joint venture or similar, an ESPD should be submitted\n for each participant in the consortium or joint venture. If more than 3 applicants\n fulfill the minimum requirements (both financial and economical and technical and\n professional ability above the selection of applicants who will be invited to participate\n in the competitive dialogue will be based on an overall assessment of which applicants\n have documented the most relevant experiences similar to the services covered by the\n procured contract, please refer to section 5.1 of the contract notice. With \"similar\"\n services the Clients understands projects/references of a similar economical size,\n complexity and nature of services.

Kriterierne vil blive anvendt til at udvælge de ansøgere, som skal opfordres til at deltage i anden fase af proceduren

Oplysninger om den anden fase i en procedure, der afvikles i to faser:

Mindsteantallet af ansøgere, som skal opfordres til at deltage i anden fase af proceduren: 3

Det højeste antal ansøgere, som skal opfordres til at deltage i anden fase af proceduren: 3

Proceduren afvikles i successive faser. I hver fase kan nogle ansøgere blive afvist

5.1.10 Tildelingskriterier

Kriterium:

Type: Kvalitet

Beskrivelse: Road Map

Vægtning (procentdel, præcis): 45

Kriterium:

Type: Kvalitet

Beskrivelse: Key Personnel

Vægtning (procentdel, præcis): 30

Kriterium:

Type: Pris

Beskrivelse: Price

Vægtning (procentdel, præcis): 25

5.1.11 Udbudsdokumenter

Sprog, som udbudsdokumenterne er officielt tilgængelige på: engelsk

Adresse på udbudsdokumenterne: https://app.byggeprojekt.dk/public/1985-Formal_Methods_Consultancy

5.1.12 Udbudsvilkår

Vilkår for indgivelse:

Elektronisk indgivelse: Påkrævet

Indgivelsesadresse: https://app.byggeprojekt.dk/public/1985-Formal_Methods_Consultancy

Sprog, som tilbud og ansøgninger om deltagelse kan indgives på: engelsk

Elektronisk katalog: Ikke tilladt

Alternative tilbud: Ikke tilladt

Tilbudsgivere kan indgive mere end ét tilbud: Ikke tilladt

Betingelser for kontrakten:

Udførelsen af kontrakten skal ske inden for rammerne af programmer for beskyttet beskæftigelse: Nej

Vilkår relateret til kontraktens udførelse: Conditions relating to the performance of the contract: The consultancy contract is\n based on ABR18 with the Client´s deviations and amendments. The Client´s code of conduct\n must be adhere to. The consultant is obliged to support the ten principles of the\n UN Global Compact containing universally accepted standards for human rights, labour\n rights, environmental rights and anticorruption. The contract language is Danish.\n Working language will be English. The project is divided into the following two Stages:\n 1) Developing requirement specification for the formal method and testing of the method\n 2) Implementing the formal method and training of staff. The Client reserves the right\n to cancel Stage 2 if the development and testing of the formal method i stage 1 is\n not successfully or if it is assessed that the method does not provide the savings\n expected by the Client.

Der kræves en fortrolighedsaftale: nej

Elektronisk fakturering: Påkrævet

Der vil blive anvendt elektronisk bestilling: nej

Der vil blive anvendt elektronisk betaling: ja

Finansiel ordning: The contract is based on ABR18 and the consultant will be paid by the hour.

Oplysninger om undersøgelsesfrister: In accordance with the Act on Complaint Board for Public Procurement, appeals regarding\n failure to become prequalified shall be submitted to the Complaint Board for Public\n Procurement within 20 calendar days, counting from the date after issue of notification\n to applicants regarding which applicants has been prequalified, cf. section 2 (1)\n of the Act, if the notification included a brief account of the relevant reasons for\n the decision. Other appeals must be submitted to the Complaint Board for Public Procurement\n within 45 calendar day after publication of announcements on a concluded contract\n in the Official Journal of the European Union.

5.1.15 Teknikker

Rammeaftale:

Ingen rammeaftale

Oplysninger om det dynamiske indkøbssystem:

Intet dynamisk indkøbssystem

Elektronisk auktion: nej

5.1.16 Yderligere oplysninger, mægling og gennemgang

Organisation med ansvar for klager: Metroselskabet I/S

Organisation, der leverer supplerende oplysninger om udbudsproceduren: Metroselskabet I/S

Organisation, der sikrer adgang til udbudsdokumenterne offline: Metroselskabet I/S

Organisation, der leverer yderligere oplysninger om klageprocedurerne: Metroselskabet I/S

Organisation, der modtager ansøgninger om deltagelse: Metroselskabet I/S

Organisation, der behandler tilbud: Metroselskabet I/S

2 Procedure

2.1 Procedure

Title: Formal Methods Consultancy

Description: Metroselskabet and Greater Copenhagen Lightrail I/S (hereafter the Client) is procuring\n a consultancy contract to support and enable the production of a formal method specification\n for the CBTC systems used on the metro in Copenhagen. The Client intends the use the\n formal method specification for the following two projects: 1) The future M5 line\n (requirement specification phase starts in 2024) 2) Resignalling of M1/M2 (3XR) (requirement\n specification phase starts in 2026-2027). The consultant will be expected to collaborate\n with other consultants employed by the Client and with the Client´s staff for indentification\n of generic and specific requirements for the CBTC system, provide training in application\n of formal methods and will be expected to support and enable the creation and verification\n of the CBTC formal specification in close cooperation with the Client´s staff. The\n project is divided into the following Stages: 1) Developing requirement specification\n for the formal method and testing of the method 2) Implementing the formal method\n and training of staff (Stage 2). The Client reserves the right to terminate the contract\n by the end of Stage 1 if the development and testing of the formal method in Stage\n 1 is not successfully or if it is assessed that the method does not provide the savings\n expected by the Client. Despite having introduced two driverless metro systems in\n Copenhagen, the Client has very limited and practical experience with the use of formal\n methods and formal specifications. The consultant should provide expertise and practical\n experience within the domain enabling work as \"one team\" with the Client. This work\n will be based on the organisation´s experience and knowledge about the functionality\n and operation. It is the ambition to create the formal specification in close collaboration\n between the Client and the consultant. The consultant should also provide the necessary\n training and knowledge of the transfer in process. The Client expects the establishing\n of formal requirement specifications for the CBTC system will reduce the risk in procurement\n of such systems as well as reducing the cost to develop and approve the systems, by\n enabling automation of code generation and efficient safety verification. A formal\n approach will also help drive the cost down with efficient management of change requests.

Procedure identifier: e3530074-9012-46b2-a09a-8855fa37a23e

Type of procedure: Competitive dialogue

2.1.1 Purpose

Main nature of the contract: Services

Main classification (cpv): 71310000 Consultative engineering and construction services

Additional classification (cpv): 71311200 Transport systems consultancy services

2.1.2 Place of performance

Country subdivision (NUTS): Byen København (DK011)

Country: Denmark

2.1.3 Value

Estimated value excluding VAT: 5.000.000 Euro

2.1.4 General information

Additional information: Ground for Exclusion, Danish procurement Act section 134A (mandatory ground for exclusion)\n The Client must exclude an applicant or tenderer from participating in a tendering\n procedure, if the applicant or tenderer is established in a country that is included\n in the EU list of noncooperative tax jurisdictions and has not acceded to the WTO's\n Government Procurement Agreement or other trade agreements obliging Denmark to open\n the market for public contracts to tenderers established in the country in question.\n Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Legal basis:

Directive 2014/25/EU

2.1.6 Grounds for exclusion

Agreements with other economic operators aimed at distorting competition: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Payment of taxes: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Payment of social security contributions: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Child labour and other forms of trafficking in human beings: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Participation in a criminal organisation: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Direct or indirect involvement in the preparation of this procurement procedure: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Analogous situation like bankruptcy under national law: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Guilty of misrepresentation, withheld information, unable to provide required documents and obtained confidential information of this procedure: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Money laundering or terrorist financing: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Insolvency: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Conflict of interest due to its participation in the procurement procedure: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Bankruptcy: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Corruption: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Early termination, damages or other comparable sanctions: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Guilty of grave professional misconduct: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Fraud: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Terrorist offences or offences linked to terrorist activities: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Breaching of obligations in the fields of labour law: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Breaching of obligations in the fields of environmental law: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Breaching of obligations in the fields of social law: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Arrangement with creditors: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Business activities are suspended: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

Assets being administered by liquidator: Information about the grounds for exclusion should be stated in the ESPD. For tenderers\n registered in Denmark, a Serviceattest will be sufficient documentation. For tenderers\n registered outside Denmark, please refer to https://ec.europa.eu/tools/ecertis/#/homePage\n for information on sufficient documentation for the mandatory and voluntary grounds\n for exclusion

5 Lot

5.1 Lot technical ID: LOT-0001

Title: Formal Methods

Description: Metroselskabet and Greater Copenhagen Lightrail I/S (hereafter the Client) is procuring\n a consultancy contract to support and enable the production of a formal method specification\n for the CBTC systems used on the metro in Copenhagen. The Client intends the use the\n formal method specification for the following two projects: 1) The future M5 line\n (requirement specification phase starts in 2024) 2) Resignalling of M1/M2 (3XR) (requirement\n specification phase starts in 2026-2027). The consultant will be expected to collaborate\n with other consultants employed by the Client and with the Client´s staff for indentification\n of generic and specific requirements for the CBTC system, provide training in application\n of formal methods and will be expected to support and enable the creation and verification\n of the CBTC formal specification in close cooperation with the Client´s staff. The\n project is divided into the following Stages: 1) Developing requirement specification\n for the formal method and testing of the method 2) Implementing the formal method\n and training of the Client´s staff . The Client reserves the right to terminate the\n contract by the end of Stage 1 if the development and testing of the formal method\n in Stage 1 is not successfully or if it is assessed that the method does not provide\n the savings expected by the Client. Despite having introduced two driverless metro\n systems in Copenhagen, the Client has very limited and practical experience with the\n use of formal methods and formal specifications. The consultant should provide expertise\n and practical experience within the domain enabling work as \"one team\" with the Client.\n This work will be based on the organisation´s experience and knowledge about the functionality\n and operation. It is the ambition to create the formal specification in close collaboration\n between the Client and the consultant. The consultant should also provide the necessary\n training and knowledge of the transfer in process. The Client expects the establishing\n of formal requirement specifications for the CBTC system will reduce the risk in procurement\n of such systems as well as reducing the cost to develop and approve the systems, by\n enabling automation of code generation and efficient safety verification. A formal\n approach will also help drive the cost down with efficient management of change requests.

Internal identifier: Formal Methods

5.1.1 Purpose

Main nature of the contract: Services

Main classification (cpv): 71310000 Consultative engineering and construction services

Additional classification (cpv): 71311200 Transport systems consultancy services

Options:

Description of the options: The contract will not be renewed

5.1.3 Estimated duration

Start date: 20-06-2024

Duration end date: 30-11-2035

5.1.4 Renewal

Maximum renewals: 0

5.1.6 General information

Reserved participation: Participation is not reserved.

The names and professional qualifications of the staff assigned to perform the contract must be given: Not required

The procurement is covered by the Government Procurement Agreement (GPA): yes

This procurement is also suitable for small and medium-sized enterprises (SMEs)

Additional information: An application for prequalification should include a declaration regarding sanctions\n against Russia, please refer for FM_Invitation to Tender, doc id. MS-X-PD-INO-IDR-FM2-0004,\n Appendix C. If the applicant is a consortium, joint venture or similar each member\n of the consortium or joint venture should submit a declaration regarding sanctions\n against Russia.

5.1.7 Strategic procurement

5.1.9 Selection criteria

Criterion:

Type: Economic and financial standing

Name: Equity for the last three (3) available years (minimum requirement)

Description: The applicant´s equity for the last three (3) years must be positive. The applicant\n should submit a completed version of the European Single Procurement Document (ESPD)\n for the lot, including Part IV, section B. If an application for prequalification\n is submitted by a consortium or joint venture, an ESPD containing the above mention\n financial and economic information should be submitted for each participant in the\n consortium or joint venture. Information on equity should also be submitted in a separate\n ESPD for any supporting entity on whom the applicant relies financially and/or economically.If\n the applicant rely on a supporting entity or entities to meet the minimum requirement,\n the equity for the applicant and the supporting entity or supporting entities must\n be positive in the last three (3) available financial years. The equity for the applicant\n and the supporting entity or entities will be added and the combined equity must be\n positive in the last three (3) available years. If the applicant relies on a supporting\n entity or entities for the fulfillment of the minimum financial and economical, the\n supporting entity must complete an ESPD and a declaration of support, please refer\n to FM_Invitation to Tender doc id.MS-X-PD-INO-IDR-FM2-0004, appendix B

The criteria will be used to select the candidates to be invited for the second stage of the procedure

Criterion:

Type: Technical and professional ability

Name: References

Description: An application for prequalification may include up to a maximum of 5 references. Each\n reference may not exceed 3 A4-pages. The client will in the assessment of the references\n disregard any pages above 3 A4 pages per reference. The references may be included\n in the ESPD. If the applicant prefers a separate list of the 5 references may submitted\n instead of the including the references in the ESPD. If the applicant submits a list\n of references the names of the references should be included in the ESPD. The references\n will be used by the Client to select the number of limited candidates to be invited\n to be part of the competitive dialogue. The references may not be more than 3 years\n old, counting from the date of completion of the services/handover of the project.\n The references should include the following information: name and contact information\n of the client Short description of the project, services included, whether the project\n was a greenfield or brownfield project etc. Start date and date for completion (completion\n of the applicant´s services for the client) Description of the services performed\n by the consultant The role and responsibilities of the applicant, e.g. discipline\n lead, lead consultant, subconsultant etc. Fee for the specific services performed\n by the applicant The total construction cost of the reference. Minimum requirement:\n At least one (1) reference must document the applicants experience with developing\n a formal method specification. At least one (1) reference must document the applicants\n experience with implementing a formal method. If an applicant relies on the support\n of another economical entity in relation to professional capacity, the supporting\n entity must complete an ESPD and a declaration of support, please refer to FM_Invitation\n to Tender doc id.MS-X-PD-INO-IDR-FM2-0004, appendix B. If an application for prequalification\n is submitted by a consortium or joint venture or similar, an ESPD should be submitted\n for each participant in the consortium or joint venture. If more than 3 applicants\n fulfill the minimum requirements (both financial and economical and technical and\n professional ability above the selection of applicants who will be invited to participate\n in the competitive dialogue will be based on an overall assessment of which applicants\n have documented the most relevant experiences similar to the services covered by the\n procured contract, please refer to section 5.1 of the contract notice. With \"similar\"\n services the Clients understands projects/references of a similar economical size,\n complexity and nature of services.

The criteria will be used to select the candidates to be invited for the second stage of the procedure

Information about the second stage of a two-stage procedure:

Minimum number of candidates to be invited for the second stage of the procedure: 3

Maximum number of candidates to be invited for the second stage of the procedure: 3

The procedure will take place in successive stages. At each stage, some participants may be eliminated

5.1.10 Award criteria

Criterion:

Type: Quality

Description: Road Map

Weight (percentage, exact): 45

Criterion:

Type: Quality

Description: Key Personnel

Weight (percentage, exact): 30

Criterion:

Type: Price

Description: Price

Weight (percentage, exact): 25

5.1.11 Procurement documents

Languages in which the procurement documents are officially available: English

Address of the procurement documents: https://app.byggeprojekt.dk/public/1985-Formal_Methods_Consultancy

5.1.12 Terms of procurement

Terms of submission:

Electronic submission: Required

Address for submission: https://app.byggeprojekt.dk/public/1985-Formal_Methods_Consultancy

Languages in which tenders or requests to participate may be submitted: English

Electronic catalogue: Not allowed

Variants: Not allowed

Tenderers may submit more than one tender: Not allowed

Terms of contract:

The execution of the contract must be performed within the framework of sheltered employment programmes: No

Conditions relating to the performance of the contract: Conditions relating to the performance of the contract: The consultancy contract is\n based on ABR18 with the Client´s deviations and amendments. The Client´s code of conduct\n must be adhere to. The consultant is obliged to support the ten principles of the\n UN Global Compact containing universally accepted standards for human rights, labour\n rights, environmental rights and anticorruption. The contract language is Danish.\n Working language will be English. The project is divided into the following two Stages:\n 1) Developing requirement specification for the formal method and testing of the method\n 2) Implementing the formal method and training of staff. The Client reserves the right\n to cancel Stage 2 if the development and testing of the formal method i stage 1 is\n not successfully or if it is assessed that the method does not provide the savings\n expected by the Client.

A non-disclosure agreement is required: no

Electronic invoicing: Required

Electronic ordering will be used: no

Electronic payment will be used: yes

Financial arrangement: The contract is based on ABR18 and the consultant will be paid by the hour.

Information about review deadlines: In accordance with the Act on Complaint Board for Public Procurement, appeals regarding\n failure to become prequalified shall be submitted to the Complaint Board for Public\n Procurement within 20 calendar days, counting from the date after issue of notification\n to applicants regarding which applicants has been prequalified, cf. section 2 (1)\n of the Act, if the notification included a brief account of the relevant reasons for\n the decision. Other appeals must be submitted to the Complaint Board for Public Procurement\n within 45 calendar day after publication of announcements on a concluded contract\n in the Official Journal of the European Union.

5.1.15 Techniques

Framework agreement:

No framework agreement

Information about the dynamic purchasing system:

No dynamic purchase system

Electronic auction: no

5.1.16 Further information, mediation and review

Review organisation: Metroselskabet I/S

Organisation providing additional information about the procurement procedure: Metroselskabet I/S

Organisation providing offline access to the procurement documents: Metroselskabet I/S

Organisation providing more information on the review procedures: Metroselskabet I/S

Organisation receiving requests to participate: Metroselskabet I/S

Organisation processing tenders: Metroselskabet I/S