Invitation to tender

Date of publication Simap: 12.07.2019

1. Contracting authority

1.1 Official name and address of the contracting authority

Contracting authority/Authority of assignment: smartrail 4.0 SBB AG Infrastruktur
Procurement authority/Organizer: smartrail 4.0
SBB AG Infrastruktur,  attn Olivier Berger, Hilfikerstrasse 1,  3000  Bern 65,  Switzerland,  E-mail:  sr40.sourcing@sbb.ch,  URL http://www.smartrail40.ch

1.2 Offers should be sent to the following address

Address according to chapter 1.1

1.3 Desired deadline for questions in written form

19.07.2019

Remarks: Questions concerning the tender documents must be submitted on www.simap.ch under the register «bidder» latest until the above given deadline. Clicking on the keyword «User guidelines» 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.

1.4 Deadline for submitting offers

Date: 21.08.2019 Time of day: 17:30, Specific deadlines and formal requirements:  The documents must be submitted in electronic format and sent to the following e-mail address sr40.sourcing@sbb.ch. The submission must be confirmed with an email to olivier.berger@sbb.ch.

1.5 Date of the opening of bids:

26.08.2019, Time of day:  13:00, City:  Wankdorf, Bern (Switzerland), Remarks:  The opening of the bids of not public

1.6 Type of contracting authority

Decentralized federal administration - public-legal organizations of the federation and other supporting organisations assuming federal tasks

1.7 Type of procedure

Open procedure

1.8 Type of order

Order for services

1.9 Scope of international treaties

Yes

2. Objects of procurement

2.1 Service category CPC:

[7] Data processing and associated activities

2.2 Project title of the acquisition

Formal verification of the system requirements of safety-critical software according to EN 50128

2.3 Reference / project no.

190069

2.4 Division into lots?

No

2.5 Common Procurement Vocabulary

CPV:	48000000 - Software package and information systems,
	48140000 - Railway traffic control software package,
	72000000 - IT services: consulting, software development, Internet and support,
	72212140 - Railway traffic control software development services,
	72222000 - Information systems or technology strategic review and planning services,
	72222100 - Information systems or technology strategic review services,
	72222300 - Information technology services

2.6 Subject and scope of the contract

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.

2.7 Location where service is to be delivered

Bern (Switzerland) and location of bidder

2.8 Duration of the contract, framework agreement or dynamic purchasing system

Start: 02.09.2019, End: 31.07.2022

This contract is subject to renewal: Yes

Description of renewals: This contract is subject to renewal: Yes
Description of renewals: Depending on the duration of the programme a one-year contract extension may be granted up to four times.

2.9 Options

Yes

Description of options: SBB reserves the right to award a maximum of three contracts at the same time.

2.10 Award criteria

Quality of the offered resources  Weighting 50 
Price  Weighting 30 
Contract  Weighting 20 
Comments:  Quality of the offered resources

25% Education:
1.) PhD in formal methods
2.) Master in a STEM1) subject
3.) Bachelor in a STEM1) subject

explanation:
1) STEM: Science, technology, engineering, mathematics
----------
25% Experience in the development of safety-critical software in the railway domain:
1.) Elicitation of requirements and application formal methods2)
2.) Application of formal methods2)
3.) Elicitation of requirements

explanation:
2) Based on a mathematical approach
----------
20% Price:
The bidder calculates its total price based on an estimated workload of 10’000 hours multiplied by the hourly rate. The lowest price is awarded 3 points. Total prices which are two times higher than the lowest price or more are awarded 0 points. In-between linear distribution is applied.
----------
20% Contract:
Basis for the evaluation: The resulting risk transfer originating from the amendments. The evaluation is based on the amendments that were made to the contract. Bids with no amendments receive the top score of 3 points, fundamental changes result in 0 points.

2.11 Will variants be accepted?

No

2.12 Are partial offers permitted?

No

2.13 Implementation date

Start 02.09.2019 and finish 30.09.2022

Remarks: or by agreement depending on availability of resources.

3. Conditions

3.2 Deposits/guarantees

None

3.3 Conditions of payment

30 days net, based on approved working time report

3.4 Costs to be included

The hourly rate must be indicated including all expenses, excluding VAT. Travel time is not deemed as working hours.

3.5 Consortium of bidders

Bidding consortia are not permitted.

3.6 Subcontractor

None

3.7 Eligibility criteria

based on the criteria given below:
Only those bidders which sign the appendices on occupational health and safety, NDA and SR40-IRP unconditionally and without any amendment are admitted to take part in the procedure. These documents must be submitted with the offer. Based on two previous completed projects in which safety-critical software in the railway industry was developed, the bidder demonstrates the following experience:
1.) Elicitation of functional requirements

2.) Formal verification using the model checking method with Simulink Design Verifier

3.) Preparation of evidence and documents supporting the certification process with the regulatory authorities

3.8 Evidence required

based on the evidence given below:
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)

3.9 Conditions for obtaining the tendering documentation

Costs: none

3.10 Languages

Languages for offers: German, English

3.11 Validity of offers

6 Months after deadline for receipt of offers

3.12 Supplying source of the tendering documentation

at www.simap.ch
Languages of documents: German, English

4. Other information

4.1 Conditions for tenderers from Non-Member States of the WTO Agreement on Government Procurement

None

4.2 Terms of business

The sample contract is attached as well as SBB’s General Terms and Conditions.
The provider’s GTCs are excluded.

4.3 On-site visit

The client reserves the right to enter into negotiations

4.4 Essential requirements

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.

4.6 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).

4.7 Official organ of publication

www.simap.ch

4.8 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.