Ausschreibung

Publikationsdatum Simap: 12.07.2019

1. Auftraggeber

1.1 Offizieller Name und Adresse des Auftraggebers

Bedarfsstelle/Vergabestelle: smartrail 4.0 SBB AG Infrastruktur
Beschaffungsstelle/Organisator: smartrail 4.0
SBB AG Infrastruktur,  zu Hdn. von Olivier Berger, Hilfikerstrasse 1,  3000  Bern 65,  Schweiz,  E-Mail:  sr40.sourcing@sbb.ch,  URL http://www.smartrail40.ch

1.2 Angebote sind an folgende Adresse zu schicken

Adresse gemäss Kapitel 1.1

1.3 Gewünschter Termin für schriftliche Fragen

19.07.2019

Bemerkungen: Fragen zu den Ausschreibungsunterlagen müssen spätestens bis zum definierten Endtermin für Fragen auf www.simap.ch unter dem Register „Anbieter“ schriftlich eingepflegt werden. Unter dem Stichwort „Benutzungshinweise“ finden Sie eine Online-Anleitung, wie Sie im Forum Fragen stellen können.
Die Antworten (Ergänzungen, Berichtigungen und Änderungen), die sich aufgrund der gestellten Fragen zur Offertanfrage ergeben, werden allen potenziellen Anbieterinnen im Forum frühestmöglich wiederum zur Verfügung gestellt und müssen dort im „Holprinzip“ eingesehen werden.

Bitte beachten Sie bei der Formulierung Ihrer Frage, dass alle registrierten Bewerber für diese Ausschreibung die gestellten Fragen und Antworten anonymisiert einsehen können.

1.4 Frist für die Einreichung des Angebotes

Datum: 21.08.2019 Uhrzeit: 17:30, Spezifische Fristen und Formvorschriften:  Die Einreichung des vollständigen Angebotes erfolgt elektronisch an die e-Mailadresse sr40.sourcing@sbb.ch. An olivier.berger@sbb.ch ist die Einreichung zu bestätigen.

1.5 Datum der Offertöffnung:

26.08.2019, Uhrzeit:  13:00, Ort:  Wankdorf, Bern, Bemerkungen:  Die Öffnung der Angebote ist nicht öffentlich

1.6 Art des Auftraggebers

Dezentrale Bundesverwaltung – öffentlich rechtliche Organisationen und andere Träger von Bundesaufgaben

1.7 Verfahrensart

Offenes Verfahren

1.8 Auftragsart

Dienstleistungsauftrag

1.9 Staatsvertragsbereich

Ja

2. Beschaffungsobjekt

2.1 Dienstleistungskategorie CPC:

[7] Datenverarbeitung und verbundene Tätigkeiten

2.2 Projekttitel der Beschaffung

Formale Verifikation der Systemanforderungen sicherheitskritischer Software nach EN 50128

2.3 Aktenzeichen / Projektnummer

190069

2.4 Aufteilung in Lose?

Nein

2.5 Gemeinschaftsvokabular

CPV:	48000000 - Softwarepaket und Informationssysteme,
	48140000 - Softwarepaket für Eisenbahnleitsysteme,
	72000000 - IT-Dienste: Beratung, Software-Entwicklung, Internet und Hilfestellung,
	72212140 - Entwicklung von Software für Eisenbahnleitsysteme,
	72222000 - Strategische Prüfung und Planung im Bereich Informationssysteme oder -technologie,
	72222100 - Strategische Prüfung von Informationssystemen oder -technologie,
	72222300 - Informationstechnologiedienste

2.6 Gegenstand und Umfang des Auftrags

Die Beauftragung umfasst die Durchführung der formalen Verifikation der Anforderungsspezifikation für die APS Komponenten Safety Logic, Object Aggregation und Movement Authority Transactor. Dies umfasst die folgenden Aufgaben:

