UNIVERSIDADE FEDERAL DO CEAR UFC DEPARTAMENTO DE ENGENHARIA DE TELEINFORMTICA DETI PROG.

G. DE PS-GRADUAO EM ENGENHARIA DE TELEINFORMTICA PPGETI DISCIPLINA: Modelagem de Sistemas Hibridos (Redes de Petri) PROFESSOR: Giovanni Cordeiro Barroso ALUNO: Carlos Giovanni Nunes de Carvalho

Ttulo: Modelagem de um Protocolo de Roteamento para Redes de Sensores Sem Fio (RSSF)

1. Descrio do Problema Nas redes de sensores sem fio (RSSF), os sensores so equipados com um transmissor de rdio e um conjunto de transdutores, atravs dos quais eles coletam informaes sobre o ambiente ao seu redor. Ao implantarmos em grandes quantidades, estes sensores podem automaticamente organizar-se para formar uma rede multhop ad hoc para que cada N se comunique com os demais [1]. Esta tecnologia abrange diferentes reas, incluindo medicina, agricultura, meio ambiente, militar, monitoramento de inventrio, deteco de intruso, trilhas, avaria de mquinas, brinquedos e muitas outras. Atualmente os padres mais utilizados neste tipo de tecnologia so o ZigBee, para as camadas mais altas da arquitetura (aplicao e roteamento) e o IEEE 802.15.4, para as camadas mais baixas (fsica e enlace). Na Figura 1, temos detalhes da arquitetura utilizada nas redes RSSF.

Figura 1. Arquitetura RSSF mais utilizada [1]

O ZigBee [1] tem trs tipos de dispositivos. Um disposito final ZigBee pode ser limitado funcionalmente, ou seja, Reduced Function Devices (RFDs) ou um dispositivo
1

com todas as funcionalidades, ou seja, Full Function Devices (FFDs). Um roteador ZigBee um FFD com capacidades de roteamento. O coordenador ZigBee (nico na rede) um gerenciador FFD de toda a rede.

Figura 2. Exemplos de topologia de rede [1]

Alm da topologia estrela (que naturalmente mapeia a topologia correspondente ao IEEE 802.15.4), a camada de rede do ZigBee tambm suporta topologias mais complexas como a rvore e a mesh. Na Figura 2, temos os exemplos de topologias de redes possveis para as RSSF. Entre as funcionaldades providas pela camada de rede esto roteamento multihop, descoberta e manuteno de rotas, segurana e join na na rede. Alguns trabalhos [2][3][4][5][6] proposeram a adaptao de protocolos de roteamento para suportar as funcionalidades das RSSF. 2. Objetivo do Projeto A topologia de rede estrela reflete o cenrio onde todos os Ns ficam estacionrios, quase sem movimentao ao redor de um N central coordenador. Atualmente h uma necessidade de mobildiade destes Ns, alm da possibilidade de comunicao peer-topeer, sem interao direta do N coordenador, formando uma rede no hierarquica, pois com o ganho de capacidade e processamento nos Ns, isto permite as aplicaes obterem mais funcionalidades e exigirem mais da topologia empregada. A proposta idealizar um protocolo de roteamento hbrido para as redes ad hoc, atravs da modelagem em Redes de Petri (RdP) [7]. Isto possvel atravs da implementao de um protocolo de roteamento interno uma zona da rede com estratgia reativa (as rotas so descobertas por demanda) e um outro protocolo de roteamento externo zona com estratgia pr-ativa (as tabelas de rotas so divulgadas de tempos em tempos). A cada zona de roteamento interna, formada por um grupo menor de Ns, chamamos de cluster. 3. Metodologia de Trabalho A abordagem do projeto ser top-down, ou seja, o protocolo idealizado deve ser
2

