Bookmark
Course paper / final thesis

Computing Recovery Strategies on Modularized Fault Trees

Starting date

immediate

Duration of contract

3 to 6 months

Type of employment

Full-time

Your mission:

The mission of the institute "Simulation and Software Technology" is to break new ground in software development and to support our engineers with smart and innovative solutions in their daily work. One of these solutions is called “Virtual Satellite”. The "Virtual Satellite" supports our engineers: it helps new spacecraft and missions to become reality - beginning from the very first idea through to design and construction until they are operative.
We are a dynamic, international and young team consisting of computer scientists, engineers, mathematicians and others. Every day we accept the challenge of pushing the digital revolution a step further within space business. This is where we commit our research, we are opening new paths for us and our colleagues in software and spacecraft development.
Up to today even well designed systems are not free of errors, but a spacecraft needs to deal with these unknown faults to some extent. Therefore your research and mission will focus on the methodology of Fault Tree Analysis (FTA). As part of this methodology your work will improve the efficiency in synthesizing recovery strategies from complex fault trees. The goal is to discover recurring patterns and use them for efficient transformations. This will ease the overall calculation of fault trees and help to improve our spacecraft design.

As part of your master or bachelor thesis your tasks and responsibilities are:

  • Investigate the state of the art of modularization techniques for fault trees
  • Conceive a concept for computing recovery strategies directly from sub trees
  • Provide a proof of concept of your results within our Virtual Satellite framework

If you enjoy developing software and want to become a part of our team, we are looking forward to receiving your application. We are interested in highly motivated students who deliver high quality work. We offer you the possibility to bring in your own ideas and research topics.

Your qualifications:

  • You are currently studying in bachelor or master course in computer science or mathematics
  • You have a solid knowledge of formal methods
  • You are an expert in software development with Java and Eclipse

Your benefits:

Look forward to a fulfilling job with an employer who appreciates your commitment and supports your personal and professional development. Our unique infrastructure offers you a working environment in which you have unparalled scope to develop your creative ideas and accomplish your professional objectives. Reconciling family and working life as well as equal opportunities for women and men are an integral part of our HR policy. We therefore strongly encourage applications from women. Disabled applicants with equivalent qualifications will be given preferential treatment.

Technical contact

Sascha Müller
Simulation and Software Technology

Phone: +49 531 295-2985

Send message

Vacancy 12171

HR department Braunschweig

Send message

DLR site Braunschweig

To location

DLR Simulations and Software Technology

To institute