Zuschlag erteilt Offenes Verfahren (EU-weit) · veröffentlicht am 12.04.2022

Ökosystem vertrauenswürdige IT

Auftraggeber: Agentur für Innovation in der Cybersicherheit GmbH · Halle

Agentur für Innovation in der Cybersicherheit GmbH hat den Auftrag für Forschung und Studien in Halle (Saale) am 01.09.2022 vergeben, Zuschlag an HENSOLDT Cyber GmbH und Einzelunternehmen aus Karlsruhe. Zuschlagssumme nach den Angaben der Bekanntmachung: 380.106,29 €. Eingegangen: 1–3 Angebote je Los.

Zuschlag an

Einzelunternehmen aus Karlsruhe

HENSOLDT Cyber GmbH Taufkrichen

Summe: 380.106,29 €
Angebote: 1–3 je Los
Zuschlag: 01.09.2022

Quelle: Bekanntmachung auf TED (© Europäische Union), veröffentlicht am 09.09.2022.

Angaben in Kürze

Aus den Feldern, ohne KI

Was: Forschung und Studien: Ökosystem vertrauenswürdige IT
Wo: Halle (Saale), Sachsen-Anhalt
Wer kann anbieten: Jedes Unternehmen, das die Anforderungen der Vergabeunterlagen erfüllt.
Laufzeit: 4 Monate
Lose: 5 Lose, einzeln anzubieten laut Bekanntmachung

Automatisch aus den Feldern der Bekanntmachung vom 09.09.2022, ohne KI. Die Branche ordnen wir selbst zu. Maßgeblich ist die Bekanntmachung. Original lesen ↗ · Fehler melden

Leistungsumfang

Beschreibung laut Bekanntmachung

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.

5 Lose

LosBezeichnung laut BekanntmachungZuschlag

1 Formale Verifikation komplexer Software Einzelunternehmen aus Karlsruhe

2 Formale Verifikation von Hardware HENSOLDT Cyber GmbH

3 Formale Verifikation von Hardware-Software-Schnittstellen HENSOLDT Cyber GmbH

4 Formale Garantie sicherer Hardware-Lieferketten HENSOLDT Cyber GmbH

5 Community- und Ökosystem-Aufbau zu formaler Verifikation von Basis-IT HENSOLDT Cyber GmbH

Erfüllungsort

Ort: nicht angegeben
Kreis: Halle (Saale)
Bundesland: Sachsen-Anhalt
NUTS: DEE02

Verlauf

12.04.2022 Ausschreibung veröffentlicht
09.09.2022 Ergebnis veröffentlicht

Häufige Fragen

Wer hat den Auftrag bekommen?

Den Zuschlag hat HENSOLDT Cyber GmbH und Einzelunternehmen aus Karlsruhe erhalten, Summe 380.106,29 €.

Quellen Bekanntmachung auf TED ↗ Daten: TED – Tenders Electronic Daily, © Europäische Union, Weiterverwendung mit Quellenangabe. Namen und persönliche Kontaktdaten von Ansprechpersonen entfernen wir automatisch. Ist uns etwas entgangen? Fehler melden

Weitere Zuschläge: Forschung und Studien in Sachsen-Anhalt

Aktualisierung des „Daten- und Rechenmodells: Energieverbrauch und Schadstoffemissionen des motorisierten Verkehrs in Deutschland (TREMOD)“ und der Datenbank „Mobile Maschinen und Geräte (TREMOD-MM)“Umweltbundesamt · Zuschlag 23.10.2026 an ifeu - Institut für Energie- und Umweltforschung Heidelberg gGmbH · 2 Angebote
Unterstützung EU-AntragFraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V. | IMWS vertreten durch: Fraunhofer-Institut für Mikrostruktur von Werkstoffen und Systemen IMWS · Zuschlag 01.05.2026 an Iconiq Innovaton Ltd.
JKI ZüchtungFraunhofer-Gesellschaft - Einkauf B12 · Zuschlag 31.03.2026 an Julius Kühn-Institut, Bundesforschungsinstitut für Kulturpflanzen (JKI) · 1 Angebot