Seminar: Businessplan in der Praxis: Bankengespräch
Wissenschaftliche(r) Mitarbeiter(in) im Bereich CSCW/Enterprise 2.0 gesucht
Flexible Fehlertoleranzmethoden für eingebettete Systeme
Vortrag im Kolloquium Informatik von Dr. Michael Engel, TU Dortmund, Fakultät für Informatik
Freitag, 20.05.2011, 14:00 c.t., Raum B 016
Referent: Dr. Michael Engel, TU Dortmund, Fakultät für Informatik
Gastgeber: Prof. Dr. Dieter Zöbel
Zusammenfassung:
Die zunehmende Miniaturisierung von Halbleitern und die energiebedingt stetig sinkenden Spannungspegel haben zur Folge, dass zukünftige integrierte Schaltkreise immer unzuverlässiger werden. Insbesondere wird die Anzahl transienter Fehler, die den Zustand von Logik- und Speicherkomponenten eines Systems unerwartet verändern, stark zunehmen.
In der Forschung existieren bereits eine Vielzahl von Ansätzen zur hard- und softwarebasierten Korrektur von Fehlern. Die meisten dieser Ansätze berücksichtigen dabei allerdings nicht die Semantik von auftretenden Fehlern und behandeln damit alle Fehler gleichartig.
In eingebetteten Systemen sind jedoch häufig nicht ausreichend Ressourcen vorhanden, um alle auftretenden Fehler zu behandeln. Insbesondere in echtzeitkritischen Systemen kann die direkte Behandlung zufällig auftretender transienter Fehler zur Verletzung von Zeitschranken führen.
Das im Rahmen des DFG-Schwerpunktprogramms 1500 geförderte "FEHLER"-Projekt der Arbeitsgruppe "Entwurfsautomatisierung für eingebettete Systeme" (LS12)
der Fakultät für Informatik an der TU Dortmund entwickelt daher flexible Fehlertoleranzmethoden für eingebettete Echtzeitsysteme, die eine statische Analyse der Semantik einer Anwendung ausnutzen, um auftretende Fehler anhand ihrer Auswirkung zu klassifizieren. Diese Klassifizierung wird dann zur Laufzeit verwendet, um zu entscheiden, ob, wie und wann ein auftretender Fehler zu behandeln ist.
Der Vortrag gibt einen Überblick über den Zusammenhang zwischen Echtzeit und Fehlertoleranz am Beispiel eines H.264-Videodecoders und erläutert die relevanten Ansätze zur Implementierung flexibler Fehlertoleranzmethoden. Abschließend wird ein Ausblick auf die Anwendung der Fehlerklassifizierung in Verbindung mit probabilistic computing gegeben, ein Themengebiet, das aktuell in Kooperation mit der Nanyang Technological University in Singapur erforscht wird.
-- http://ls12-www.cs.tu-dortmund.de/research/activities/fehler/index.html --
