| Código do Projeto | PJ5394 |
|---|---|
| Coordenador | Jefferson O. Andrade |
| Título | SERVANT-ES: Sistema Experimental de Veículo Aéreo Não Tripulado para Pesquisa |
| Palavras Chave | veículo aéreo não tripulado, VANT, sistemas de controle de voo, software aviônico, métodos formais, model checking, abstract interpretation |
| Grupo de Pesquisa | Nu(TeC)² - Núcleo de estudos em Teoria da Computação e Técnicas de Computação |
| Grupo de Pesquisa Externo | |
| Linha de Pesquisa | Métodos Formais em Engenharia de Software |
| Inicio | 01/02/2019 |
| Fim | 31/12/2020 |
| Área de Conhecimento | Ciência da Computação |
| Local de Execução | Serra |
| Tipo de Projeto | Externo |
| Natureza | Pesquisa Aplicada |
| Parceiro Demandante | |
| Nº Parecer CEP | |
| Nº Certificado CEUA |
Financiamentos
| Ano | Tipo | Origem | Destino | Categoria | Quantidade | Duração/Mês | Valor Unitário | Valor Total |
|---|---|---|---|---|---|---|---|---|
| 2019 | Externo | FAPES | - | 1 | - | R$ 26.900,00 | R$ 26.900,00 | |
| Valor Total | R$ 26.900,00 | |||||||
Equipe
| Tipo | Nome | Nível Escolar | Unidade | Início | Fim |
|---|---|---|---|---|---|
| Pesquisador | Karin Satie Komati Lattes | Doutorado | Serra | ? | ? |
| Pesquisador | Richard Junior Manuel Godinez Tello Lattes | Doutorado | Serra | ? | ? |
| Outro (Pesquisador) | SergioVale Aguiar Campos | Desconhecido | - | 04/06/2019 | ? |
Planos de Trabalho
| Código | Título | Área de Conhecimento | |
|---|---|---|---|
| Nenhum Plano de Trabalho Cadastrado | |||
Orientações
| Nenhuma Orientação Cadastrada |
