Please use this identifier to cite or link to this item:
https://repositorio.ufrn.br/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 |
| Advisor: | Oliveira, Marcel Vinicius Medeiros |
| 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: | https://repositorio.ufrn.br/jspui/handle/123456789/18050 |
| Appears in Collections: | PPGSC - Mestrado em Sistemas e Computação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| IvanSMJ_DISSERT.pdf | 2,83 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.