(Master thesis) Evaluating robustness of space systems
In this role
The success of a space mission ultimately relies on a high degree of robustness of hardware and software systems. For software in particular, the systems should be intelligent enough to be able to react to unforeseen events and prevent them from happening.
Robustness remains not entirely understood, especially when it comes to space systems. Hence the interest in trying to evaluate it.
In the context of this internship, we aim at studying evaluation, test protocols and their appropriation to the software system of a rover in the purpose of defining a test framework for evaluation.
- Bibliography on embedded system robustness evaluation frameworks
- Selection of the most appropriate framework and techniques (including static and dynamic analysis)
- Application to the Rover
- Definition of the scope of the analysis and priorities
- Implementation of selected techniques, e.g. dynamic fault injection or static code analysis with CodeQL, a code query language that is used notably by NASA’s curiosity rover team to perform their code reviews
- Evaluation of the robustness on the scope
What we offer
- A dynamic work and collaborative environment with a highly motivated multi-cultural and multiples international sites team
- Personal development through training and coaching
- A flat hierarchy and a culture of collaboration across all disciplines
- The chance to make a difference in peoples’ life by building innovative solutions
- High innovation and research backed up by collaboration with universities like EPFL
- Various internal coding events (Hackathon, Brownbags), see our technical blog
- Monthly After-Works organized per locations
- Good life balance (41 working hours per week and possibility to work 2 days per week from home)
About your profile
- Software development: Python, C++, C
- Interest for space mission definition and analysis (requirements gathering, risk analysis, systems engineering and modelling, etc)