Banca de DEFESA: DANIEL CARDOSO DE MORAIS

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: DANIEL CARDOSO DE MORAIS
DATA: 19/02/2018
HORA: 10:00
LOCAL: LaSER (Centro de Informática)
TÍTULO: Um ambiente de verificação funcional distribuído para o desenvolvimento de sistemas embarcados
PALAVRAS-CHAVES: Verificação Funcional, Arquitetura Heterogêneas, Sistemas Distribuídos, Arquitetura de Alto Nível
PÁGINAS: 73
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO: A sincronizacao de componentes distribuidos e heterogeneos em um ambiente de verificacao funcional pode nao ser uma tarefa simples. Alem disso, a verificacao de implementacoes paralelas acrescenta ainda mais complexidade devido a grande quantidade de dados a serem verificados. Este trabalho tem como objetivo apresentar um ambiente de verificacao distribuida que permita a integracao e verificacao de componentes distribuidos e heterogeneos. Para isso, foi utilizado um framework de intercomunicacao, com base no padrao de Arquitetura de Alto Nivel (IEEE 1516). Assim, este trabalho tambem demonstra como a arquitetura proposta abstrai detalhes de comunicacao e sincronizacao para tornar o processo de verificacao funcional em componentes distribuidos o mais direto possivel. Como demonstracao da solucao desenvolvida, um experimento e apresentados para a verificacao funcional do algoritmo integral da imagem em um Hardware in the Loop, alem da verificacao simultanea de sua versao em uma CPU.
MEMBROS DA BANCA:
Presidente - 2579537 - ALISSON VASCONCELOS DE BRITO
Interno - 2042972 - TIAGO PEREIRA DO NASCIMENTO
Externo à Instituição - ANTONIO MARCUS NOGUEIRA LIMA