Community- und Ökosystem-Aufbau zu formaler Verifikation von Basis-IT : Übersicht hinsichtlich der Evaluation und Entwicklung von Ansätzen des Community-Aufbaus zur offenen Entwicklung sicherer Basis-IT unter Berücksichtigung der Rolle von Innovationsagenturen / ESMT Berlin, HENSOLDT Detect and Protect ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH
Download3.16 MB
Community- und Ökosystem-Aufbau zu formaler Verifikation von Basis-IT : Übersicht hinsichtlich der Evaluation und Entwicklung von Ansätzen des Community-Aufbaus zur offenen Entwicklung sicherer Basis-IT unter Berücksichtigung der Rolle von Innovationsagenturen Discovery
1963580400
URN
urn:nbn:de:gbv:3:2-123456789-1178426
DOI
ISBN
ISSN
Koordinaten
Skalierung
Autorin / Autor
Beiträger
Erschienen
Halle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
Umfang
1 Online-Ressource (75 Seiten, 3,16 MB)
Ausgabevermerk
Version: 2.0, Datum: 21.03.2023
Sprache
ger
Anmerkungen
Literaturverzeichnis: Seite 71-75
Inhaltliche Zusammenfassung
Fü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.
Schriftenreihe
Ecosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH