Das Kompetenzzentrum Sichere Software (Leitung Prof. Dr. Krieg-Brückner, Bremen) bündelt die langjährigen Erfahrungen (innerhalb und außerhalb des DFKI) in den Bereichen der innovativen Software-Entwicklungstechniken, der IT-Sicherheit und der öffentlichen Sicherheit.

Ziel des Kompetenzzentrums ist es, Forschungs- und Entwicklungskooperationen mit Unter-nehmen durchzuführen und 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 Systemen im Bereich öffentlicher Sicherheit,
• der Entwicklung formaler Konzepte zur konsistenten Verwaltung heterogener Daten sowie zur Orchestrierung heterogener Prozesse und
• der Entwicklung von Werkzeugen zur Verwaltung von heterogenen und dynamischen Objekten bzw. Dokumenten.

 

Die Arbeiten in dem 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. Bernd Krieg-Brückner
Stellvertretung: Dr. habil. Werner Stephan und Dr. Dieter Hutter

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cartesium
Enrique-Schmidt-Straße 5
D-28359 Bremen

Telefon: +49 (0)421 / 218-64221
Fax: +49 (0)421 / 218-9864221
E-Mail: Werner.Stephan@dfki.de und Dieter.Hutter@dfki.de
Homepage: http://www.dfki.de/sks