Titulo Estágio
Resilient Software for Low-Earth Orbit Satellites
Áreas de especialidade
Engenharia de Software
Local do Estágio
CISUC
Enquadramento
Satellites operating in the Low-Earth Orbit (LEO) provide essential services, such as GPS, communication and Internet connectivity. These satellites are extremely susceptible to cosmic rays, which cause errors in CPUs and memories, resulting in incorrect behaviour of their software applications. Given the criticality of these satellites and the essential services that they support, it is imperative to develop techniques that ensure the resiliency of software against these cosmic rays.
As part of the soon-to-begin project SATERA, the team at University of Coimbra has the mission of designing and evaluating various approaches to enhance the resiliency of the software in the LEO satellites that will be launched by INPE (Instituto Nacional de Pesquisas Espaciais).
Objetivo
The aim of this dissertation is to prepare and conduct fault injection campaigns on an architecture similar to those used in LEO satellites, and to implement fault tolerance techniques to improve their resiliency against cosmic rays. Fault injection consists in emulating faults (e.g., cosmic rays) in a running prototype of the satellite to understand its behaviour under their presence. Classical fault tolerance techniques will then be implemented into the architecture and their performance will be measured using additional fault injection campaigns.
By the end of the dissertation, it is expected that a scientific paper will be written describing the work and the results.
Plano de Trabalhos - Semestre 1
T1 (M1-M2): Perform a state-of-the-art analysis on the topics of dependability, soft errors, fault injection and fault tolerance
T2 (M2-M3): Get acquainted with existing fault injection tools and perform any required adaptation
T3 (M4): Prepare a first setup for the campaigns
T4 (M5): Write the intermediate report
Plano de Trabalhos - Semestre 2
T5 (M6): Adjust the experimental setup to be representative of a LEO satellite
T6 (M7-M8): Conduct preliminary fault injection campaigns
T7 (M7-M8): Implement fault tolerance mechanisms in the setup
T8 (M9): Conduct fault injection campaigns to evaluate the mechanisms
T9 (M9-M10): Write a scientific paper
T10 (M11): Write the final dissertation report
Condições
The dissertation will take place in the research centre CISUC (SSE group). The dissertation is inserted in the European project SATERA and will be supported by a scholarship (~990€/month) during the 2nd semester.
Observações
The dissertation will be co-supervised by Prof. Henrique Madeira.
Orientador
Frederico Cerveira
fmduarte@dei.uc.pt 📩