« zurück

Erfolgreiche Verteidigung der Dissertation

Dr. Sören Tempel

Dr. Sören Tempel hat seine Dissertation "Accurate Binary-Level Symbolic Execution of Embedded Firmware" erfolgreich verteidigt.

Dr. Sören Tempel befasste sich in seiner Arbeit mit dem automatisierten Testen von Software für eingebettete Systeme mithilfe symbolischer Ausführung. Hierbei sollen Fehler in der auf diesen Systemen verwendeten hardwarenahen Software möglichst früh im Entwicklungsprozess erkannt und behoben werden. Dies wird unter anderem durch die Verwendung und Integration mit virtuellen Prototypen, welche abstrahierte Modelle der Hardware sind, erreicht. Die aus der Arbeit entstandenen Ansätze wurden zusammen mit dem Quellcode veröffentlicht und werden auch im Rahmen verschiedener Forschungsprojekte industriell verwertet.

Wir gratulieren!