Projeto acadêmico
Desenvolvimento Formal de Software Aviônico para VANTs
Projeto guarda-chuva de pesquisa sobre especificação e desenvolvimento de software aviônico para VANTs com métodos formais.
Desenvolvimento formal de software aviônico para VANTs
Registrado no Lattes como concluído em 2018–2019, este projeto guarda-chuva investigou o desenvolvimento de uma plataforma de hardware e software de custo reduzido para pesquisa com veículos aéreos não tripulados (VANTs). A proposta incluía a utilização de métodos formais na especificação e análise de componentes de software aviônico.
A verificação formal pode fornecer evidências rigorosas sobre propriedades especificadas, desde que respeitados os modelos, as abstrações e os pressupostos adotados. A descrição curricular não permite afirmar que todos os componentes físicos ou de software tenham sido verificados, nem que tenha sido obtida certificação aeronáutica.
Projeto relacionado: SERVANT-ES (2019–2021), identificado como parte desta linha de pesquisa. Os dois projetos são mantidos como registros próprios, sem confundir seus períodos no Lattes.
Pesquisadores destacados: Jefferson Oliveira Andrade (responsável no Lattes) e Karin Satie Komati.