Project Details
Projekt
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
Applicant
Professor Dr. Wolfgang Reif
Subject Area
Theoretical Computer Science
Term
from 1998 to 2008
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5134877
Ziel des Projekts ist die Fortführung der 1998 beantragten Integration ingenieurwissenschaftlicher Sicherheitsanalyse und formaler Software- und Systemspezifikation und deren prototypische Realisierung. Das Gesamtergebnis ist eine Methode zur systematischen Entwicklung sicherer Spezifikationen für software-basierte Ingenieuranwendungen. Dabei steht 'sicher' sowohl für korrektes Funktionieren als auch für eine ausfalltolerante Gestaltung. Formale Spezifikationen werden dabei zur Beschreibung des Systemmodells sowie zur Formulierung und Verifikation von Sicherheitseigenschaften verwendet. Mit den Techniken der Sicherheitsanalyse werden Schwachstellen und Designfehler ermittelt. Im beantragten Zeitraum werden die Arbeiten an einer (von zwei) Sicherheitsanalysetechniken abgeschlossen, die zweite theoretisch fundiert, eine Methodik zur integrierten Anwendung entwickelt, und die erforderlichen Werkzeuge prototypisch implementiert. Die Ergebnisse werden anhand der Referenzfallstudie 'Verkehrsleittechnik' des Schwerpunkts evaluiert.
DFG Programme
Priority Programmes
