Thesis: Umschreiben von Static Fault Trees

Die Mission der Einrichtung Simulations- und Softwaretechnik ist es, neuartige Wege in der Softwareentwicklung zu beschreiten, um unsere Ingenieure mit innovativen und neuen Softwarelösungen in ihrem Alltag zu unterstützen. Eine dieser Softwarelösungen heißt „Virtueller Satellit“. Diese unterstützt unsere Ingenieure dabei, neue Systeme und Missionen von der ersten Idee über die Planung bis hin zum Bau und Betrieb Wirklichkeit werden zu lassen. Wir sind ein buntes, internationales Team jeden Alters und bestehen unter anderem aus Informatikern, Ingenieuren und Mathematikern.

Jeden Tag stellen wir uns den Herausforderungen, die digitale Revolution im Raumfahrtbereich voranzutreiben. Daran forschen wir gemeinsam und eröffnen uns und unseren Kollegen völlig neue Wege in der Software- und Raumfahrzeugentwicklung. Heute entworfene Systeme sind nicht ohne Fehler: Raumfahrzeuge müssen aber in der Lage sein, trotz potenzieller Fehler weiterhin zu operieren.

Daher wird sich Ihre Forschung und Mission auf die Methode der Fault Tree Analyse (FTA) konzentrieren. Ihre Arbeit wird dazu beitragen, komplexe Fault Trees effizienter zu analysieren. Das Ziel besteht in der Suche nach wiederkehrenden Mustern, um diese für effiziente Transformationen zu verwenden. Damit kann die Evaluierung von Fault Trees beschleunigt und somit auch der Prozess des Raumfahrtentwurfs verbessert werden.

Ihre Aufgaben im Rahmen Ihrer Bachelor- oder Masterarbeit umfassen:

Untersuchung von modernen Methoden zur Evaluierung von Static Fault Trees
Entwicklung eines Konzeptes um Static Sub Trees zu erkennen und zu kategorisieren
Entwicklung eines Konzeptes um die gefundenen Sub Trees effizient zu transformieren
Evaluierung deiner Ansätze im Rahmen unserer Software Virtual Satellite
Wenn Sie Spaß an der Softwareentwicklung haben und Teil unseres Teams werden wollen, dann freuen wir uns auf Ihre Bewerbung. Wir wünschen uns hochmotivierte Student/-innen, deren eigener Anspruch die Entwicklung qualitativ hochwertiger Software ist. Wir bieten Ihnen die Möglichkeit, Ihre eigenen Ideen mit einfließen zu lassen.

Weitere Informationen

Unternehmen

Helmholtz Gemeinschaft

Bereich/Abteilung

DLR - Deutsches Zentrum für Luft- und Raumfahrt

Abschlussart

Bachelorarbeit / Masterarbeit

Ansprechpartner/in

http://www.dlr.de/dlr/jobs/desktopdefault.aspx/tabid-10596/1003_read-20901/

Branche

Informationstechnologie und -dienste

Anforderungen

Sie studieren gerade und machen einen Bachelor oder Master in Informatik
Sie haben ein gutes Verständnis von Formalen Methoden
Sie sind eine Experte in der Software Entwicklung mit Java und Eclipse

Zusatzinformationen

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. Wir bemühen uns, den Anteil an Mitarbeiterinnen zu erhöhen und freuen uns daher besonders über Bewerbungen von Frauen. Schwerbehinderte Bewerberinnen bevorzugen wir bei fachlicher Eignung.

Sonstiges

Beginn: 1. März, Dauer: 3 bis 6 Monate entsprechend der Prüfungsordnung, Beschäftigungsgrad: Vollzeit

Leistungen

Sonstiges

› Beginn: 1. März, Dauer: 3 bis 6 Monate entsprechend der Prüfungsordnung, Beschäftigungsgrad: Vollzeit