- Country: Denmark
- Summary: Formal Methods
- DKT Ref No: 103589138
- Deadline: 03 Aug 2024
- Financier: Self Financed
- Purchaser Ownership: Government
- Tender Value: EUR 5000000
- Notice Type: Tender
- Document Ref. No.: 395599-2024
- Purchaser's Detail:Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details. Login to see full purchaser details.
- Description:
- 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 met...
- Documents:
If you are registered member, kindly login to view full details of this tender notice:
CLICK HERE TO LOGINFormal Methods - Denmark Tender
The METROSELSKABET I/S, a Government sector organization in Denmark, has announced a new tender for Formal Methods. This tender is published on DenmarkTenders under DKT Ref No: 103589138 and is categorized as a Tender. Interested and eligible suppliers are invited to participate by reviewing the tender documents and submitting their bids before the deadline on 2024-08-03.
The estimated tender value is EUR 5000000, and full details, including technical specifications and submission requirements, are provided in the official tender documents. Ensure all submissions meet the criteria outlined to be considered for evaluation.
