Detalhes bibliográficos
| Ano de defesa: |
2008 |
| Autor(a) principal: |
PEREIRA, Leonardo Arcanjo da Fonseca |
| Orientador(a): |
KELNER, Judith |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal de Pernambuco
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://repositorio.ufpe.br/handle/123456789/2296
|
Resumo: |
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 |
