Agentur für Innovation in der CybersicherheitEuropean School of Management and TechnologyHensoldt AG2026-03-062023https://epflicht.bibliothek.uni-halle.de/handle/123456789/1178421963580400urn:nbn:de:gbv:3:2-123456789-1178426Für die digitale technologische Souveränität der Bundesrepublik Deutschland ist es wichtig beweisbar sichere, leistungsfähige Alternativen zu bestehenden Basis-IT-Systemen von Drittanbietern zur Verfügung zu haben, um cyber-resiliente komplexe IT-Systeme in sicherheitskritischen Bereichen implementieren zu können. Die Entwicklung beweisbar sicherer Basis-IT und deren Anwendung muss durch ein entsprechendes zu etablierendes Ökosystem gefördert werden. Auf dem Weg zu einem "Ökosystem vertrauenswürdiger IT" mit formal verifizierter Hard- und Software ist der Aufbau und das Management einer geeigneten Entwickler- und Anwender-Community ein wichtiger Teilschritt. Die vorliegende Arbeit betrachtet dazu die Frage, wie sich eine entsprechende Community "Formale Verifikation von Basis-IT" aufbauen und managen lässt. Dazu werden in einer Literaturrecherche die Erfolgsfaktoren und Misserfolgsfaktoren und der State of the Art des Aufbaus und Managements einer solchen Community betrachtet. Die gewonnen Erkenntnisse - ergänzt durch Aussagen einer Expertenbefragung und Betrachtungen von Fallstudien - dienen als Grundlage zur Erarbeitung eines möglichen Vorgehens zum Aufbau und Management einer Entwickler- und Anwendercommunity für "Formale Verifikation von Basis-IT" (Roadmap) und einer Vision für ein zukünftiges daraus erwachsendes Ökosystem.1 Online-Ressource (75 Seiten, 3,16 MB)gerhttp://rightsstatements.org/vocab/InC/1.0/005.8