Forschungstätigkeit

Im Rahmen des im Jahr 2010 erfolgreich abgeschlossenen Clusterforschungsprojektes "Autonome Integrierte Systeme" beschäftigte ich mich mit der Analyse von Echtzeitfähigkeiten fehlerbehafteter Multiprozessorsysteme. Eine kurze Zusammenfassung der hierbei auftretenden Fragestellungen sowie der Aktivitäten speziell am IDA findet sich hier.

Speziell im Bereich mixed-criticality befasse ich mich mit der Entwicklung neuer Multi- und Many-Core Architekturen. Darauf aufbauend forschen wir an Softwaremaßnahmen wie Virtualisierung, Checkpointing und Rollback für den Einsatz in Embedded Systems. Hier stehen besonders die formale Timing-Verifikation der Zuverlässigkeitsmechanismen im Vordergrund. Das RECOMP Projekt befasst sich, neben Anderem, mit der Fragestellung der Integration von Komponenten mit unterschiedlicher Kritikalität. Weitere Informationen finden sich hier.

Im Rahmen des durch die DFG geförderten Projektes ASTEROID wird zusammen mit TU Dresden eine neuartige, zuverlässige Rechnerarchitektur entwickelt. Hierbei können transiente Fehler von der Hardware automatisch erkannt und vom Betriebssystem korrigiert werden.

Außerdem bin ich Mitentwickler von pyCPA.

Studentische Arbeiten

Im Rahmen meiner Forschungstätigkeit betreue ich gerne Studien- und Diplomarbeiten. Bei Interesse sowohl an theoretischen Arbeiten in den Bereichen Echtzeitsysteme und Fehlertoleranz  als auch an praktisch orientieren Programmieraufgaben ist es jederzeit möglich, sich an mich zu wenden. 

Offene Hiwi-Stellen

Im Rahmen des Praktikums "Eingebettete Prozessoren" suchen wir noch einen Hiwi, der die Betreuung der Studenten übernimmt.

Voraussetzungen:

• Bestandenes Praktikum "Eingebettete Prozessoren" ist wüschenswert.
• Erfahrung im Bereich Entwurf digitaler Schaltungen (VHDL) und Programmierung in C.