modelado num processo generalista de encaminhamento de pacotes e refinado aos detalhes do algoritmo de roteamento, desde a formao dos pacotes na camada de aplicao at a transmisso dos dados correspondentes na camada fsica. A modelagem aplicada para analisar o protocolo idealizado so as RdP e o software que permitir agilizar esta anlise o Coloured Petri Nets (CPNTools) [8]. A RdP uma ferramenta de modelagem matemtica e grfica para descrever e estudar as informaes de processamento de sistemas, caracterizado como sendo concorrentes, assncronos, distribudos, paralelos, no determinsticos e/ou estocsticos. O CPN Tools uma ferramenta para editar, simular e analisar RdP coloridas, sendo fundamental para a idealizao de um protocolo de roteamento funcional e seguro. 4. Simulao Para a simulao no CPN Tools foi idealizado um protocolo de roteamento hbrido, com caractersticas reativa dentro de uma zona, chamada cluster e entre os clusters foi adotado um esquema pr-ativo. As declaraes criadas para a simulao esto dispostas na Tabela 1.
Tabela 1. Declaraes utilizadas na simulao do CPN Tools Ordem Declarao 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 colset NUMSEQ = int with 1..100; colset TIPO = with BCAST | RREP | RREQ | DADOS; colset DESTINO = int with 1..50; var ns: NUMSEQ; var tipo: TIPO; var dst: DESTINO; colset PACOTE = product NUMSEQ * TIPO * DESTINO; colset Aleatorio0a1 = int with 0..1; colset Aleatorio0a10 = int with 0..10; var min,max: Aleatorio0a10; fun gateway(min,max) = (min<max); fun prefixo(min,max) = (min<max); fun cluster(min,max) = (min<max); fun rota(min,max) = (min<max); fun rotulo(min,max) = (min<max); fun filho(min,max) = (min<max); fun ativo(min,max) = (min<max); fun melhor(min,max) = (min<max);

Na primeira linha temos o nmero de sequncia do pacote que trafegar na rede, atribuindo o valor mximo de 100 pacotes no teste realizado. Lembrando que numa rede
3

real, este nmero cresce substancialmente. Limitamos para fins de simulao. Na segunda linha temos o tipo do pacote, se BCAST (broadcast difuso), RREP (resposta a uma solicitao de rotas), RREQ (solicitao de rota) e DADOS (dados que trafegaro na rede). Lembrando que as informaes resumem os tipos de pacotes em uma rede real, sendo somente importante para este teste. Na terceira linha temos o endereo de destino dos Ns participantes da rede, sendo limitado a 50 Ns. Em outra fase da implementao ser necessrio atribuir outras informaes, como endereo de origem, rtulo do cluster, melhor custo de uma rota, etc. Da quarta at a sexta linha, so variveis que sero utilizadas para transportar as informaes do pacote, conforme as linhas anteriores. Na stima linha, foi definido o PACOTE, como sendo o tipo dos lugares por onde as informaes do pacote iro trafegar. Na oitava e nona linhas temos uma sequncia de nmeros aleatrios que vai ajudar a escolher aleatoriamente o resultado das funes descritas abaixo. Isto foi feito para facilitar o procedimento de teste do algoritmo, sendo necessrio no futuro, a implementao das funes de forma a dar continuidade ao protocolo. Na dcima linha temos as variveis min e max que fazem parte da escolha aleatria do resultado nas funes abaixo. Elas servem para limitar o valor aleatrio, funcionando como um teste para saber se o valor atribudo em min menor que o atribudo em max, sendo verdadeira a expresso, as funes executam a primeira linha do if, e sendo falso o resultado da expresso, executado a segunda linha. Da dcima primeira at a dcima oitava, temos as funes que foram simplificadas para o teste do protocolo, sendo necessrio uma implementao real nas verses futuras do protocolo. Estas funes no implementam a situao de um algoritmo real, apenas resultam em um valor aleatrio para fins de teste, como se a funo estivesse implementada e resultasse naquele valor. Nas implementaes futuras, ser necessrio implementar as funcionalidades de cada funo, da forma como implementada no algoritmo de roteamento real. Quanto s pginas no CPN Tools, temos uma principal, chamada Roteamento, onde algumas fichas foram includas na marcao inicial para testes e o cenrio geral de como o protocolo funcionar pode ser visto na Figura 3, na Seo Anexos. Note que foi realizada a simulao com nove fichas, somente para efeitos de ilustrao. Em uma rede real, o nmero de fichas, equivalente ao nmero de pacotes, tem um nmero muito alto, dependendo do tempo de vida daquela rede. Quando o protocolo escolhe que o encaminhamento ser por outro N e que pertence ou no ao mesmo cluster deste N, ento as pginas Reativo (Figura 5) e Prativo (Figura 4) so acionadas, representando o esquema de protocolo de roteamento Reativo para os encaminhamentos dentro do mesmo cluster e o esquema de protocolo de roteamento Pr-ativo para os encaminhamentos entre clusters. As duas ltimas pginas so acionadas quando uma mensagem de solicitaco de
4