1. Identifikation und Formalisierung der funktionalen Anforderungen basierend auf einer Systembeschreibung, die momentan SBB-intern erstellt wird.

2. Formale Verifikation der Systemanforderungen mittels Model-Checking basierend auf einem Model, das SBB-intern in Matlab/Simulink erstellt wird

3. Automatische Generierung von Testfällen

4. Dokumentation aller Aktivitäten: Formalisierte Anforderungen, Umgebungsanforderungen, Engineering Rules sowie deren Nachverfolgung bei Änderungen, Ergebnisse der formalen Beweise

Der geschätzte Aufwand beträgt vier FTE/Jahr und kann auf maximal 8 Personen verteilt werden.
Eine Anwesenheit von 2-3 Tagen pro Monat ist vorgesehen.
Die Dienstleistung wird bedarfsorientiert abgerufen.

2.7 Ort der Dienstleistungserbringung

Schweiz und Ausland

2.8 Laufzeit des Vertrags, der Rahmenvereinbarung oder des dynamischen Beschaffungssystems

Beginn: 02.09.2019, Ende: 31.07.2022

Dieser Auftrag kann verlängert werden: Ja

Beschreibung der Verlängerungen: Abhängig von der Laufzeit des Programmes kann jeweils 4 mal um ein Jahr verlängert werden.

2.9 Optionen

Ja

Beschreibung der Optionen: Die SBB behält sich das Recht vor, gleichzeitig maximal drei Zuschläge zu vergeben.

2.10 Zuschlagskriterien

Qualität der angebotenen Ressourcen  Gewichtung 50 
Preis  Gewichtung 30 
Vertrag  Gewichtung 20 
Erläuterungen:  Qualität der angebotenen Ressourcen 

25% Ausbildung:
1.) PhD in formalen Methoden 
2.) Master in einem MINT1) Fach 
3.) Bachelor in einem MINT1) Fach 

Erläuterung:
1) MINT: Mathematik, Ingenieurwissenschaft, Naturwissenschaft, Technik
----------
25% Erfahrungen in der Entwicklung sicherheitskritischer Software im Bahnbereich: 

1.) Identifikation von Anforderungen und Einsatz formaler Methoden2) 

2.) Einsatz formaler Methoden2) 

3.) Identifikation von Anforderungen 

