 Alexander Viehl wurde 1980 in Lutherstadt Eisleben geboren. Er absolvierte von 1999 bis 2004 das Studium der Informatik an der Universität Karlsruhe. Die Studienschwerpunkte lagen in der Architektur und der kryptographischen Absicherung von Softwaresystemen und dem Entwurf und der Architektur eingebetteter Systeme und Mikroprozessoren. Weiterhin beschäftigte er sich mit Medizintechnik. Seit Oktober 2004 ist er wissenschaftlicher Mitarbeiter am Forschungszentrum Informatik im Forschungsbereich Systementwurf in der Mikroelektronik (FZI/SiM). Seine Arbeiten liegen in den Bereichen formaler Performanzanalyse, funktionaler Verifikation, ESL Design mit UML, Risikobewertung beim Entwurf nanoelektronischer Systeme, Entwurfsraumexploration und Topologiefindung von Systems-on-Chip und verteilten eingebetteten Systemen. Dabei arbeitete er unter anderem in den Projekten SpeAC, URANOS, CANoC und VISION. Aktuell sind die Aufgabenschwerpunkte in den Projekten CHESS, VERDE und SANITAS. Es werden fortwährend geeignete Studenten für Diplom- und Studienarbeiten gesucht. Über die ausgeschriebenen Aufgabenstellungen hinaus existieren weitere Themen. Diese können gern nach Vereinbarung eines persönlichen Gesprächstermins vorgestellt werden. Offene Arbeiten:
Laufende Arbeiten:
- Umgebungsintegration für die Kommunikationsanalyse, Studienarbeit, Andreas Löffler
- Automatisierte Transformation von SystemC-Modellen zur Performanzanalyse auf Systemebene, Diplomarbeit, Amine Benchaalal
- Weiterentwicklung einer SystemC-Umgebung für Eclipse, Studienarbeit, Ze Li
- Integration von Real-Time-Java in virtuelle Prototypen verteilter, eingebetteter Systeme, Diplomarbeit, Martin Oexner
- Deadlocks und Datenverlust in eingebetteten Systemen, Studienarbeit, He Xiaosu
- Weiterentwicklung der Benutzeroberfläche eines Werkzeugs zur Systembewertung, Wissenschaftliche Hilfskraft, Andreas Löffler
- Weiterentwicklung eines Design-Flows zur Systembewertung, Wissenschaftliche Hilfskraft, Ye Xing
Abgeschlossene Arbeiten:
- Entwicklung einer SystemC-Umgebung für Eclipse, Studienarbeit, Simon Kramer
- Spezifikationsbasierte Generierung von strukturellen SystemC-Modellen aus UML und SysML, Diplomarbeit, Timo Schönwald
- Verhaltensvisualisierung eingebetteter Systeme durch UML Sequenz-Diagramme, Studienarbeit, Christian Renner
- Konflikterkennung und Ressourcenallokation in eingebetteten Systemen, Studienarbeit, Clemens Gebhard
- Untersuchung zur Modellierung und Bewertung eingebetteter Systeme mit UML2 State-Machines, Studienarbeit, Dereje Kebede
- Architekturspezifisches Laufzeitprofiling von SystemC-Modellen zur Abschätzung der Performanz und des Leistungsverbrauchs auf Systemebene, Diplomarbeit, Markus Schwarz
- Evaluierung von Systems-on-Chip für den anwendungsrobusten Entwurf, Studienarbeit, Lu Wang
- Simulationsmodellgenerierung von verteilten eingebetteten Systemen, Studienarbeit, Yang Fan
- Entwicklung eines Frameworks zur regelbasierten Codetransformation von SystemC-Modellen, Studienarbeit, Jordan Dukadinov
- Controllersynthese zur konfliktfreien Zuteilung von Kommunikationsressourcen, Studienarbeit, Jun Xu
- Kommunikationsanalyse und Software-Scheduling, Diplomarbeit, Michael Pressler
- Entwicklung eines Generators zur Ermittlung von On-Chip-Temperaturen mit SystemC-AMS, Studienarbeit, Hang Su
- Synthese temporaler Analysemodelle aus UML2 Datenflussbeschreibungen, Studienarbeit, Amine Benchaalal
- Weiterentwicklung eines SystemC Plug-in für Eclipse, Wissenschaftliche Hilfskraft, Beyhan Veliev
Links zu Werkzeugen:
- SCE - SystemC Environment for Eclipse
- SysXplorer - Architekturexploration von verteilten eingebetteten Systemen und Systems-On-Chip
|