rotas (RREQ) ou resposta de solicitao de rotas (RREP) encontrada no N atual. Estas duas pginas podem ser encontradas nas Figuras 6 e 7 respectivamente. 5. Resultados Alcanados A idealizao e modelagem de um protocolo de roteamento uma tarefa muito complexa, envolvendo vrios conceitos, como teoria de redes de computadores, teoria de algoritmos de roteamento, redes de petri e da prpria ferramenta de simulao. O protocolo idealizado foi desenvolvido na ferramenta CPN Tools em sua forma geral, com detalhes apenas de encaminhamento dos pacotes, sendo necessrio implementar posteriormente as funes que foram simplificadas nas declaraes e gerar arquivos que possam funcionar como tabela de rotas e tabela de descoberta de rotas, provocando o funcionamento mais detalhista e real do protocolo de roteamento. Atravs do uso de Redes de Petri foi possvel mapear o esboo do protocolo e descobrir os pontos de falha, finalizando com um algoritmo mais coerente. No CPN Tools foram criadas pginas (abas) contendo as partes onde o protocolo de roteamento hbrido se desdobra em duas estratgias de roteamento, a interna com caractersticas reativa e a externa com caractersticas pr-ativa. Tambm detalhamos os procedimentos utilizados na estratgia reativa de descoberta de rotas, atravs das pginas RREQ e RREP, onde descrevem a solicitao de rotas e a resposta solicitao de rotas. Aps vrios testes de simulao no CPN Tools, chegamos a concluso de que o protcolo encontra-se estvel, sendo necessrio em trabalhos futuro, a implementao das funes conforme o que preciso ao protocolo funcionar em sua plenitude. 6. Referncias bibliogrficas [1] Paolo Baronti, Prashant Pillai, Vince W. C. Chook, Stefano Chessa, Alberto Gotta, Y. Fun Hu, Wireless sensor networks: A survey on the state of the art and the 802.15.4 and ZigBee standards, Computer Communications 30, 2007, 16551695, www.elsevier.com/locate/comcom. [2] J. Barbancho, F. Molina, D. Len, J. Ropero, A. Barbancho, OLIMPO, an ad-hoc wireless sensor network simulator for public utilities applications, in: E. ayircy, c. Baydere, P. Havinga (Eds.), Proceedings of the Second European Workshop on Wireless Sensor Networks, IEEE, IEEE Press, Istanbul, Turkey, 2005, pp. 419424. [3] C. Intanagonwiwat, R. Govindan, D. Estrin, Directed diffusion: a scalable and robust communication paradigm for sensor networks, in: Proceedings of ACM Mobicom 2000, Boston, MA, USA, 2000, pp. 5667. [4] R. Shah, J. Rabaey, Energy aware routing for low energy ad hoc sensor networks, in: Proceedings of IEEE WCNC, Orlando, FL, USA, 2002, pp. 1721. [5] Daniel F. Macedo, Luiz H.A. Correia, Aldri L. dos Santos, Antonio A.F. Loureiro,
5

Jos Marcos S. Nogueira, A rule-based adaptive routing protocol for continuous data dissemination in WSNs, Available online 19 January 2006, J. Parallel Distrib. Comput. 66 (2006) 542 555, Elsevier. [6] Ran Peng, Sun Mao-heng, Zou You-min, ZigBee Routing Selection Strategy Based on Data Services and Energy-balanced ZigBee Routing , Proceedings of the 2006 IEEE Asia-Pacific Conference on Services Computing (APSCC'06). [7] Tadao Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of The IEEE, Vol. 77, NO. 4, April 1989. [8] Computer Tool for Coloured http://wiki.daimi.au.dk/cpntools/cpntools.wiki Petri Nets, CPNTOOLS,