Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation

正式规范背景下的工程安全分析

• 批准号: 5134877
• 负责人: Professor Dr. Wolfgang Reif
• 金额: --
• 依托单位: Institute for Software und Systems Engineering
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5134877?language=en
• 关键词: Ingenieurwissenschaftliche; Sicherheitsanalyse; im; Kontext; formaler

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.

Ziel des Projekts ist die Fortführung der 1998 beantragten Integration ingenieurwissenschaftlicher Sicherheitsanalyze und formaler Software- und Systemspezifikation und deren prototypische Realisierung. Das Gesamtergebnis ist eine Methode zur systematischen Entwicklung sicherer Spezifikationen für software-based Ingenieuranwendungen. Dabei steht 'sicher' sowohl für korrektes Funktionieren als auch für ausfalltolerante Gestaltung.韦尔登的形式化特征可以通过系统模型的建立来确定和验证。韦尔登的安全分析技术和设计方法是完全相同的。在一个新的韦尔登里，工人们使用了一种（从两个）安全分析技术，一种基本的理论，一种集成分析的方法，以及一种实现原型的方法。该成果韦尔登与施韦尔庞克评价的“交通技术”参考研究有关。