Ausschreibung 1085329: Formale Verifikation der Systemanforderungen sicherheitskritischer Sof
Publiziert am: 12. Juli 2019
smartrail 4.0 SBB AG Infrastruktur
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.
| Auftraggeber: |
Dezentrale Bundesverwaltung / öffentlich rechtliche Organisationen
|
| Kategorie: | Ausschreibung |
| Sprache: | de |
| Abgabetermin: | abgelaufen |
| Ort: |
Schweiz und Ausland |
| 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 | 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. 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. |
| 21. August 2019 | Abgabetermin 17:30 | 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. |
| 26. August 2019 | Offertöffnung | 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. |
| 2. September 2019 | Geplanter Projektstart | |
| 31. Juli 2022 | Geplantes Projektende |
Zuschlagskriterien
| Gewichtung | Kriterium |
|---|---|
| 50 | Qualität der angebotenen Ressourcen |
| 30 | Preis |
| 20 | Vertrag |
Zulassungsbedingungen
Bietergemeinschaften sind nicht zugelassen.
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
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)
Zusätzliche Informationen
Der Muster Vertrag ist beigelegt ebenso die geltenden AGB der SBB.
AGB der Anbieter sind wegbedungen.
Verhandlungen bleiben vorbehalten. Verhandlungssprache ist deutsch.
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.
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).
www.simap.ch
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.
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...