Ökosystem vertrauenswürdige IT

Description

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. Lot 1: Formale Verifikation komplexer Software 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. Angebote für mehrere Lose müssen zwingend einzeln bepreist sein. Lot 2: Formale Verifikation von Hardware 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. Angebote für mehrere Lose müssen zwingend einzeln bepreist sein. Lot 3: Formale Verifikation von 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. Angebote für mehrere Lose müssen zwingend einzeln bepreist sein. Lot 4: Formale Garantie sicherer Hardware-Lieferketten 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. Angebote für mehrere Lose müssen zwingend einzeln bepreist sein. Lot 5: Community- und Ökosystem-Aufbau zu formaler Verifikation von Basis-IT 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. Angebote für mehrere Lose müssen zwingend einzeln bepreist sein.