Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation

软件与系统专门化与原型化的实现。基于软件的技术创新与技术创新研究。大北市认为，“姑且”是世界范围内的“姑且”，姑且为“姑且”，姑且为“姑且”。系统模型的数学建模和数学模型的数学建模与验证。Mit den Techniken der Sicherheitsanalyse werden Schwachstellen and Designfehler ermittelt。本文主要研究了分析技术、理论基础、集成方法、模型实现、原型实现等问题。Die Ergebnisse werden and hand der referenzfallstudy 'Verkehrsleittechnik' des Schwerpunkts evaluiert。

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.