- Es wird eine Methode zur systematischen Erstellung sicherer Spezifikationen für softwarebasierte Ingenieuranwendungen entwickelt. 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. Die Ergebnisse werden anhand der Referenzfallstudie 'Verkehrsleittechnik' des Schwerpunkts evaluiert.