O Projeto CNPq/AEB/MCTI 559973/2010-1 visa à formação, à capacitação de recursos humanos e agregação de especialistas, que possam contribuir para a Verificação e Validação (V&V) de sistemas de software empregados no desenvolvimento e inovação tecnológica de veículos espaciais brasileiros, em particular nos lançadores de satélite.

As técnicas de dependabilidade como SFTA (Software Fault Tree Analysis) e SFMECA (Software Failure Modes, Effects and Criticality Analysis), e de V&V como Statechart-Assertions e Model-Checking foram aplicadas em um estudo de caso, baseado no projeto do software do Veículo Lançador de Satélites Brasileiro, o VLS-1.

O estudo de caso representa um foguete de quatro estágios que tem como missão colocar em órbitas baixas (com inclinação de 400 km de altitude aproximadamente) uma carga útil (satélite) com massa acima de 400 kg, numa faixa de inclinação de 0 a 100 graus, a ser lançado a partir do Centro de Lançamento de Alcântara, no Maranhão.