« back

Only available in German

---

Erfolgreiche Verteidigung der Dissertation

Dr. Pascal Pieper

Dr. Pascal Pieper hat seine Dissertation "Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes" erfolgreich verteidigt.

Dr. Pieper befasste sich in seiner Arbeit mit dem Prozess der Entwicklung von komplexen eingebetteten Systemen. Hierbei gilt es, besonders früh im Entwicklungsprozess mögliche Schwächen und Risiken des geplanten Systems erkennen, messen, und verbessern zu können. Dies geschieht mittlerweile immer mehr durch das Verwenden von virtuellen Prototypen, welche abstrahierte Modelle der Hardware sind, und als ausführbares Programm das spätere Verhalten modellieren und simulieren sollen. Dies ermöglicht die frühzeitige und enge Entwicklung von Hard- und Softwaremodulen, kostet allerdings bisher auch einen nicht unerheblichen Entwicklungsaufwand für ein Modell, das vorher nicht- oder nicht besonders weiterverwendet wurde.

Die Promotionsarbeit von Dr. Pieper befasst sich mit formalen und praxisorientierten Ansätzen zur schnellen Modellierung und Verifikation von SystemC-basierten virtuellen Prototypen und den resultierenden Soft- und Hardwaremodulen. Als besonderen Fokus wird hier das Verhalten auf Instruktionsebene von System-on-Chips und den digitalen Geräten, mit denen der Chip interagiert, gelegt. Verifikationsansätze stützen sich hierbei auf sowohl symbolischer Ausführung von simulierten Hardware-Geräten als auch auf klassisch diskreter Ausführung des ganzen Systems mit dynamischem Datenfluss-Tracking (DIFT) zur Analyse von gesetzten Sicherheitspolitik-Regeln.

Die aus der Arbeit entstandenen Ansätze sind bis auf eine einzelne Ausnahme zusammen mit dem Quellcode veröffentlicht worden, um die Verfügbarkeit solcher Werkzeuge auch für Privatanwender attraktiv zu machen.

Wir gratulieren!