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.
Deadline
Die Frist für den Eingang der Angebote war 2022-06-10.
Die Ausschreibung wurde veröffentlicht am 2022-04-07.
Anbieter
Die folgenden Lieferanten werden in Vergabeentscheidungen oder anderen Beschaffungsunterlagen erwähnt:
Auftragsbekanntmachung (2022-04-07) Objekt Umfang der Beschaffung
Titel: Forschungs- und Entwicklungsdienste und zugehörige Beratung
Referenznummer: CEU-OV/2022-1
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.
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.
Referenz Daten
Absendedatum: 2022-04-07 📅
Einreichungsfrist: 2022-06-10 📅
Veröffentlichungsdatum: 2022-04-12 📅
Kennungen
Bekanntmachungsnummer: 2022/S 072-192740
ABl. S-Ausgabe: 72
Zusätzliche Informationen
Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
Objekt Umfang der Beschaffung
Geschätzter Gesamtwert: 400 000 EUR 💰
Bezeichnung des Loses: Formale Verifikation komplexer Software
Losnummer: 1
Kurze Beschreibung:
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.
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.
Dauer: 4 Monate
Zusätzliche Informationen: Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.
Bezeichnung des Loses: Formale Verifikation von Hardware
Losnummer: 2
Kurze Beschreibung:
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.
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.
Bezeichnung des Loses: Formale Verifikation von Hardware-Software-Schnittstellen
Losnummer: 3
Kurze Beschreibung:
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.
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.
Bezeichnung des Loses: Formale Garantie sicherer Hardware-Lieferketten
Losnummer: 4
Kurze Beschreibung:
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.
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.
Bezeichnung des Loses: Community- und Ökosystem-Aufbau zu formaler Verifikation von Basis-IT
Losnummer: 5
Kurze Beschreibung:
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.
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.
Rechtliche, wirtschaftliche, finanzielle und technische Informationen Bedingungen für die Teilnahme
Befähigung zur Berufsausübung:
Hochschulen und Forschungs- und Wissenschaftseinrichtungen und vergleichbare Institutionen, soweit nicht privat-rechtlich organisiert:
- Grundordnung der Hochschule
- Satzung der Einrichtung
Gewerbliche/freiberufliche Bieter einschl. privat-rechtlich organisierte Forschungs- und Wissenschaftseinrichtungen und vergleichbare Einrichtungen haben folgende Eignung nachzuweisen, soweit dies vorgeschrieben ist:
- einen aktuellen (nicht älter als 6 Monate gerechnet ab dem Datum dieser Bekanntmachung) Nachweis der…
… Gewerbeanmeldung oder eine vergleichbare Anmeldung nach Maßgabe der Rechtsvorschriften des EU-Mitgliedsstaates, in dem das Unternehmen ansässig ist,
… Eintragung in das Handelsregister oder ein vergleichbares Register nach Maßgabe der Rechtsvorschriften des EU-Mitgliedsstaates, in dem das Unternehmen ansässig ist,
Unabhängig der Rechtsform sind abzugeben:
- Eigenerklärung zu Ausschlussgründe nach § 123/124 GWB für Unternehmen,
- Eigenerklärungen zu Bewerber- und Bietergemeinschaft, Unteraufträge/Eignungsleihe, Verpflichtungserklärung anderer Unternehmen, soweit zutreffend
Technische und berufliche Fähigkeiten:
- Unternehmensdaten (Angaben zu Forschungstätigkeit und durchschnittliche Anzahl der aktiv Beschäftigten insgesamt) sowie Rechtsform und Kontaktdaten (Angaben zu den oder die Ansprechpartner, deren Adressen, Telefon-Nummern und E-Mail-Adressen der für die Auftraggeber zuständigen Mitarbeiter nach den hier relevanten Funktionen)
- Unternehmensdaten (Angaben zu Forschungstätigkeit und durchschnittliche Anzahl der aktiv Beschäftigten insgesamt) sowie Rechtsform und Kontaktdaten (Angaben zu den oder die Ansprechpartner, deren Adressen, Telefon-Nummern und E-Mail-Adressen der für die Auftraggeber zuständigen Mitarbeiter nach den hier relevanten Funktionen)
- Unternehmensdaten Hochschulen (Angaben zur Auftragsforschung im Bereich des Auftragsgegenstandes der letzten drei Jahre und durchschnittliche Anzahl der aktiv Beschäftigten insgesamt und in Bezug auf die durchführende Organisationseinheit) sowie Kontaktdaten (Angaben zu den oder die Ansprechpartner, deren Adressen, Telefon-Nummern und E-Mail-Adressen der für die Auftraggeber zuständigen Mitarbeiter nach den hier relevanten Funktionen)
- Unternehmensdaten Hochschulen (Angaben zur Auftragsforschung im Bereich des Auftragsgegenstandes der letzten drei Jahre und durchschnittliche Anzahl der aktiv Beschäftigten insgesamt und in Bezug auf die durchführende Organisationseinheit) sowie Kontaktdaten (Angaben zu den oder die Ansprechpartner, deren Adressen, Telefon-Nummern und E-Mail-Adressen der für die Auftraggeber zuständigen Mitarbeiter nach den hier relevanten Funktionen)
o Nachweis von insgesamt vier Referenzen (z. B. Publikationen, Projektberichte, Artikel, Fachvorträge) der für das Projekt vorgeschlagenen Teammitglieder in der akademischen Forschung in den für die Zielsetzung des jeweiligen Loses relevanten Themenbereichen (innerhalb der letzten fünf Jahre (ab 2017);
o Nachweis von insgesamt vier Referenzen (z. B. Publikationen, Projektberichte, Artikel, Fachvorträge) der für das Projekt vorgeschlagenen Teammitglieder in der akademischen Forschung in den für die Zielsetzung des jeweiligen Loses relevanten Themenbereichen (innerhalb der letzten fünf Jahre (ab 2017);
o Nachweis von kumulativ mindestens sechs Jahren wissenschaftlicher Erfahrung, in den für die Zielsetzung des jeweiligen Loses relevanten Themenbereichen im für das Projekt vorgeschlagenen Team, sowie die Lebensläufe der Teammitglieder,
o Nachweis, dass die für das Projekt vorgeschlagenen Teammitglieder auf ein fundiertes wissenschaftliches Netzwerk (bspw. Universitäten, Forschungsinstitute, Vereine, Forschungsabteilungen) zurückgegriffen werden kann, mit denen in den vergangenen fünf Jahren (ab 2017) in den für die Zielsetzung des jeweiligen Loses relevanten Themenbereichen kooperiert wurde. Die Existenz eines Netzwerks kann durch gemeinsame Projektarbeit (mindestens zwei Projekte im relevanten Zeitraum), Publikationen (mindestens vier Publikationen mit Netzwerkpartnern im relevanten Zeitraum) oder regelmäßig (mindestens drei Treffen p. a. über mindestens zwei Jahre im relevanten Zeitraum) stattfindenden Arbeitstreffen und Veranstaltungen nachgewiesen werden.
o Nachweis, dass die für das Projekt vorgeschlagenen Teammitglieder auf ein fundiertes wissenschaftliches Netzwerk (bspw. Universitäten, Forschungsinstitute, Vereine, Forschungsabteilungen) zurückgegriffen werden kann, mit denen in den vergangenen fünf Jahren (ab 2017) in den für die Zielsetzung des jeweiligen Loses relevanten Themenbereichen kooperiert wurde. Die Existenz eines Netzwerks kann durch gemeinsame Projektarbeit (mindestens zwei Projekte im relevanten Zeitraum), Publikationen (mindestens vier Publikationen mit Netzwerkpartnern im relevanten Zeitraum) oder regelmäßig (mindestens drei Treffen p. a. über mindestens zwei Jahre im relevanten Zeitraum) stattfindenden Arbeitstreffen und Veranstaltungen nachgewiesen werden.
Auftragsausführung
Bedingungen für die Vertragserfüllung:
Eigenerklärung zur Einhaltung von § 19 Abs. 1 MiLoG, ggf. Arbeitnehmerentsendegesetz
Verfahren
Rechtsgrundlage: 32014L0024
Zeitpunkt des Eingangs der Angebote: 12:00
Sprachen, in denen Angebote oder Teilnahmeanträge eingereicht werden können: Deutsch 🗣️
Gültigkeitsdauer des Angebots: 2022-07-22 📅
Datum der Angebotseröffnung: 2022-06-10 📅
Zeitpunkt der Angebotseröffnung: 13:00
Vergabekriterien
Qualitätskriterium (Bezeichnung): Inhaltliche Qualität des Konzepts
Qualitätskriterium (Gewichtung): 70
Preis (Gewichtung): 30
Ergänzende Informationen Körper überprüfen
Name: Bundeskartellamt - Vergabekammern des Bundes
Postanschrift: Villemombler Straße 76
Postort: Bonn
Postleitzahl: 53123
Land: Deutschland 🇩🇪
Telefon: +49 228-94990📞
Fax: +49 228-9499163 📠
Informationen zu Fristen für Nachprüfungsverfahren:
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.
Informationen zu Fristen für Nachprüfungsverfahren
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
Informationen zu Fristen für Nachprüfungsverfahren
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
Bekanntmachung über vergebene Aufträge (2022-09-05) Objekt Umfang der Beschaffung
Gesamtwert des Auftrags: 400 000 EUR 💰
Metadaten der Bekanntmachung
Dokumenttyp: Bekanntmachung über vergebene Aufträge