Banca de DEFESA: LUCIANO ALEXANDRE DE FARIAS SILVA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : LUCIANO ALEXANDRE DE FARIAS SILVA
DATA : 26/07/2022
HORA: 15:00
LOCAL: meet.google.com/kxb-izff-iaz
TÍTULO:

GERAÇÃO AUTOMÁTICA DE HARDWARE CONCORRENTE VERIFICADO

PALAVRAS-CHAVES:

Métodos Formais. CSP. VHDL. Geração de Código.

PÁGINAS: 100
RESUMO:

A complexidade de desenvolvimento e análise é inerente a sistemas de modo geral, principalmente a sistemas concorrentes. Quando trabalhamos com sistemas críticos isso se torna bem mais evidente, pois uma inconsistência geralmente está associado a um alto custo. Assim, o quanto antes conseguimos identificar uma inconsistência no projeto de um sistema e removê-la, menor será seu custo. Por este motivo, é comum a utilização das mais variadas estratégias para diminuir a dificuldade e os problemas enfrentados neste processo. Uma dessas estratégias é a utilização de métodos formais, que podem utilizar álgebra de processos para especificação e análise de sistemas concorrentes, melhorando a compreensão do projeto e  possibilitando a identificação de possíveis inconsistências ainda nas etapas iniciais do projeto,  garantindo a precisão e correção do sistema especificado. Este trabalho apresenta uma ferramenta para tradução automática dos principais operadores da álgebra de processo csp para a linguagem de descrição de hardware vhdl. csp é uma linguagem que nos permite realizar uma descrição formal de um sistema concorrente. vhdl é uma linguagem de descrição de hardware que pode ser compilado em uma placa de fpga. Nossa ferramenta para geração automática de harware é validada por um estudo de caso de um sistema inteligente para controle de elevadores. Apresentamos sua especificação formal em csp e em seguida sua tradução para um código vhdl, gerado pela nossa ferramenta, o qual sintetizamos em uma placa de fpga.

MEMBROS DA BANCA:
Presidente - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Interna - 1882699 - MONICA MAGALHAES PEREIRA
Externo à Instituição - JULIANO MANABU LYODA - UFPE