Object of the contractSoftware package and information systems
Description: Contract notice: Software package and information systems
Authority Type: Utilities entity
Contact Nature: Services
Procedure: Open procedure
Document: Contract notice
Regulation: GPA
Award criteria: The most economic tender
CPV code: 48000000, 48140000, 72000000, 72212140, 72222000, 72222100, 72222300, 48000000, 48140000, 72000000, 72212140, 72222000, 72222100, 72222300
CPV Description: Software package and information systems.
Railway traffic control software package.
IT services: consulting, software development, Internet and support.
Railway traffic control software development services.
Information systems or technology strategic review and planning services.
Information systems or technology strategic review services.
Information technology services.
Formal verification of the system requirements of safety-critical software according to EN 50128
The assignment includes the formal verification of the functional requirement specification of the APS components Safety Logic, Object Aggregation and Movement Authority Transactor. This includes the following tasks:
Main Site : Bern (Switzerland) and location of bidder
The assignment includes the formal verification of the functional requirement specification of the APS components Safety Logic, Object Aggregation and Movement Authority Transactor. This includes the following tasks:
1) Identification and formalization of functional requirements based on a system description, which is currently developed at SBB internally.
2) Formalization of the requirements identified in a)
3) Formal verification of the system specifications using model checking based on a model being developed by SBB internally in Matlab/Simulink
4) Automatic generation of test cases
5) Documentation of all activities: formalised requirements, environment requirements, engineering rules, tracking of changes, results of the formal proofs
The estimated workload is 4 FTE/year. The workload can be distributed amongst a maximum of eight persons. On-site presence of two to three days per month is anticipated. The service may be requested according to requirements.
1) Introduction of the bidder (max. 1 page);
2) List and description of two completed projects taking account of the suitability criteria as per section 3.7 (max. 2 pages in total);
3) Assessment of the bidder's own competencies in terms of the required criteria as per section 2.6 (max. 1 page);
4) CV's of the proposed resources taking account of the award criteria set out in section 2.10 (1 page per resource);
5) Commercial information: Bank account, billing address and requested hourly rate (max. 1 page).
Partial offers are not permitted.
Conditions for countries not party to the WTO agreement: None.
Terms of business: The sample contract is attached as well as SBB's General Terms and Conditions. The provider's GTCs are excluded.
Negotiations: The client reserves the right to enter into negotiations.
Basic procedural principles: The client only awards public commissions for services in Switzerland to tenderers who comply with job security regulations and the conditions of work for employees, and provide equal payment for men and women.
Additional information: The SBB reserves the right to award new, similar contracts which relate to the existing basic contract based on the direct award procedure (Art. 36 para. 2 let. d PPO).
Procedures for appeal:Pursuant to Art. 30 of the Federal Act on Public Procurement, an appeal against this publication may be filed within 20 days since notification in writing in an official language of Switzerland to the Federal Administrative Court, Postfach, 9023 St.Gallen. The appeal petition must be submitted in duplicate and must contain the application, the grounds of appeal with details of the evidence and the signature of the appellant or his agent; a copy of the present publication and documents cited as evidence must be attached, provided they are in the appellant's possession.
Deadline / Remarks: The documents must be submitted in electronic format and sent to the following e-mail address
[email protected]. The submission must be confirmed with an email to
[email protected].
Remarks (Desired deadline for questions in written form)Questions concerning the tender documents must be submitted on www.simap.ch under the register latest until the above given deadline. Clicking on the keyword an online-instruction is given how to submit questions in the forum. The answers (supplements, corrections, changes), which result from the received questions, are provided to all bidders as soon as possible. The bidders are not informed about the publication of the answers, but it is in their own responsibility to check for them (pick-up principle). When formulating your questions please be aware that all questions and answers are available to all registered bidders for this tender.
National reference publication: Simap of 12.7.2019, doc. 1086815Desired deadline for questions in written form: 19.7.2019.
Internet address (URL): https://www.simap.ch