II.1)Umfang der Beschaffung
II.1.1)Bezeichnung des Auftrags:
Ökosystem vertrauenswürdige IT
Referenznummer der Bekanntmachung: CEU-OV/2022-1
II.1.2)CPV-Code Hauptteil73000000 Forschungs- und Entwicklungsdienste und zugehörige Beratung
II.1.3)Art des AuftragsDienstleistungen
II.1.4)Kurze Beschreibung:
Das Projekt "Ökosystem vertrauenswürdige Informationstechnologie" hat die Erforschung und Entwicklung von Technologien, Methoden und Werkzeugen für zusammenhängend formal verifizierte Software-/Hardwarekomponenten („Basis-IT“) und die darauf aufbauende Etablierung eines Ökosystems von Entwicklern und Nutzern zum Ziel. Im Rahmen des Vorhabens sollen zunächst Vorstudien zu den konstituierenden Forschungsschwerpunkten und dem „State of the Art“ der zugrundeliegenden Technologien, Methoden und Tools durchgeführt werden. Diese Vorstudien sind Gegenstand der vorliegenden Auftragsbekanntmachung.
II.1.6)Angaben zu den LosenAufteilung des Auftrags in Lose: ja
II.1.7)Gesamtwert der Beschaffung (ohne MwSt.)Wert ohne MwSt.: 400 000.00 EUR
II.2)Beschreibung
II.2.1)Bezeichnung des Auftrags:
Formale Verifikation komplexer Software
Los-Nr.: 1
II.2.2)Weitere(r) CPV-Code(s)73300000 Planung und Ausführung von Forschung und Entwicklung
73420000 Vordurchführbarkeitsstudie und technologische Demonstration
II.2.3)ErfüllungsortNUTS-Code: DEE02 Halle (Saale), Kreisfreie Stadt
II.2.4)Beschreibung der Beschaffung:
Ziel dieses Loses ist die Erstellung einer Übersicht und Forschungs-Roadmap hinsichtlich der Anwendung und Übertragung von Methoden der Formalen Verifikation bis hin zu komplexen (Multicore-)Betriebssystemkernen als integraler Bestandteil sicherer, flexibel einsetzbarer Basis-IT-Elemente.
II.2.5)ZuschlagskriterienQualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11)Angaben zu OptionenOptionen: nein
II.2.13)Angaben zu Mitteln der Europäischen UnionDer Auftrag steht in Verbindung mit einem Vorhaben und/oder Programm, das aus Mitteln der EU finanziert wird: nein
II.2.14)Zusätzliche Angaben
Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
II.2)Beschreibung
II.2.1)Bezeichnung des Auftrags:
Formale Verifikation von Hardware
Los-Nr.: 2
II.2.2)Weitere(r) CPV-Code(s)73300000 Planung und Ausführung von Forschung und Entwicklung
73420000 Vordurchführbarkeitsstudie und technologische Demonstration
II.2.3)ErfüllungsortNUTS-Code: DEE02 Halle (Saale), Kreisfreie Stadt
II.2.4)Beschreibung der Beschaffung:
Ziel dieses Loses ist die Erstellung einer Übersicht und Forschungs-Roadmap hinsichtlich der Anwendung und Übertragung von Methoden der Formalen Verifikation auf Hardware basierend auf offenen Architekturen als integraler Bestandteil sicherer, flexibel einsetzbarer Basis-IT-Elemente.
II.2.5)ZuschlagskriterienQualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11)Angaben zu OptionenOptionen: nein
II.2.13)Angaben zu Mitteln der Europäischen UnionDer Auftrag steht in Verbindung mit einem Vorhaben und/oder Programm, das aus Mitteln der EU finanziert wird: nein
II.2.14)Zusätzliche Angaben
Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
II.2)Beschreibung
II.2.1)Bezeichnung des Auftrags:
Formale Verifikation von Hardware-Software-Schnittstellen
Los-Nr.: 3
II.2.2)Weitere(r) CPV-Code(s)73300000 Planung und Ausführung von Forschung und Entwicklung
73420000 Vordurchführbarkeitsstudie und technologische Demonstration
II.2.3)ErfüllungsortNUTS-Code: DEE02 Halle (Saale), Kreisfreie Stadt
II.2.4)Beschreibung der Beschaffung:
Ziel dieses Loses ist die Erstellung einer Übersicht und Machbarkeitsanalyse hinsichtlich der Anwendung und Übertragung von Methoden der Formalen Verifikation auf Schnittstellen zwischen Hard- und Software, um ein korrektes Ausführen von formal verifizierter Software auf formal verifizierter Hardware zu ermöglichen. Im Status quo existieren kaum fundierte und systematisierte Erkenntnisse zur Anwendung formaler Methoden auf Hardware- Software-Schnittstellen.
II.2.5)ZuschlagskriterienQualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11)Angaben zu OptionenOptionen: nein
II.2.13)Angaben zu Mitteln der Europäischen UnionDer Auftrag steht in Verbindung mit einem Vorhaben und/oder Programm, das aus Mitteln der EU finanziert wird: nein
II.2.14)Zusätzliche Angaben
Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
II.2)Beschreibung
II.2.1)Bezeichnung des Auftrags:
Formale Garantie sicherer Hardware-Lieferketten
Los-Nr.: 4
II.2.2)Weitere(r) CPV-Code(s)73300000 Planung und Ausführung von Forschung und Entwicklung
73420000 Vordurchführbarkeitsstudie und technologische Demonstration
II.2.3)ErfüllungsortNUTS-Code: DEE02 Halle (Saale), Kreisfreie Stadt
II.2.4)Beschreibung der Beschaffung:
Ziel dieses Loses ist die Erstellung einer Übersicht hinsichtlich der Entwicklung und Evaluation von Methoden zur formalen Absicherung von Hardware-Lieferketten in nicht-vertrauenswürdigen Umgebungen. Im Status quo sind Garantien, dass ein in nicht-vertrauenswürdiger Umgebung produzierter Chip nachweisbar frei von böswilliger Manipulation ist, nicht gegeben. Die zu erbringende Leistung soll einen Überblick hinsichtlich Bedrohungen und Angriffsmöglichkeiten, Detektionsmethoden und Möglichkeiten der Absicherung globaler Hardware-Lieferketten bereitstellen.
II.2.5)ZuschlagskriterienQualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11)Angaben zu OptionenOptionen: nein
II.2.13)Angaben zu Mitteln der Europäischen UnionDer Auftrag steht in Verbindung mit einem Vorhaben und/oder Programm, das aus Mitteln der EU finanziert wird: nein
II.2.14)Zusätzliche Angaben
Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
II.2)Beschreibung
II.2.1)Bezeichnung des Auftrags:
Community- und Ökosystem-Aufbau zu formaler Verifikation von Basis-IT
Los-Nr.: 5
II.2.2)Weitere(r) CPV-Code(s)73300000 Planung und Ausführung von Forschung und Entwicklung
73420000 Vordurchführbarkeitsstudie und technologische Demonstration
II.2.3)ErfüllungsortNUTS-Code: DEE02 Halle (Saale), Kreisfreie Stadt
II.2.4)Beschreibung der Beschaffung:
Ziel dieses Loses ist die Erstellung einer Übersicht und Roadmap hinsichtlich des Aufbaus und Managements einer sektorübergreifenden Entwickler- und Anwender-Community, welche die Lücke zwischen den beschriebenen sicheren Technologien und deren Anwendbarkeit schließen soll. Dabei soll die Community „Formale Verifikation von Basis-IT“ sowohl in die Entwicklung der Technologien eingebunden werden als auch befähigt werden, diese sowie darauf aufsetzende Anwendungen weiter zu entwickeln. Sie soll somit die Basis des „Ökosystems vertrauenswürdige IT“ bilden.
II.2.5)ZuschlagskriterienQualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11)Angaben zu OptionenOptionen: nein
II.2.13)Angaben zu Mitteln der Europäischen UnionDer Auftrag steht in Verbindung mit einem Vorhaben und/oder Programm, das aus Mitteln der EU finanziert wird: nein
II.2.14)Zusätzliche Angaben
Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
IV.1)Beschreibung
IV.1.1)VerfahrensartOffenes Verfahren
IV.1.3)Angaben zur Rahmenvereinbarung oder zum dynamischen Beschaffungssystem
IV.1.8)Angaben zum Beschaffungsübereinkommen (GPA)Der Auftrag fällt unter das Beschaffungsübereinkommen: nein
IV.2)Verwaltungsangaben
IV.2.1)Frühere Bekanntmachung zu diesem Verfahren IV.2.8)Angaben zur Beendigung des dynamischen Beschaffungssystems
IV.2.9)Angaben zur Beendigung des Aufrufs zum Wettbewerb in Form einer Vorinformation
Auftrags-Nr.: CEU-OV/2022-1
Bezeichnung des Auftrags:
Formale Verifikation komplexer Software
Ein Auftrag/Los wurde vergeben: ja
V.2)Auftragsvergabe
V.2.1)Tag des Vertragsabschlusses:01/09/2022
V.2.2)Angaben zu den AngebotenAnzahl der eingegangenen Angebote: 3
Anzahl der eingegangenen Angebote von KMU: 3
Anzahl der eingegangenen Angebote von Bietern aus anderen EU-Mitgliedstaaten: 0
Anzahl der eingegangenen Angebote von Bietern aus Nicht-EU-Mitgliedstaaten: 0
Anzahl der elektronisch eingegangenen Angebote: 3
Der Auftrag wurde an einen Zusammenschluss aus Wirtschaftsteilnehmern vergeben: nein
V.2.3)Name und Anschrift des Wirtschaftsteilnehmers, zu dessen Gunsten der Zuschlag erteilt wurdeOffizielle Bezeichnung:[gelöscht]
Ort: Karlsruhe
NUTS-Code: DE122 Karlsruhe, Stadtkreis
Land: Deutschland
Der Auftragnehmer ist ein KMU: ja
V.2.4)Angaben zum Wert des Auftrags/Loses (ohne MwSt.)Ursprünglich veranschlagter Gesamtwert des Auftrags/des Loses: 80 000.00 EUR
Gesamtwert des Auftrags/Loses: 60 695.00 EUR
V.2.5)Angaben zur Vergabe von Unteraufträgen
Auftrags-Nr.: CEU-OV/2022-1
Bezeichnung des Auftrags:
Formale Verifikation von Hardware
Ein Auftrag/Los wurde vergeben: ja
V.2)Auftragsvergabe
V.2.1)Tag des Vertragsabschlusses:01/09/2022
V.2.2)Angaben zu den AngebotenAnzahl der eingegangenen Angebote: 2
Anzahl der eingegangenen Angebote von KMU: 2
Anzahl der eingegangenen Angebote von Bietern aus anderen EU-Mitgliedstaaten: 0
Anzahl der eingegangenen Angebote von Bietern aus Nicht-EU-Mitgliedstaaten: 0
Anzahl der elektronisch eingegangenen Angebote: 2
Der Auftrag wurde an einen Zusammenschluss aus Wirtschaftsteilnehmern vergeben: nein
V.2.3)Name und Anschrift des Wirtschaftsteilnehmers, zu dessen Gunsten der Zuschlag erteilt wurdeOffizielle Bezeichnung:[gelöscht]
Ort: Taufkrichen
NUTS-Code: DE21H München, Landkreis
Land: Deutschland
Der Auftragnehmer ist ein KMU: ja
V.2.4)Angaben zum Wert des Auftrags/Loses (ohne MwSt.)Ursprünglich veranschlagter Gesamtwert des Auftrags/des Loses: 80 000.00 EUR
Gesamtwert des Auftrags/Loses: 59 206.90 EUR
V.2.5)Angaben zur Vergabe von Unteraufträgen
Auftrags-Nr.: CEU-OV/2022-1
Bezeichnung des Auftrags:
Formale Verifikation von Hardware
Ein Auftrag/Los wurde vergeben: ja
V.2)Auftragsvergabe
V.2.1)Tag des Vertragsabschlusses:01/09/2022
V.2.2)Angaben zu den AngebotenAnzahl der eingegangenen Angebote: 1
Anzahl der eingegangenen Angebote von KMU: 1
Anzahl der eingegangenen Angebote von Bietern aus anderen EU-Mitgliedstaaten: 0
Anzahl der eingegangenen Angebote von Bietern aus Nicht-EU-Mitgliedstaaten: 0
Anzahl der elektronisch eingegangenen Angebote: 1
Der Auftrag wurde an einen Zusammenschluss aus Wirtschaftsteilnehmern vergeben: nein
V.2.3)Name und Anschrift des Wirtschaftsteilnehmers, zu dessen Gunsten der Zuschlag erteilt wurdeOffizielle Bezeichnung:[gelöscht]
Ort: Taufkrichen
NUTS-Code: DE21H München, Landkreis
Land: Deutschland
Der Auftragnehmer ist ein KMU: ja
V.2.4)Angaben zum Wert des Auftrags/Loses (ohne MwSt.)Ursprünglich veranschlagter Gesamtwert des Auftrags/des Loses: 80 000.00 EUR
Gesamtwert des Auftrags/Loses: 60 872.97 EUR
V.2.5)Angaben zur Vergabe von Unteraufträgen
Auftrags-Nr.: CEU-OV/2022-1
Bezeichnung des Auftrags:
Formale Verifikation von Hardware
Ein Auftrag/Los wurde vergeben: ja
V.2)Auftragsvergabe
V.2.1)Tag des Vertragsabschlusses:01/09/2022
V.2.2)Angaben zu den AngebotenAnzahl der eingegangenen Angebote: 1
Anzahl der eingegangenen Angebote von KMU: 1
Anzahl der eingegangenen Angebote von Bietern aus anderen EU-Mitgliedstaaten: 0
Anzahl der eingegangenen Angebote von Bietern aus Nicht-EU-Mitgliedstaaten: 0
Anzahl der elektronisch eingegangenen Angebote: 1
Der Auftrag wurde an einen Zusammenschluss aus Wirtschaftsteilnehmern vergeben: nein
V.2.3)Name und Anschrift des Wirtschaftsteilnehmers, zu dessen Gunsten der Zuschlag erteilt wurdeOffizielle Bezeichnung:[gelöscht]
Ort: Taufkrichen
NUTS-Code: DE21H München, Landkreis
Land: Deutschland
Der Auftragnehmer ist ein KMU: ja
V.2.4)Angaben zum Wert des Auftrags/Loses (ohne MwSt.)Ursprünglich veranschlagter Gesamtwert des Auftrags/des Loses: 80 000.00 EUR
Gesamtwert des Auftrags/Loses: 93 601.59 EUR
V.2.5)Angaben zur Vergabe von Unteraufträgen
Auftrags-Nr.: CEU-OV/2022-1
Bezeichnung des Auftrags:
Formale Verifikation von Hardware
Ein Auftrag/Los wurde vergeben: ja
V.2)Auftragsvergabe
V.2.1)Tag des Vertragsabschlusses:01/09/2022
V.2.2)Angaben zu den AngebotenAnzahl der eingegangenen Angebote: 2
Anzahl der eingegangenen Angebote von KMU: 2
Anzahl der eingegangenen Angebote von Bietern aus anderen EU-Mitgliedstaaten: 0
Anzahl der eingegangenen Angebote von Bietern aus Nicht-EU-Mitgliedstaaten: 0
Anzahl der elektronisch eingegangenen Angebote: 2
Der Auftrag wurde an einen Zusammenschluss aus Wirtschaftsteilnehmern vergeben: nein
V.2.3)Name und Anschrift des Wirtschaftsteilnehmers, zu dessen Gunsten der Zuschlag erteilt wurdeOffizielle Bezeichnung:[gelöscht]
Ort: Taufkrichen
NUTS-Code: DE21H München, Landkreis
Land: Deutschland
Der Auftragnehmer ist ein KMU: ja
V.2.4)Angaben zum Wert des Auftrags/Loses (ohne MwSt.)Ursprünglich veranschlagter Gesamtwert des Auftrags/des Loses: 80 000.00 EUR
Gesamtwert des Auftrags/Loses: 105 729.83 EUR
V.2.5)Angaben zur Vergabe von Unteraufträgen
VI.3)Zusätzliche Angaben:
VI.4)Rechtsbehelfsverfahren/Nachprüfungsverfahren
VI.4.1)Zuständige Stelle für Rechtsbehelfs-/NachprüfungsverfahrenOffizielle Bezeichnung:[gelöscht]
Postanschrift:[gelöscht]
Ort: Bonn
Postleitzahl: 53123
Land: Deutschland
Telefon: [gelöscht]
Fax: [gelöscht]
VI.4.3)Einlegung von RechtsbehelfenGenaue Angaben zu den Fristen für die Einlegung von Rechtsbehelfen:
Etwaige Vergabeverstöße muss der Bewerber/Bieter gemäß § 160 Abs. 3 Nr. 1 GWB innerhalb von 10 Tagen nach Kenntnisnahme rügen. Verstöße gegen Vergabevorschriften, die aufgrund der Bekanntmachung erkennbar sind, sind nach § 160 Abs. 3 Nr. 2 GWB spätestens bis zum Ablauf der in der Bekanntmachung benannten Frist zur Abgabe der Bewerbung oder der Angebote gegenüber dem Auftraggeber zu rügen.
Verstöße gegen Vergabevorschriften, die erst in den Vergabeunterlagen erkennbar sind, sind nach § 160 Abs. 3 Nr. 3 GWB spätestens bis zum Ablauf der Frist zur Bewerbungs- oder Angebotsabgabe gegenüber dem Auftraggeber zu rügen, 4) Ein Vergabenachprüfungsantrag ist nach § 160 Abs. 3 Nr. 4 GWB innerhalb von 15 Kalendertagen nach der Mitteilung des Auftraggebers, einer Rüge nicht abhelfen zu wollen, bei der
Vergabekammer einzureichen.
VI.5)Tag der Absendung dieser Bekanntmachung:05/09/2022