Praktikum/Masterarbeit (w/m/d): Automatisierung der Qualitätskontrolle von Flugsoftware durch KI

Das Institut für Raumfahrtsysteme in Bremen analysiert und bewertet komplexe Systeme der Raumfahrt hinsichtlich technischer, wirtschaftlicher und gesellschaftlicher Relevanz. Wir entwickeln raumfahrtgestützte Anwendungen für den wissenschaftlichen, kommerziellen sowie sicherheitsrelevanten Bedarf und setzen diese in Kooperationen mit anderen DLR-Instituten, Forschungseinrichtungen und der Industrie um.

Das erwartet dich

Die Entwicklung flugtauglicher Software für GNC-Systeme erfordert nicht nur gute Teststrategien, sondern auch einen systematischen Software-Engineering-Prozess, der eine sorgfältige Weitergabe der Anforderungen, die Pflege der Dokumentation, Überprüfungen, die Aufrechterhaltung der Rückverfolgbarkeit sowie Kontrollen in all diesen Schritten umfasst. Im Rahmen der Entwicklung von Flugsoftware (FSW) in der GNC-Abteilung des DLR werden viele dieser Prüfungen und Maßnahmen derzeit von den Entwicklern selbst durchgeführt, da es für die meisten dieser Prüfungen keine eindeutigen, deterministischen Lösungen gibt, sondern Kenntnisse des Kontexts oder zumindest die Interpretation von Texten erforderlich sind. Dies erhöht die Komplexität und den Zeitaufwand des Prozesses, da viel Zeit für die Produktsicherung aufgewendet werden muss, anstatt Codes zu erstellen. Die Einbindung des Menschen in den Prozess macht diesen zudem anfällig für Fehler, da eine hohe Komplexität bewältigt werden muss.

Um diese Prüfungen zu automatisieren und damit die Entwicklungszeit zu verkürzen, die Codequalität zu sichern und Fehler zu reduzieren, hat die GNC-Abteilung in Bremen ein KI-gestütztes Framework entwickelt, das die Erstellung, Verifizierung und Durchführung von Codequalitätsprüfungen systematisiert. Dieses Framework muss nun sorgfältig erweitert und verifiziert werden, um schließlich bei der Entwicklung hochwertiger Luft- und Raumfahrtsoftware eingesetzt zu werden, die Teil vieler spannender Missionen sein wird!

Deine Aufgaben

• Verständnis der im FSW-Entwicklungsprozess durchgeführten Qualitätsprüfungen
• Erstellung von Eingabeaufforderungen, die die von der Abteilung geforderten Qualitätsprüfungen zuverlässig durchführen
• Erstellung von Verifizierungsdatensätzen für die verschiedenen Qualitätsprüfungen
• Integration dieser Datensätze in das KI-gestützte Framework und Überprüfung der Zuverlässigkeit
• Integration der Prüfungen in die FSW-Entwicklung

Das bringst du mit

• Laufendes Masterstudium sowie Bachelor-Abschluss in Informatik oder Technischer Informatik
• Erfahrung mit Python und unittest
• Erfahrung mit Ollama und Llamma.cpp oder vergleichbaren Tools
• Prompt-Engineering
• Konformität der persönlichen Anforderungen für den Umgang mit exportkontrollierten Gütern und Informationen gemäß den deutschen, europäischen und amerikanischen Exportkontrollgesetzen

Wir freuen uns darauf, dich kennenzulernen!

Hans Krüger

Tel.: +49 421 24420 1126