Código do Projeto	PJ4781
Coordenador	Jefferson O. Andrade
Título	Desenvolvimento Formal de Software Aviônico para VANTs
Palavras Chave	métodos formais, validação e verificação, softwares aviônicos, certificação, vant, model based engineering, mde
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
Inicio	01/08/2018
Fim	31/07/2019
Área de Conhecimento	Ciência da Computação
Local de Execução	Serra
Tipo de Projeto	Interno
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
Nenhum Financiamento Cadastrado

Equipe

Tipo	Nome	Nível Escolar	Unidade	Início	Fim
Pesquisador	Karin Satie Komati Lattes	Doutorado	Serra	?	?

Planos de Trabalho

Código	Título	Área de Conhecimento
PT7708	Construção do Tradutor Simulink ? Lustre	Ciência da Computação
PT7707	Construção do Tradutor PlusCalc ? Simulink	Ciência da Computação
PT7706	Desenvolvimento Formal de Sistema de Navegação para VANT	Ciência da Computação

Orientações

Nenhuma Orientação Cadastrada