Zuschlag 1095501: Formale Verifikation der Systemanforderungen sicherheitskritischer Sof

Publiziert am: 12. September 2019

smartrail 4.0 SBB AG Infrastruktur

Die wirtschaftlich günstigsten Angebote gemäss publiziertem Bewertungssystem wurden berücksichtigt.


Auftraggeber: Dezentrale Bundesverwaltung / öffentlich rechtliche Organisationen
Kategorie: Zuschlag
Sprache: de
Tags:
  • 72000000: IT-Dienste: Beratung, Software-Entwicklung, Internet und Hilfestellung
  • 48000000: Softwarepaket und Informationssysteme
  • 72222000: Strategische Prüfung und Planung im Bereich Informationssysteme oder -technologie
  • 72222300: Informationstechnologiedienste
  • 72222100: Strategische Prüfung von Informationssystemen oder -technologie
  • 48140000: Softwarepaket für Eisenbahnleitsysteme
  • 72212140: Entwicklung von Software für Eisenbahnleitsysteme
Gruppen:
  • IT: IT
Untergruppen:
  • IT-SV: IT Services
  • IT-SW: Software
(gemäss Klassifizierung it-beschaffung.ch)
Vergabe: offenes Verfahren
Vorangehende Publikation:
Andere Sprachen:

Zuschlagskriterien

Gewichtung Kriterium
50 Qualität der angebotenen Ressourcen
30 Preis
20 Vertrag

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.

Berücksichtigte Anbieter

ITK Engineering GmbH, Rülzheim, DE

SafeRiver, MONTROUGE, FR

Weitere Informationen


Ausschreibung:
Ausschreibungsorgan: www.simap.ch
Ausschreibung vom: 12.07.2019
Titel:
Evaluationsdauer: 61 Tage

Datum des Zuschlags:

11.09.2019


Anzahl Angebote:

6


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.


Zusätzliche Informationen:

-


Kontakt

smartrail 4.0 SBB AG Infrastruktur
Hilfikerstrasse 1
3000 Bern 65
E-Mail-Adresse:  
sr40.sourcing@sbb.ch