Made available in DSpace on 2014-06-12T15:56:20Z (GMT). No. of bitstreams: 2
arquivo2917_1.pdf: 4541033 bytes, checksum: 4094fbc961a178b9ca5185e2bcc3d37d (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2008 / 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
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2296 |
| Date | 31 January 2008 |
| Creators | PEREIRA, Leonardo Arcanjo da Fonseca |
| Contributors | KELNER, Judith |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0024 seconds