Sichere Systeme
Das Kompetenzzentrum Sichere Systeme unter der Leitung von Prof. Dr. Rolf Drechsler bündelt langjährige Erfahrungen in den Bereichen innovativer Software-Entwicklungstechniken, IT-Sicherheit und öffentlicher Sicherheit.
Ziel des Kompetenzzentrums ist es, Forschungs- und Entwicklungskooperationen durchzuführen und in Sicherheitsfragen zu unterstützen sowie innovative Werkzeuge und Produkte im Bereich Sichere Systeme zu entwickeln. Dabei liegt der Schwerpunkt der Arbeiten in:
- der Entwicklung formaler Sicherheitskonzepte und korrespondierender Analysewerkzeuge,
- der formalen Modellierung, Bewertung und Verifikation sicherheitskritischer Komponenten oder Systeme,
- der Entwicklung von Sicherheitsmechanismen in verschiedenen Anwendungsgebieten (Industrie 4.0, Gesundheit, kritische Infrastrukturen, Cyber-Physikalische Systeme)
- der Entwicklung von Sicherheitspolitiken für komplexe Systeme und Mechanismen zur sicheren Komposition von in sich sicheren Teilsystemen (Security by Design).
Die Arbeiten im Kompetenzzentrum umfassen das gesamte Spektrum von der Entwicklung angepasster Methodiken, ihrer Unterstützung in entsprechenden Werkzeugen bis zum Einsatz der Werkzeuge bei der Entwicklung sicherer Systeme. Beispiele im IT-Sicherheitsbereich sind die Verifikation von Sicherheitsprotokollen oder die Modellierung und Verifikation formaler Sicherheitspolitiken (Zugriffskontrolle und Informationsflusskontrolle). Im Bereich der Sicherheit im Sinne von Safety bilden die Entwicklung sicherer hybrider Systeme und sicherer Roboter einen Schwerpunkt der Aktivitäten.
Die Entwicklung sicherer oder zuverlässiger Systeme stellt erhöhte Anforderungen an den Entwicklungsprozess hinsichtlich der Konsistenz der Entwicklungsobjekte in den einzelnen Phasen. Das Kompetenzzentrum entwickelt daher Werkzeuge für ein rechnergestütztes Änderungsmanagement für eine konsistente Verwaltung von Objekten, die auch für analoge Verwaltungsaufgaben in anderen Bereichen einsetzbar sind.
Leitung
Prof. Dr. Rolf Drechsler
rolf.drechsler@dfki.de
Stellvertretende Leitung:
Prof. Dr. Dieter Hutter
dieter.hutter@dfki.de
Tel.: +49 421 218 59840
Kontakt
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Bibliothekstr. 1 (MZH)
28359 Bremen
Deutschland