Detailseite
Projekt
Erstellen und Ausführen von zuverlässiger Anwendungssoftware auf unzuverlässigen eingebetteten Systemen (Get-SURE) - II
Fachliche Zuordnung
Rechnerarchitektur, eingebettete und massiv parallele Systeme
Förderung
Förderung von 2012 bis 2020
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 227611933
Da Hardware-Komponenten in Computersystemen aufgrund von Mikrominiaturisierung unzuverlässiger werden, sind Hardware-Fehler, die auf Soft-Errors zurückzuführen sind, sowie permanente Fehler aufgrund von Alterungsmechanismen unvermeidbar. Daher ist es für System-Entwickler unerlässlich, effektive Hardware- und Software-Techniken zu nutzen, um die Verlässlichkeit zu erhöhen. Dieser Forschungsantrag zielt darauf ab, die Verlässlichkeit durch Anwendung von zuverlässigkeitsgesteuerter Kompilierung und Offline- und Online-Software-Verfahren in einer ebenenübergreifenden Weise zu verbessern, wenn die Hardware-Komponenten potentiell unzuverlässig sind. Um die Lücke zwischen Hardware- und Software-Verfahren mit dem Ziel eines hohen Grades an Verlässlichkeit zu schließen, planen wir in diesem Projekt eine adäquate Modellierung von Hardware-Zuverlässigkeit und Software-Resiliency, um damit die Generierung von System-Software und Applikations-Software (mittels Compiler) zu steuern. Nach der Reduzierung der Fehlerwahrscheinlichkeiten in unserer Förderungsphase I (2013-2014), untersucht dieser Antrag für unsere Förderungsphase II (2013-2014) zuverlässigkeitsgesteuerte Kompilierungs- und System-Software-Techniken mit zusammenarbeitender, multi-granularer Fehlererkennung und -korrektur unter Berücksichtigung von Prozessschwankungen und Alterungseffekten. Insbesondere werden wir untersuchen: (1) Zuverlässigkeits-/Belastbarkeits-, Applikations- und Ausführungszeitmodelle für Prozessorkerne mit verschiedenartigen Härtungsgraden; (2) zuverlässigkeitsgesteuertes Compiler Back-End und Linker unter Alterungseffekten; (3) Compiler-getriebener Entwurf und Optimierung von Fehlererkennungs- und Fehlerkorrekturmodi unterschiedlicher Granularität; (4) durch Leistungsverbrauch/Performanz eingeschränkte Zuverlässigkeitsoptimierung für Manycore Systeme; und (5) Compiler-gesteuerte Laufzeitunterstützung zur Fehlererkennung und -korrektur. Sowohl Online- als auch Offline-Verfahren sind notwendig und werden in diesem Projekt untersucht, um effektive Maßnahmen zu finden, wie diese aufeinander abzustimmen sind.
DFG-Verfahren
Schwerpunktprogramme
Internationaler Bezug
Österreich
