Please use this identifier to cite or link to this item: https://repositorio.ufrn.br/jspui/handle/123456789/18050
Title: Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução
Authors: Medeiros Junior, Ivan Soares de
Keywords: Métoso formais;CSP;Handel-C, Ferramentas, Geração de código
Issue Date: 27-Apr-2012
Publisher: Universidade Federal do Rio Grande do Norte
Citation: MEDEIROS JUNIOR, Ivan Soares de. Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução. 2012. 158 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2012.
Portuguese Abstract: A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.
URI: http://repositorio.ufrn.br:8080/jspui/handle/123456789/18050
Appears in Collections:PPGSC - Mestrado em Sistemas e Computação

Files in This Item:
File Description SizeFormat 
IvanSMJ_DISSERT.pdf2,83 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.