Erläuterung:
2) Basierend auf einem mathematischen Ansatz
----------
20% Preis:Der Anbieter berechnet die Gesamtkosten basierend auf einem geschätzten Aufwand von 10`000 Stunden multipliziert mit dem angebotenen Stundentarif. Der niedrigste Preis erhält drei Punkte, Gesamtkosten welche doppelt so hoch wie der niedrigste Preis oder höher sind, erhalten 0 Punkte, dazwischen ergibt sich eine lineare Verteilung
----------
20% Vertrag:
Grundlage der Bewertung: nach Massgabe des durch die Abweichungen bedingten Risikotransfers. Die Bewertung des Vertrages wird anhand der Abweichung zum Vertragswerk bewertet. Keine Abweichungen erhalten 
die volle Punktzahl von 3 Punkten, wesentliche Änderungen ergeben 0 Punkte.

2.11 Werden Varianten zugelassen?

Nein

2.12 Werden Teilangebote zugelassen?

Nein

2.13 Ausführungstermin

Beginn 02.09.2019 und Ende 30.09.2022

Bemerkungen: oder nach Absprache gemäss Disponibilität.

3. Bedingungen

3.2 Kautionen / Sicherheiten

Keine

3.3 Zahlungsbedingungen

30 Tage netto, Basis ist abgenommener Arbeitszeitrapport

3.4 Einzubeziehende Kosten

Der Stundensatz ist inkl. aller Spesen, exkl. MwSt anzugeben. Reisezeit gilt nicht als Arbeitszeit.

3.5 Bietergemeinschaft

Bietergemeinschaften sind nicht zugelassen.

3.6 Subunternehmer

Subunternehmer sind nicht zugelassen

3.7 Eignungskriterien

aufgrund der nachstehenden Kriterien:
Alle Anbieter, welche die Beilagen Arbeitsschutz, NDA und SR40-IPR vorbehaltlos und ohne Änderung unterschreiben, sind zum Verfahren zugelassen. Diese Dokumente sind mit dem Angebot einzureichen. Der Anbieter weist anhand von zwei abgeschlossenen Projekten, in denen sicherheitskritische Software im Bahnbereich entwickelt wurde, die folgenden Erfahrung nach:
1.) Identifikation von formalisierten funktionalen Anforderungen
2.) Formale Verifikation mit der Methode Model Checking mit dem Simulink Design Verifier
3.) Erstellung von Nachweisen und Dokumenten zur Unterstützung der Zulassung bei den Zulassungs- und Aufsichtsbehörden

3.8 Geforderte Nachweise

aufgrund der nachstehenden Nachweise:
1.) Vorstellung des Anbieters (max. 1 Seite)

2.) Aufzählung und Beschreibung zweier abgeschlossener Projekte unter Bezugnahme der Eignungskriterien gemäss Ziffer 3.7 (max. 2 Seiten Total)

3) Einschätzung der eigenen Kompetenz bezüglich der geforderten Kriterien gemäss Ziffer 2.6 (max. 1 Seite)

4.) Lebensläufe der vorgeschlagenen Ressourcen unter Bezugnahme der Zuschlagskriterien in Ziffer 2.10 (1 Seite pro Ressource)

5) Kommerzielle Angaben: Bankverbindung, Rechnungsadresse sowie geforderter Stundensatz (max. 1 Seite)

3.9 Bedingungen für den Erhalt der Ausschreibungsunterlagen

Kosten: Keine

3.10 Sprachen

Sprachen für Angebote: Deutsch, Englisch

3.11 Gültigkeit des Angebotes

6 Monate ab Schlusstermin für den Eingang der Angebote

3.12 Bezugsquelle für Ausschreibungsunterlagen

unter www.simap.ch
Sprache der Ausschreibungsunterlagen: Deutsch, Englisch

4. Andere Informationen

4.1 Voraussetzungen für Anbieter aus Staaten, die nicht dem WTO-Beschaffungsübereinkommen angehören

Keine

4.2 Geschäftsbedingungen

Der Muster Vertrag ist beigelegt ebenso die geltenden AGB der SBB.
AGB der Anbieter sind wegbedungen.

4.3 Begehungen

Verhandlungen bleiben vorbehalten. Verhandlungssprache ist deutsch.

4.4 Grundsätzliche Anforderungen

Die Auftraggeberin vergibt öffentliche Aufträge für Leistungen in der Schweiz nur an Anbieterinnen und Anbieter, welche die Einhaltung der Arbeitsschutzbestimmungen und der Arbeitsbedingungen für Arbeitnehmer und Arbeitnehmerinnen sowie die Lohngleichheit für Mann und Frau gewährleisten.

4.6 Sonstige Angaben

Die SBB behält sich das Recht vor, neue gleichartige Aufträge, die sich auf den vorliegenden Grundauftrag beziehen, nach dem
freihändigen Verfahren zu vergeben (Art. 36 Abs. 2 lit. d VöB).

4.7 Offizielles Publikationsorgan

www.simap.ch

4.8 Rechtsmittelbelehrung

Gegen diese Publikation kann gemäss Art. 30 BöB innert 20 Tagen seit Eröffnung schriftlich Beschwerde beim Bundesverwaltungsgericht, Postfach, 9023 St. Gallen, erhoben werden. Die Beschwerde ist im Doppel einzureichen und hat die Begehren, deren Begründung mit Angabe der Beweismittel sowie die Unterschrift der beschwerdeführenden Person oder ihrer Vertretung zu enthalten. Eine Kopie der vorliegenden Publikation und vorhandene Beweismittel sind beizulegen.