Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento

Detalhes bibliográficos
Autor(a) principal: de Andrade Almeida Gomes, Millena
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPE
Texto Completo: https://repositorio.ufpe.br/handle/123456789/2313
Resumo: Este trabalho de mestrado apresenta o profile UML-ESL baseado em UML 2.0 para a especificação de sistemas hardware/software em nível de serviços e um fluxo de mapeamento de comunicação baseado neste profile para System-on-Chips com arquitetura baseada em barramento. O profile UML proposto formaliza a modelagem de comunicação e suporta o particionamento do sistema em módulos de hardware e software em um nível de abstração superior as atuais abordagens baseadas em UML 2.0. Este profile apresenta duas vantagens principais: A primeira é a redução do esforço da modelagem do sistema pela abstração de detalhes de comunicação. O projetista é capaz de definir as características funcionais de comunicação abstraindo detalhes da infraestrutura tais como portas, interfaces, protocolos, canais e barramento. Além da redução do esforço de modelagem, são eliminados erros extremamente difíceis de serem detectados durante o projeto. A segunda vantagem é que o modelo formal permite a implementação de um fluxo de mapeamento de comunicação para uma arquitetura SoC. O fluxo proposto parte da descrição do sistema hardware/software em UML-ESL, extrai as características arquiteturais (módulos, particionamento e interligação entre módulos) e de comunicação (paralelo/seqüencial, síncrono/assíncrono) do sistema e gera a infraestrutura de comunicação composta de drivers de dispositivo, controladores de transações do dispositivo e interfaces para um modelo de simulação de um SoC implementado como uma plataforma virtual do sistema baseada em barramento configurada para as necessidades do projeto. O fluxo foi validado com a modelagem e mapeamento de comunicação de um sistema de segmentação e de rastreamento de imagens
id UFPE_397582c2de1d3a31949b6b07486fe4a9
oai_identifier_str oai:repositorio.ufpe.br:123456789/2313
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling de Andrade Almeida Gomes, MillenaCoêlho de Araújo, Cristiano 2014-06-12T15:56:35Z2014-06-12T15:56:35Z2010-01-31de Andrade Almeida Gomes, Millena; Coêlho de Araújo, Cristiano. Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento. 2010. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2010.https://repositorio.ufpe.br/handle/123456789/2313Este trabalho de mestrado apresenta o profile UML-ESL baseado em UML 2.0 para a especificação de sistemas hardware/software em nível de serviços e um fluxo de mapeamento de comunicação baseado neste profile para System-on-Chips com arquitetura baseada em barramento. O profile UML proposto formaliza a modelagem de comunicação e suporta o particionamento do sistema em módulos de hardware e software em um nível de abstração superior as atuais abordagens baseadas em UML 2.0. Este profile apresenta duas vantagens principais: A primeira é a redução do esforço da modelagem do sistema pela abstração de detalhes de comunicação. O projetista é capaz de definir as características funcionais de comunicação abstraindo detalhes da infraestrutura tais como portas, interfaces, protocolos, canais e barramento. Além da redução do esforço de modelagem, são eliminados erros extremamente difíceis de serem detectados durante o projeto. A segunda vantagem é que o modelo formal permite a implementação de um fluxo de mapeamento de comunicação para uma arquitetura SoC. O fluxo proposto parte da descrição do sistema hardware/software em UML-ESL, extrai as características arquiteturais (módulos, particionamento e interligação entre módulos) e de comunicação (paralelo/seqüencial, síncrono/assíncrono) do sistema e gera a infraestrutura de comunicação composta de drivers de dispositivo, controladores de transações do dispositivo e interfaces para um modelo de simulação de um SoC implementado como uma plataforma virtual do sistema baseada em barramento configurada para as necessidades do projeto. O fluxo foi validado com a modelagem e mapeamento de comunicação de um sistema de segmentação e de rastreamento de imagensporUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessMapeamento de ComunicaçãoESLUMLComunicação em Nível de ServiçoSíntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramentoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILarquivo2956_1.pdf.jpgarquivo2956_1.pdf.jpgGenerated Thumbnailimage/jpeg1288https://repositorio.ufpe.br/bitstream/123456789/2313/4/arquivo2956_1.pdf.jpg09a061ba0bb6eabd766e82d17bb3a810MD54ORIGINALarquivo2956_1.pdfapplication/pdf7919022https://repositorio.ufpe.br/bitstream/123456789/2313/1/arquivo2956_1.pdfa5fda4a02347a233b609658badb7ab4cMD51LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/2313/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTarquivo2956_1.pdf.txtarquivo2956_1.pdf.txtExtracted texttext/plain163748https://repositorio.ufpe.br/bitstream/123456789/2313/3/arquivo2956_1.pdf.txt8090cc02499440500c27566e719a4ffcMD53123456789/23132019-10-25 12:43:48.495oai:repositorio.ufpe.br:123456789/2313Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T15:43:48Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
title Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
spellingShingle Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
de Andrade Almeida Gomes, Millena
Mapeamento de Comunicação
ESL
UML
Comunicação em Nível de Serviço
title_short Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
title_full Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
title_fullStr Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
title_full_unstemmed Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
title_sort Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento
author de Andrade Almeida Gomes, Millena
author_facet de Andrade Almeida Gomes, Millena
author_role author
dc.contributor.author.fl_str_mv de Andrade Almeida Gomes, Millena
dc.contributor.advisor1.fl_str_mv Coêlho de Araújo, Cristiano
contributor_str_mv Coêlho de Araújo, Cristiano
dc.subject.por.fl_str_mv Mapeamento de Comunicação
ESL
UML
Comunicação em Nível de Serviço
topic Mapeamento de Comunicação
ESL
UML
Comunicação em Nível de Serviço
description Este trabalho de mestrado apresenta o profile UML-ESL baseado em UML 2.0 para a especificação de sistemas hardware/software em nível de serviços e um fluxo de mapeamento de comunicação baseado neste profile para System-on-Chips com arquitetura baseada em barramento. O profile UML proposto formaliza a modelagem de comunicação e suporta o particionamento do sistema em módulos de hardware e software em um nível de abstração superior as atuais abordagens baseadas em UML 2.0. Este profile apresenta duas vantagens principais: A primeira é a redução do esforço da modelagem do sistema pela abstração de detalhes de comunicação. O projetista é capaz de definir as características funcionais de comunicação abstraindo detalhes da infraestrutura tais como portas, interfaces, protocolos, canais e barramento. Além da redução do esforço de modelagem, são eliminados erros extremamente difíceis de serem detectados durante o projeto. A segunda vantagem é que o modelo formal permite a implementação de um fluxo de mapeamento de comunicação para uma arquitetura SoC. O fluxo proposto parte da descrição do sistema hardware/software em UML-ESL, extrai as características arquiteturais (módulos, particionamento e interligação entre módulos) e de comunicação (paralelo/seqüencial, síncrono/assíncrono) do sistema e gera a infraestrutura de comunicação composta de drivers de dispositivo, controladores de transações do dispositivo e interfaces para um modelo de simulação de um SoC implementado como uma plataforma virtual do sistema baseada em barramento configurada para as necessidades do projeto. O fluxo foi validado com a modelagem e mapeamento de comunicação de um sistema de segmentação e de rastreamento de imagens
publishDate 2010
dc.date.issued.fl_str_mv 2010-01-31
dc.date.accessioned.fl_str_mv 2014-06-12T15:56:35Z
dc.date.available.fl_str_mv 2014-06-12T15:56:35Z
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 de Andrade Almeida Gomes, Millena; Coêlho de Araújo, Cristiano. Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento. 2010. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2010.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/2313
identifier_str_mv de Andrade Almeida Gomes, Millena; Coêlho de Araújo, Cristiano. Síntese de comunicação de sistemas modelados em nível de serviços para plataformas baseadas em barramento. 2010. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2010.
url https://repositorio.ufpe.br/handle/123456789/2313
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/2313/4/arquivo2956_1.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/2313/1/arquivo2956_1.pdf
https://repositorio.ufpe.br/bitstream/123456789/2313/2/license.txt
https://repositorio.ufpe.br/bitstream/123456789/2313/3/arquivo2956_1.pdf.txt
bitstream.checksum.fl_str_mv 09a061ba0bb6eabd766e82d17bb3a810
a5fda4a02347a233b609658badb7ab4c
8a4605be74aa9ea9d79846c1fba20a33
8090cc02499440500c27566e719a4ffc
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1802310839233937408

Registros relacionados