Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation

在1998年的一次集成中，我们发现了一种新的分析和形式化的软件分析和系统设计方法。这是一种系统化的方法--基础工程。他说：“这是一件非常重要的事情。”以前的规范是这样的，它是一种系统的模型，它的形式和验证都是为了更好地理解它。德国麻省理工学院对施瓦赫斯泰伦和设计进行了详细的分析。我是一位德国人，他的分析是他的理论基础，他的理论是完整的，他的原型也是他的。他说：“这是一项非常重要的工作。”

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.