DLR - Jobs & Karriere - Modell-basierte Ansätze zur Unterstützung des Entwurfs und der Verifikation von Raumfahrzeugen

Doktorand Software Engineering (m/w): Modell-basierte Ansätze zur Unterstützung des Entwurfs und der Verifikation von Raumfahrzeugen

Analyse modell-basierter Designentwürfe von Raumfahrtsystemen
- 0,45 MB
Quelle: DLR.

Ihre Mission:

Bei der Einrichtung Simulations- und Softwaretechnik erforschen, entwickeln und erproben wir innovative Software-Engineering-Technologien und bauen im DLR Know-how für die Projekte von morgen auf. Darüber hinaus beraten wir andere DLR-Institute bei der Anwendung professioneller Software-Entwicklungstechniken.

Unsere Abteilung "Software für Raumfahrtsysteme und interaktive Visualisierung" entwickelt software-technische Lösungen für den Entwurf von Raumfahrtsystemen. Bei der Systemanalyse z. B. für Raumfahrtmissionen wird es zunehmend wichtiger, Systeme domänenübergreifend zu vereinheitlichen und formalisiert zu beschreiben. Somit können Schnittstellenprobleme vermieden werden. Darüber hinaus sind durchgängige Systemdesigns über die Entwicklungsphasen hinweg entscheidend, um Fehler und Informationsverlust durch Datentransformation zu vermeiden sowie schneller zu robusten und wiederverwendbaren Systemergebnissen zu kommen.

Gemeinsam mit der Europäischen Raumfahrtorganisation (ESA) erarbeiten wir seit längerem modellbasierte Entwurfsmethoden, die Raumfahrzeugsysteme beschreiben. Das Ziel ist, eine leichtere Systemmodellierung für die verschiedenen Domänenexperten zu erreichen und die Möglichkeiten und Grenzen der formalen Verifikation auf Modellebene aufzuzeigen.

In Ihrer Doktorarbeit bearbeiten Sie an unterschiedlichen Standorten und in komplexen interdisziplinären Umgebungen folgende Aspekte:

System- und Schnittstellenbeschreibung domänenübergreifend formalisieren und vereinheitlichen
ein durchgängiges Systemdesign über die Entwicklungsphasen umsetzen
automatische Verarbeitung natürlich-sprachlich formulierter Anforderungen und Verifikation des Systemmodells
Mapping von Designinformation zu echten (physikalischen) Systemen
moderne PLM-Werkzeuge (Product Lifecycle Management) unterstützen
Beschreibungsmethoden wie SysML, OWL (Web Ontology Language) oder FBM (Fact-Based Modelling) einbinden

Ihre Qualifikation:

Wird per js gefüllt...

Ihr Start:

Freuen Sie sich auf einen Arbeitgeber, der Ihr Engagement zu schätzen weiß und Ihre Entwicklung durch vielfältige Qualifizierungs- und Weiterbildungsmöglichkeiten fördert. Unser einzigartiges Arbeitsumfeld bietet Ihnen Gestaltungsfreiräume und eine unvergleichbare Infrastruktur, in der Sie Ihre Mission verwirklichen können. Schwerbehinderte Bewerberinnen bevorzugen wir bei fachlicher Eignung.