Banca de DEFESA: JOSE CLAUDIO VIEIRA E SILVA JUNIOR

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: JOSE CLAUDIO VIEIRA E SILVA JUNIOR
DATA: 17/08/2015
HORA: 10:00
LOCAL: Centro de Informática
TÍTULO: Verificação de Projetos de Sistemas Embarcados Através de Cossimulação Hardware/Software
PALAVRAS-CHAVES: Verificação funcional, Cossimulação, High Level Architecture, Ptolemy, Sistemas embarcados
PÁGINAS: 80
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO: Este trabalho propõe um ambiente para verificação de sistemas embarcados heterogêneos através da cossimulação distribuída. A verificação ocorre de maneira síncrona entre o software do sistema e plataforma de hardware usando a High Level Architecture (HLA) como um middleware entre o dispositivo de hardware e o modelo simulado. A novidade desta abordagem não é apenas fornecer suporte para simulações, mas também permitir a integração sincronizada com todos os dispositivos de hardware físico. Neste trabalho foi utilizado o Ptolemy como uma plataforma de simulação. A integração do HLA com Ptolemy e os modelos de hardware abre um vasto conjunto de aplicações, como o de teste de vários dispositivos ao mesmo tempo, executando os mesmos, ou diferentes aplicativos ou módulos, a execução de diferentes dispositivos embarcados para a melhoria do desempenho ou execução colaborativa. Além disso a abordagem de utilização do HLA, permite que sejam interligados ao ambiente, qualquer tipo de robô, assim como qualquer outro simulador diferente do Ptolemy. Estudo de casos são apresentado para provar o conceito, mostrando a integração bem sucedida entre o Ptolemy e o HLA e a verificação de sistemas utilizando Hardware-in-the-loop e Robot-in-the-loop.
MEMBROS DA BANCA:
Presidente - 2579537 - ALISSON VASCONCELOS DE BRITO
Interno - 2042972 - TIAGO PEREIRA DO NASCIMENTO
Interno - 1971457 - VIVEK NIGAM
Externo à Instituição - ELMAR UWE KURT MELCHER