A complexidade cada vez maior dos sistemas aeroespaciais impactam diretamente no papel do software desenvolvido e sua interação com o homem e o ambiente. Isto é particularmente significativo para missões aeroespaciais críticas, onde frequentemente o software possui requisitos de tempo real rigorosos, segurança, alta disponibilidade e um processo disciplinado de desenvolvimento.Áreas estratégicas da disciplina de software como Engenharia de Requisitos, Técnicas de Modelagem, Arquitetura, Projeto, Linguagens de Programação,Verificação e Validação, Testes, Qualidade, Aquisição, Análise de Segurança & 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 aeroespacial focado principalmente nos objetivos do Programa Nacional de Atividades Espaciais.
