bachelor-/masterarbeit - FZI Forschungszentrum Informatik

BACHELOR-/MASTERARBEIT
Automatisierte Transformation von C++ nach ANSI-C zur
Analyse sicherheitskritischer Fahrerassistenzsysteme
Am FZI wurden verschiedene Fahrerassistenzsysteme, die als C++ Programme vorliegen, für
autonomes Fahren optimiert und auf ein eingebettetes System (Zynq Board) portiert. Die Identifikation
von Objekten im Straßenverkehr nimmt dabei eine zentrale Rolle ein und muss auf sicherheitskritische
Laufzeitfehler untersucht werden.
AUFGABEN
Im Rahmen dieser Arbeit sollen solche sicherheitskritische Laufzeitfehler in der
Objekterkennungssoftware untersucht werden. Derzeit liegen Teile der
Fahrerassistenzsoftware in C++ vor und können von statischen SoftwareAnalysewerkzeugen, die nur ANSI-C verarbeiten können, nicht auf Laufzeitfehler
untersucht werden.
Ziel dieser Arbeit liegt in der Entwicklung einer automatisierten C++
Quellcodetransformation, die einem Softwareentwickler einen Großteil seiner Arbeit beim
Portieren von C++ Anwendungen nach ANSI-C abnimmt.
Je nach Ausgestaltung der Arbeit als Master oder Bachelorarbeit können zusätzliche
Aspekte im Bereich der statischen Codeanalysen berücksichtig werden.
 Konzeption, Entwurf und Implementierung eines Code-Transformationstools auf
LLVM/Clang Basis.
 Automatische Generierung von Boilerplate-Code aus Templates.
 Beispielhafte Transformation einer C++ Fahrerassistenzanwendung nach ANSI-C.
WIR ERWARTEN
 fundierte Kenntnisse in C/C++
 Interesse an Fahrerassistenz und eingebetteten Systemen
 selbständiges Denken und Arbeiten
 gute bis sehr gute Deutsch- oder Englischkenntnisse
WIR BIETEN
 freundliche Arbeitsatmosphäre mit interdisziplinären Arbeitsumfeld aus Wissenschaft und Wirtschaft
 Kaffeemaschine
 je nach Interessenschwerpunkt angepasstes konkretes Thema
 viele Berührungspunkte zum HW-Design, bildverarbeitenden Algorithmen und System-On-Chip
Architekturen
ERFORDERLICHE UNTERLAGEN
 aktueller Notenauszug
WEITERE INFORMATIONEN
 Start: ab sofort
 Betreuender Professor: Prof. Dr. Wolfgang Rosenstiel, Universität Tübingen | andere Professoren am KIT je
nach Studienrichtung
 Betreuendes Institut am KIT: Je nach Studienrichtung (Informatik, Elektrotechnik)
 Betreuender Mitarbeiter am FZI: Anton Paule (Abteilung SiM, Bereich ISPE), [email protected]
FZI Forschungszentrum Informatik | Forschungsbereich
M.Sc. Anton Paule | [email protected] | Tel. +49 721 9654 - 422
Mehr Informationen unter www.fzi.de/karriere

Download Report