Ökosystem vertrauenswürdige IT

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.