Skip navigation
Please use this identifier to cite or link to this item: https://repositorio.ufpe.br/handle/123456789/2296
Title: Modelagem e avaliação de mecanismos de composição para redes de ambiente
Authors: PEREIRA, Leonardo Arcanjo da Fonseca
Keywords: Avaliação de Desempenho;Redes de Ambiente;Redes de Petri
Issue Date: 31-Jan-2008
Publisher: Universidade Federal de Pernambuco
Citation: Arcanjo da Fonseca Pereira, Leonardo; Kelner, Judith. Modelagem e avaliação de mecanismos de composição para redes de ambiente. 2008. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2008.
Abstract: A evolução das tecnologias de rede sem fio e a crescente necessidade de integração e alta disponibilidade de serviços alavancou pesquisa nesta área de redes e uma das soluções propostas são as Redes de Ambiente. Redes de Ambiente visam prover sistemas de comunicação de alto desempenho que possibilitem amplo acesso aos novos serviços, a outros usuários e a conteúdo multimídia. Este é o principal objetivo do projeto de Redes de Ambiente (desenvolvido pelo WWI em parceria com várias empresas de telecomunicações, entre elas: Ericsson, Nokia, Elisa, France Telecom e Vodafone), além de prover sistemas sem fio viáveis que possibilitem a integração de pessoas e dispositivos. Neste escopo foi introduzido o conceito de composição de redes para compartilhamento de informações e recursos, de forma dinâmica, sob demanda e sem a necessidade (ou mínima) de interação de administradores de rede. As Redes de Petri representam uma especificação de sistemas através do uso da matemática e da exploração de recursos gráficos possibilitando diversos tipos de análise, como por exemplo, verificação das propriedades do sistema, análise de desempenho e corretude. O PBMAN (Policy-based Management for Ambient Networks) é um arcabouço que visa prover soluções de gerenciamento baseado em políticas para Redes de Ambiente. Este projeto teve como um dos seus objetivos o desenvolvimento de um protótipo que implementa os conceitos de composição de redes, compartilhamento de recursos e gerenciamento automático das redes baseado em políticas. Esta dissertação de mestrado teve como objetivo a modelagem do protótipo do PBMAN em redes de Petri para verificação da corretude do projeto e análise de desempenho. O desenvolvimento deste modelo foi importante para que fossem encontradas falhas de especificação de requisitos no protótipo PBMAN, além de possibilitar uma extrapolação do escopo do projeto. Essa modelagem permitiu a realização de testes rápidos sem a necessidade de modificar o protótipo em ambiente real, reduzindo significativamente custos e tempo de desenvolvimento
URI: https://repositorio.ufpe.br/handle/123456789/2296
Appears in Collections:Dissertações de Mestrado - Ciência da Computação

Files in This Item:
File Description SizeFormat 
arquivo2917_1.pdf4.43 MBAdobe PDFView/Open


This item is protected by original copyright



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