Software-implementierte hardwareunabhängige Detektion transienter und permanenter Ausführungsfehler mit adaptierbarer Sicherheit

软件实现、独立于硬件的瞬态和永久性执行错误检测，具有适应性强的安全性

• 批准号: 101906015
• 负责人: Professor Dr. Christof Fetzer
• 金额: --
• 依托单位: Professur für Systems Engineering
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2008
• 资助国家: 德国
• 起止时间: 2007-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/101906015?language=en
• 关键词: Software; implementierte; hardwareunabh; ngige; Detektion

Schrumpfende Strukturgrößen und immer komplexere Hardwaredesigns werden in Zukunft zu weniger zuverlässiger Hardware führen. Weiterhin werden aus Kostengründen fehleranfällige Standard-IT-Systeme zunehmend in sicherheitskritischen Bereichen eingesetzt. Diese Systeme können mit Hilfe software-basierter Fehlertoleranztechniken sicherer gemacht werden. Ein wichtige Voraussetzung für Fehlertoleranz ist die Detektion von transienten und permanenten Fehlern. Um die Sicherheit der Detektion unabhängig von der verwendeten Hardware beurteilen zu können, sollten zur Evaluation hardwareunabhängige Fehlermodelle verwendet werden. Die entwickelten Techniken zur Fehlerdetektion können je nach erforderlicher Zuverlässigkeit unterschiedliche Laufzeitkosten erzeugen. Um den unterschiedlichen Sicherheitsbedürfnissen auch innerhalb einer Anwendung gerecht zu werden, ohne die Performance unnötig zu verschlechtern, wird die weitestgehend automatisierte Unterstützung verschiedener Sicherheitsstufen angestrebt. Ziel ist es, dass der Programmierer einer sicherheitskritischen Anwendung im Programmcode spezifiziert, welche Programmteile welche Sicherheitsanforderungen haben. Diese Spezifikation wird anschließend zur Transformation des Programms in eine entsprechende sichere Version des Programms genutzt.

Schrumpfende Strukturgrößen 和 immer komplexere Hardwaredesigns werden in Zukunft zu weniger zuverlässiger Hardware führen。 Weiterhin werden aus Kostengründen fehleranfällige Standard-IT-Systeme zunehmend in sicherheitskritischen Bereichen eingesetzt。该系统包含 Hilfe 软件基础的 Fehlertoleranztechniken sicherer gemacht werden。 Ein wichtige Voraussetzung für Fehlertoleranz ist die 检测对瞬时和永久 Fehlern。 Um die Sicherheit der Detektion unabhängig von der verwendeten Hardware beurteilen zu können, sollten zur 评估硬件unabhängige Fehlermodelle verwendet werden。测试技术中的 Fehlerdetektion können je nach erforderlicher Zuverlässigkeit unterschiedliche Laufzeitkosten erzeugen。 UM den unterschiedlichen Sicherheitsbedürfnissen auch insidehalb einer Anwendung gerecht zu werden, ohne die Performance unnötig zu verschlechtern, wird die weitestgehend automatisierte Unterstützung verschiedener Sicherheitsstufen angestrebt. Ziel ist，dass der Programmierer einer sicherheitskritischen Anwendung im Programmcode spezifiziert，welche Programmteile welche Sicherheitsanforderungen haben。程序转换的具体说明是在程序版本中进行的。