Os projetos aeroespaciais militares no Brasil precisam demonstrar o cumprimento dos requisitos relacionados à missão e à segurança durante a fase de certificação. Tal demonstração é realizada através de uma série de métodos de cumprimento de requisitos e.g análise, teste em solo, teste em voo, etc. A robustez do processo de certificação, fomenta a necessidade dos desenvolvedores de projeto na adoção de estratégias para incrementar a precisão e a confiança nos resultados dos testes a fim de economizar tempo e reduzir custos. Neste sentido, a Engenharia de Sistemas Baseada em Modelos, demonstrou sua utilidade e praticidade para validação de desempenho de sistemas críticos de projetos aeroespaciais. Além disso, foi possível verificar a utilidade do uso de metodologia baseada em modelos em tarefas de avaliação de falhas, segurança e processo de certificação.
