Made available in DSpace on 2014-06-12T15:56:35Z (GMT). No. of bitstreams: 2 arquivo2956_1.pdf: 7919022 bytes, checksum: a5fda4a02347a233b609658badb7ab4c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / 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