Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução
Autor(a) principal: | |
---|---|
Data de Publicação: | 2012 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFRN |
Texto Completo: | https://repositorio.ufrn.br/jspui/handle/123456789/18050 |
Resumo: | 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. |
id |
UFRN_1b71e479f0e7e58ff969d7fa8f06b12b |
---|---|
oai_identifier_str |
oai:https://repositorio.ufrn.br:123456789/18050 |
network_acronym_str |
UFRN |
network_name_str |
Repositório Institucional da UFRN |
repository_id_str |
|
spelling |
Medeiros Junior, Ivan Soares dehttp://lattes.cnpq.br/9738228110595318http://lattes.cnpq.br/1756952696097255Mota, Alexandre Cabralhttp://lattes.cnpq.br/2794026545404598Kreutz, Márcio Eduardohttp://lattes.cnpq.br/6374279398246756Oliveira, Marcel Vinicius Medeiros2014-12-17T15:48:01Z2012-12-272014-12-17T15:48:01Z2012-04-27MEDEIROS 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.https://repositorio.ufrn.br/jspui/handle/123456789/18050application/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em Sistemas e ComputaçãoUFRNBRCiência da ComputaçãoMétoso formaisCSPHandel-C, Ferramentas, Geração de códigoCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOGeração automática de hardware apartir de especificações formais: estendendo uma abordagem de traduçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisA 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.info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALIvanSMJ_DISSERT.pdfapplication/pdf2894212https://repositorio.ufrn.br/bitstream/123456789/18050/1/IvanSMJ_DISSERT.pdf3acb921ac87239ee36be60cb2e15b0e6MD51TEXTIvanSMJ_DISSERT.pdf.txtIvanSMJ_DISSERT.pdf.txtExtracted texttext/plain258675https://repositorio.ufrn.br/bitstream/123456789/18050/6/IvanSMJ_DISSERT.pdf.txtde22f3f3e7ff54600a82b320a3688dd2MD56THUMBNAILIvanSMJ_DISSERT.pdf.jpgIvanSMJ_DISSERT.pdf.jpgIM Thumbnailimage/jpeg2354https://repositorio.ufrn.br/bitstream/123456789/18050/7/IvanSMJ_DISSERT.pdf.jpg89ea43efaad013c69c71da5aa156d364MD57123456789/180502017-11-04 12:19:29.34oai:https://repositorio.ufrn.br:123456789/18050Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-04T15:19:29Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
dc.title.por.fl_str_mv |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
title |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
spellingShingle |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução Medeiros Junior, Ivan Soares de Métoso formais CSP Handel-C, Ferramentas, Geração de código CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
title_short |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
title_full |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
title_fullStr |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
title_full_unstemmed |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
title_sort |
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução |
author |
Medeiros Junior, Ivan Soares de |
author_facet |
Medeiros Junior, Ivan Soares de |
author_role |
author |
dc.contributor.authorID.por.fl_str_mv |
|
dc.contributor.authorLattes.por.fl_str_mv |
http://lattes.cnpq.br/9738228110595318 |
dc.contributor.advisorID.por.fl_str_mv |
|
dc.contributor.advisorLattes.por.fl_str_mv |
http://lattes.cnpq.br/1756952696097255 |
dc.contributor.referees1.pt_BR.fl_str_mv |
Mota, Alexandre Cabral |
dc.contributor.referees1ID.por.fl_str_mv |
|
dc.contributor.referees1Lattes.por.fl_str_mv |
http://lattes.cnpq.br/2794026545404598 |
dc.contributor.referees2.pt_BR.fl_str_mv |
Kreutz, Márcio Eduardo |
dc.contributor.referees2ID.por.fl_str_mv |
|
dc.contributor.referees2Lattes.por.fl_str_mv |
http://lattes.cnpq.br/6374279398246756 |
dc.contributor.author.fl_str_mv |
Medeiros Junior, Ivan Soares de |
dc.contributor.advisor1.fl_str_mv |
Oliveira, Marcel Vinicius Medeiros |
contributor_str_mv |
Oliveira, Marcel Vinicius Medeiros |
dc.subject.por.fl_str_mv |
Métoso formais CSP Handel-C, Ferramentas, Geração de código |
topic |
Métoso formais CSP Handel-C, Ferramentas, Geração de código CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
description |
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. |
publishDate |
2012 |
dc.date.available.fl_str_mv |
2012-12-27 2014-12-17T15:48:01Z |
dc.date.issued.fl_str_mv |
2012-04-27 |
dc.date.accessioned.fl_str_mv |
2014-12-17T15:48:01Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
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. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufrn.br/jspui/handle/123456789/18050 |
identifier_str_mv |
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. |
url |
https://repositorio.ufrn.br/jspui/handle/123456789/18050 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Sistemas e Computação |
dc.publisher.initials.fl_str_mv |
UFRN |
dc.publisher.country.fl_str_mv |
BR |
dc.publisher.department.fl_str_mv |
Ciência da Computação |
publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
instacron_str |
UFRN |
institution |
UFRN |
reponame_str |
Repositório Institucional da UFRN |
collection |
Repositório Institucional da UFRN |
bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/123456789/18050/1/IvanSMJ_DISSERT.pdf https://repositorio.ufrn.br/bitstream/123456789/18050/6/IvanSMJ_DISSERT.pdf.txt https://repositorio.ufrn.br/bitstream/123456789/18050/7/IvanSMJ_DISSERT.pdf.jpg |
bitstream.checksum.fl_str_mv |
3acb921ac87239ee36be60cb2e15b0e6 de22f3f3e7ff54600a82b320a3688dd2 89ea43efaad013c69c71da5aa156d364 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
repository.mail.fl_str_mv |
|
_version_ |
1802117741078904832 |