A crescente complexidade dos sistemas aeroespaciais atuais resultam numa responsabilidade cada vez maior para o software desenvolvido para estas aplicações. Isto é particularmente significativo para missões espaciais críticas, onde frequentemente o software possui requisitos de tempo real rigorosos a serem atendidos, o que exige alta confiabilidade e um processo disciplinado de desenvolvimento, com um alto grau de especialização dos profissionais envolvidos.

Disciplinas estratégicas da engenharia de software como Requisitos, Arquitetura, Linguagens de Programação, Verificação & Validação, Dependabilidade, entre outras são fomentadas no interesse de assimilar e aperfeiçoar o estado da arte para aplicações aeroespaciais.

Dentro deste contexto, este Grupo de Pesquisa procura garantir o sucesso e a qualidade do produto de software para as missões de veículos espaciais do Programa Nacional de Atividades Espaciais.