Projeto acadêmico
SERVANT-ES
Investigação de uma plataforma experimental aberta para software de controle de voo de VANTs com apoio de métodos formais.
SERVANT-ES: plataforma experimental para pesquisa em VANTs
O projeto SERVANT-ES (2019–2021) investigou o desenvolvimento de uma plataforma aberta de software para pesquisa com veículos aéreos não tripulados (VANTs). Um de seus objetivos era aplicar técnicas de especificação, verificação e validação formal a componentes de software aviônico, em complemento a testes e simulações.
Métodos formais permitem estabelecer propriedades sobre modelos e implementações dentro dos pressupostos, abstrações e limites das técnicas empregadas. A análise exaustiva, quando aplicável, diz respeito ao espaço de estados representado pelo modelo, e não constitui garantia irrestrita sobre todos os comportamentos de um sistema físico. A investigação dialogava com recomendações do domínio aeronáutico, como DO-178C e DO-333, sem implicar certificação obtida.
O SERVANT-ES integrou a linha de investigação do projeto guarda-chuva Desenvolvimento Formal de Software Aviônico para VANTs, registrado no Lattes em 2018–2019. Os períodos correspondem a registros curriculares distintos, relacionados pela temática e pela organização da pesquisa.
A documentação histórica do SERVANT-ES registra apoio da FAPES.