Search

  • Search

    Formal Methods Consultancy

    METROSELSKABET I/S

    Formal Methods Consultancy

    1. Competition notice published

      Feb 2, 1:35 PMFebruary 2, 2024 1:35 PM

    2. Contract start date

      Jun 20, 12:00 AMJune 20, 2024 12:00 AM

    3. Change in competition

      Jul 2, 10:15 AMJuly 2, 2024 10:15 AM

    4. Contract end date

      Nov 30, 12:00 AMNovember 30, 2035 12:00 AM

    Brief

    Denmark: Tenders/METROSELSKABET I/S/Formal Methods Consultancy

    Published deadline passed

    The published deadline has passed. For multi-stage competitions a later tender deadline may still apply — check the notice or portal for the current phase.

    Brief

    Rådgivende ingeniørtjenester for bygg og anlegg

    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.

    About the bid

      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.

      Contact name
      Vibeke Jessen
      Contact phone
      72424802
      Contact email
      vij@m.dk
      Address
      Metrovej 5, 2300 København S

    Custom Assessment Criteria

    Start a free trial to ask your own questions about the tender and get AI-generated answers.

    Award Criteria

    • Description

      Road Map

    • Description

      Key Personnel

    • Description

      Price

    Qualification requirements

    • Description

      The applicant´s equity for the last three (3) years must be positive. If the applicant relies on a supporting entity or entities to meet the minimum requirement, the equity for the applicant and the supporting entity or supporting entities must be positive in the last three (3) available financial years. The equity for the applicant and the supporting entity or entities will be added and the combined equity must be positive in the last three (3) available years.

      Documentation Requirement

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

    • Description

      An application for prequalification may include up to a maximum of 5 references. Each reference may not exceed 3 A4-pages. The client will in the assessment of the references disregard any pages above 3 A4 pages per reference. The references may not be more than 3 years old, counting from the date of completion of the services/handover of the project. The references should include the following information: name and contact information of the client, short description of the project, services included, whether the project was a greenfield or brownfield project etc., start date and date for completion (completion of the applicant´s services for the client), description of the services performed by the consultant, the role and responsibilities of the applicant, e.g. discipline lead, lead consultant, subconsultant etc., fee for the specific services performed by the applicant, the total construction cost of the reference. Minimum requirement: At least one (1) reference must document the applicants experience with developing a formal method specification. At least one (1) reference must document the applicants experience with implementing a formal method. If more than 3 applicants fulfill the minimum requirements (both financial and economical and technical and professional ability above the selection of applicants who will be invited to participate in the competitive dialogue will be based on an overall assessment of which applicants have documented the most relevant experiences similar to the services covered by the procured contract, please refer to section 5.1 of the contract notice. With "similar" services the Clients understands projects/references of a similar economical size, complexity and nature of services.

      Documentation Requirement

      The references may be included in the ESPD. If the applicant prefers a separate list of the 5 references may submitted instead of the including the references in the ESPD. If the applicant submits a list of references the names of the references should be included in the ESPD. If an applicant relies on the support of another economical entity in relation to professional capacity, the supporting entity must complete an ESPD and a declaration of support, please refer to FM_Invitation to Tender doc id.MS-X-PD-INO-IDR-FM2-0004, appendix B. If an application for prequalification is submitted by a consortium or joint venture or similar, an ESPD should be submitted for each participant in the consortium or joint venture.

    Previous Contract Winners

    Start a free trial to see who has won similar tenders for this buyer.

    See the full notice

    Contracting authority
    METROSELSKABET I/S
    Title
    Formal Methods Consultancy
    Type
    CompetitionPrequalification
    Main code
    71310000Consultative engineering and construction services
    Supplemental codes
    71311200Transport systems consultancy services
    Location
    Byen København
    Estimated value
    €5,000,000.00

    Active similar competitions

    • METROSELSKABET I/S

      Jernbane- og infrastrukturbygging

      Copenhagen - New Metroline, M5 Civil Works South

      Metroselskabet I/S needs civil works for the M5 Metroline South package in Copenhagen, Denmark, over a period of 9 years. This design & build contract, under ABT18 terms, involves the construction of approximately 6.5 km of twin bored TBM tunnels, 5 underground stations, 2 underground crossovers, 1 shaft, 5 cross passages, 1 ramp, approximately 2.0 km of viaduct, 1 elevated station, 1 viaduct cross-over, 1 elevated bifurcation, and short embankment sections. The M5 line is a fully automated driverless metro system designed to enhance passenger service and extend connectivity to emerging urban development areas. The contract will be awarded based on Price (50%) and Quality (50%), with Quality sub-criteria including Technical solution and planning (16%), Management and collaboration (16%), Organization and key personnel (10%), and Carbon (8%). To qualify, applicants must have completed one project demonstrating experience with design, construction, and project management of an underground metro project in the EEA and/or the UK, and one project demonstrating experience with design, construction, and project management of an above-ground metro project in the EEA and/or the UK, both within the last 15 years. Additionally, applicants must have an equity of no less than EUR 100,000,000.00 and a total annual turnover of at least EUR 1,700,000,000.00 in each of the last three completed financial years.

      Competition with qualificationSep 10, 2026
      Oct 13, 2026(2 days)

    • TenneT TSO GmbH

      Prosjektledelse og prosjektstøtte

      Qualification System for "Consultancy Services"

      Background and Objective of the Qualification System for Consultancy Services  Background TenneT TSO GmbH (TTG) is one of the top 5 transmission system operators (TSO) in Europe. TenneT is responsible for the operation, maintenance, and further development of the electricity transmission grid, in particular the 220kV and 380kV voltage levels in large parts of Germany. The grid extends from the Danish border to the Alps and, at around 140,000 square kilometres, covers around 40 percent of Germany's surface area. TenneT is accountable for the efficient transmission of electricity over long distances via around 13,500 kilometres of high-voltage lines. This requires continuous investments in maintenance and grid development projects to reduce interference and outage as far as possible and thereby ensure quality and stability. TenneT is hence responsible for several grid development and maintenance projects with national and international reach and notice. For TenneT, security and a stable and high network availability have the highest priority. To achieve this, the organisation must be managed in an efficient and targeted manner. Objective of the qualification system In the frame of extensive transformation processes, which are currently realised in TenneT, and which are planned to be continued, TenneT faces numerous strategic tasks and challenges in the foreseeable mid- and long-term future. For these purposes external consultancy support will be required. In front of this background, TenneT intends to set-up a Qualification system for non- technical “Consultancy Services”. Within this qualification system TenneT aims to proceed tender below and above the actual valid EU-tender threshold for services. Main focus point of the qualification system is the non-technical consulting that is needed for internal management functions that ensures the security of supply and further development of TenneT. In general, the qualification system shall cover all consultancy services for TenneT and its affiliated companies in the field of non-technical consultancy services. This includes all departments and its respective consultancy needs. The focus areas listed below provide examples of the use of consulting service providers but are not exhaustive. They merely provide an overview of the focus areas of consulting demand within TenneT. The specific demand is then tendered and communicated within the pre-qualified suppliers. TenneT aims to award consulting assignments only to pre-qualified partner but reserves the right to award consulting contracts outside the qualification system. Further details on the procedure and the scope can be found in the tender documents for the qualification system.

      Qualification systemJan 8, 2025
      Feb 5, 2028(100+ days)

    • Odense Kommune

      Dynamisk Indkøbssystem - Velfærdens Fundament

      Odense Kommune søger teknisk rådgivning til skoleprojekter og lokaleaftaler under "Velfærdens Fundament" i Fyn, med en maksimal totalværdi på 14 millioner DKK over 38 måneder. Dette dynamiske indkøbssystem omfatter renovering og modernisering af kommunale bygninger, specifikt 13 skoleprojekter. Sweco A/S har en lignende kontrakt i dag. Som kvalifikationskrav skal ansøgere dokumentere op til 5 referencer fra de seneste 3 år for totalrådgivning/delrådgivning ved modernisering, ombygning og/eller renovering af skoler, hvor hver reference har en anlægsøkonomi på minimum 6 millioner DKK. Mindst 3 af referencerne skal have ansøger som totalrådgiver, skolen skal have været i drift under udførelsen i mindst 3 referencer, mindst 1 reference skal inkludere bæredygtighedsrådgivning, og mindst 2 referencer skal omfatte tilknyttede anlægsprojekter som skolegårde eller regnvandshåndtering.

      Dynamic purchasing systemOct 8, 2024
      Nov 13, 2026(33 days)
      DKK 14,000,000

    • Etablissement- og Terrænkommandoen

      Sikkerhetstjenester - Bygg og anlegg

      Dynamisk Indkøbssystem for maritim teknisk ekspert bistand

      Forsvarsministeriets Materiel- og Indkøbsstyrelse (FMI) søker maritim teknisk ekspert bistand innenfor kategoriene skibsdesign og -konstruktion, maskindesign og -konstruktion, samt køleteknik og ventilation, gjennom et dynamisk innkjøpssystem (DIS) med en totalverdi på 66 millioner danske kroner over 10 år. Tjenestene skal leveres i Københavns omegn. Anskaffelsen krever dokumentasjon av erfaring med minst 2 lignende leveranser innen de siste 5 år for hver kategori, med en minimumsverdi på 50,000 DKK per referanse. Sikkerhetsgodkjenning er nødvendig for håndtering av klassifiserte opplysninger. Ansøgere må innlevere ESPD-dokumenter og egenerklæringer om overholdelse av arbeidsklausuler og CSR-forpliktelser.

      Dynamic purchasing systemApr 14, 2025
      Mar 1, 2035(100+ days)
      DKK 66,000,000

    • Københavns Kommune - Klima-, Miljø- og Teknikforvaltningen

      Bygg og anlegg - Oppføring, renovering og vedlikehold av bygninger

      Enghavevej 84

      Københavns Kommune søger en entreprenør til renovering af bygningens klimaskærm på Enghavevej 84, Hovedstadens Beredskab Teknik, til en maksimal totalværdi på 65 millioner DKK. Projektet omfatter udskiftning af tagdækning, isolering, facadevinduer, murværksreparationer og installation af solcellepaneler, med optioner for yderligere tagudskiftning og murværksrenovering. Tilbud evalueres på pris (30%), kvalitet/organisation og CV'er for nøglemedarbejdere (40%), kvalitet/tidsplan, logistik og effektiv udførelse (20%) samt kvalitet/socialt ansvar (10%). Kvalifikationskrav inkluderer en gennemsnitlig årlig omsætning på mindst 130 millioner DKK over de seneste tre regnskabsår og tre referencer fra lignende renoveringsprojekter af bevaringsværdige erhvervs-, industri- eller institutionsbygninger udført som hoved- eller storentrepriser inden for de seneste fem år, hvoraf to referencer skal have en kontraktsum på mindst 45 millioner DKK ekskl. moms.

      Competition with qualificationAug 28, 2026
      Oct 21, 2026(10 days)
      DKK 65,000,000