Ausschreibung 1086815: Formal verification of the system requirements of safety-critical soft
Publiziert am: 12. Juli 2019
smartrail 4.0 SBB AG Infrastruktur
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.
Auftraggeber: | Dezentrale Bundesverwaltung / öffentlich rechtliche Organisationen |
Kategorie: | Ausschreibung |
Sprache: | en |
Abgabetermin: | abgelaufen |
Ort: |
Bern (Switzerland) and location of bidder |
Zeit für Fragen: | abgelaufen |
Tags: |
|
Gruppen: |
|
Untergruppen: |
|
Zeitplan
Folgender Zeitplan wurde aus den simap-Publikationsdaten erstellt:
Datum | Ereignis | Kommentar |
---|---|---|
12. Juli 2019 | Publikationsdatum | |
None | Ausschreibungsunterlagen verfügbar ab | None |
19. Juli 2019 | Frist für Fragen | 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. |
21. August 2019 | Abgabetermin 17:30 | 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. |
26. August 2019 | Offertöffnung | 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. |
2. September 2019 | Geplanter Projektstart | |
31. Juli 2022 | Geplantes Projektende |
Zuschlagskriterien
Gewichtung | Kriterium |
---|---|
50 | Quality of the offered resources |
30 | Price |
20 | Contract |
Zulassungsbedingungen
Bidding consortia are not permitted.
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
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)
Zusätzliche Informationen
None
The sample contract is attached as well as SBB’s General Terms and Conditions.
The provider’s GTCs are excluded.
The client reserves the right to enter into negotiations
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.
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).
www.simap.ch
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.
Hilfikerstrasse 1
3000 Bern 65
E-Mail-Adresse:
Ein Angebot der Firma Noematica, der Spezialistin für IT-Evaluationen rund um Cloud, Gemeinden und Schulen sowie KMUs
✘ Massgeschneiderte Durchführung von IT-Evaluationen
✘ Tool-unterstützt von A bis Z, IT-Beschaffung via Einladungsverfahren,
öffentliche Ausschreibung oder Präqualifikationsverfahren
✘ einzigartiger Anforderungsdatenbank und Pflichtenheftsammlung
✘ Schwerpunkt Gemeinden und Schulen sowie ausgewählte KMU-Segmente
(Immobilien und Vermögensverwaltungen)
✘ Begleitung bei der Einführung
inkl. Erstellung ISDS-Konzept, Controlling, Governance
✘ Verkürzung der Angebotsfrist gem. Art. 46 Abs. 2 lit. a BöB durch elektronische Veröffentlichung und
Entgegennahme von Angebote auf elektronischem Weg
Rankings
Archive
Mit über 100,000 Einträgen das umfassendste Verzeichnis der Schweiz
Freihändige Verfahren: wann, wo, wie oft?
Eine Auswertung unseres Archivs zeigt, dass freihändige Verfahren meist mit technische Besonderheiten und Leistungen zur Ergänzung oder Erweiterung bereits erbrachter Leistungen begründet werden. Andere Fakten und einen kurzen gesetzlichen Überblick ...
mehr...