492977-2022 - ErgebnisDeutschland-Halle: Forschungs- und Entwicklungsdienste und zugehörige Beratung
OJ S 174/2022 09/09/2022
Bekanntmachung vergebener Aufträge
Dienstleistungen
Rechtsgrundlage:
Richtlinie 2014/24/EU

Abschnitt I: Öffentlicher Auftraggeber

I.1.
Name und Adressen
Offizielle Bezeichnung: Agentur für Innovation in der Cybersicherheit GmbH
Postanschrift: Willy-Brandt-Straße 87
Ort: Halle
NUTS-Code: DEE02 Halle (Saale), Kreisfreie Stadt
Postleitzahl: 06110
Land: Deutschland
Kontaktstelle(n): Vergabestelle
E-Mail: vergabestelle@cyberagentur.de
Telefon: +49 345-78288032
Fax: +49 345-68558067
Internet-Adresse(n):
Hauptadresse: https://www.cyberagentur.de
I.4.
Art des öffentlichen Auftraggebers
Agentur/Amt auf zentral- oder bundesstaatlicher Ebene
I.5.
Haupttätigkeit(en)
Andere Tätigkeit: Innovationsförderung, Forschung und Entwicklung

Abschnitt II: Gegenstand

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 Hauptteil
73000000 Forschungs- und Entwicklungsdienste und zugehörige Beratung
II.1.3.
Art des Auftrags
Dienstleistungen
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 Losen
Aufteilung des Auftrags in Lose: ja
II.1.7.
Gesamtwert der Beschaffung
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üllungsort
NUTS-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.
Zuschlagskriterien
Qualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11.
Angaben zu Optionen
Optionen: nein
II.2.13.
Angaben zu Mitteln der Europäischen Union
Der 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üllungsort
NUTS-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.
Zuschlagskriterien
Qualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11.
Angaben zu Optionen
Optionen: nein
II.2.13.
Angaben zu Mitteln der Europäischen Union
Der 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üllungsort
NUTS-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.
Zuschlagskriterien
Qualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11.
Angaben zu Optionen
Optionen: nein
II.2.13.
Angaben zu Mitteln der Europäischen Union
Der 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üllungsort
NUTS-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.
Zuschlagskriterien
Qualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11.
Angaben zu Optionen
Optionen: nein
II.2.13.
Angaben zu Mitteln der Europäischen Union
Der 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üllungsort
NUTS-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.
Zuschlagskriterien
Qualitätskriterium - Name: Inhaltliche Qualität des Konzepts / Gewichtung: 70
Preis - Gewichtung: 30
II.2.11.
Angaben zu Optionen
Optionen: nein
II.2.13.
Angaben zu Mitteln der Europäischen Union
Der 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.

Abschnitt IV: Verfahren

IV.1.
Beschreibung
IV.1.1.
Verfahrensart
Offenes 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
Bekanntmachungsnummer im ABl.: 2022/S 072-192740
IV.2.8.
Angaben zur Beendigung des dynamischen Beschaffungssystems
IV.2.9.
Angaben zur Beendigung des Aufrufs zum Wettbewerb in Form einer Vorinformation

Abschnitt V: Auftragsvergabe

Auftrags-Nr.: CEU-OV/2022-1
Los-Nr.: 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 Angeboten
Anzahl 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 wurde
Offizielle Bezeichnung: FZI Forschungszentrum Informatik
Ort: Karlsruhe
NUTS-Code: DE122 Karlsruhe, Stadtkreis
Land: Deutschland
Der Auftragnehmer ist ein KMU: ja
V.2.4.
Angaben zum Wert des Auftrags/Loses
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

Abschnitt V: Auftragsvergabe

Auftrags-Nr.: CEU-OV/2022-1
Los-Nr.: 2
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 Angeboten
Anzahl 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 wurde
Offizielle Bezeichnung: HENSOLDT Cyber GmbH
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
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

Abschnitt V: Auftragsvergabe

Auftrags-Nr.: CEU-OV/2022-1
Los-Nr.: 3
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 Angeboten
Anzahl 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 wurde
Offizielle Bezeichnung: HENSOLDT Cyber GmbH
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
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

Abschnitt V: Auftragsvergabe

Auftrags-Nr.: CEU-OV/2022-1
Los-Nr.: 4
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 Angeboten
Anzahl 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 wurde
Offizielle Bezeichnung: HENSOLDT Cyber GmbH
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
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

Abschnitt V: Auftragsvergabe

Auftrags-Nr.: CEU-OV/2022-1
Los-Nr.: 5
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 Angeboten
Anzahl 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 wurde
Offizielle Bezeichnung: HENSOLDT Cyber GmbH
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
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

Abschnitt VI: Weitere Angaben

VI.3.
Zusätzliche Angaben
VI.4.
Rechtsbehelfsverfahren/Nachprüfungsverfahren
VI.4.1.
Zuständige Stelle für Rechtsbehelfs-/Nachprüfungsverfahren
Offizielle Bezeichnung: Bundeskartellamt - Vergabekammern des Bundes
Postanschrift: Villemombler Straße 76
Ort: Bonn
Postleitzahl: 53123
Land: Deutschland
Telefon: +49 228-94990
Fax: +49 228-9499163
VI.4.3.
Einlegung von Rechtsbehelfen
Genaue 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