XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

61

Comunicacao de Dados baseada no Receptor para Redes de Sensores Sem Fio

Max do Val Machado1 , Raquel A. F. Mini2, Antonio A. F. Loureiro1
1

DCC/UFMG

DCC/PUC Minas

{maxm,loureiro}@dcc.ufmg.br, raquelmini@pucminas.br

Abstract. This work proposes the Receiver-based Medium Access Control (RbMAC) protocol to be used in cross-layer designs for the receiver-based communication. These models are appropriated for Wireless Sensor Networks deal with energy constrains and dynamic topology. Simulation results reveal that using Rb-MAC, the evaluated receiver-based model increases the delivery ratio, reduces the number of transmissions and energy consumption when compared with a sender-based model. Moreover, Rb-MAC allows a dynamic duty cycle and maintains the delivery ratio for reduced duty cycle values. Resumo. Este trabalho apresenta o protocolo Receiver-based Medium Access Control (Rb-MAC) para ser utilizado em projetos integrados para a comunicacao baseada no receptor. Esses modelos s o apropriados para as Re a des de Sensores Sem Fio por lidarem com restricoes de energia e topologia din mica. Resultados de simulacao mostram que usando o Rb-MAC, o modelo a receptor avaliado aumenta a taxa de entrega, reduz o n mero de transmiss es e u o o consumo de energia quando comparado com um modelo baseado no emissor. Al m disso, o Rb-MAC permite um ciclo de trabalho din mico e mant m a taxa e a e de entrega para valores reduzidos de ciclo de trabalho.

1. Introducao
O principal desao para transformar as Redes de Sensores Sem Fio (RSSFs) [Akyildiz et al. 02] na tecnologia de sensoriamento do futuro e projetar solucoes eci entes em termos de energia. Outro desao crucial e a topologia din mica dessas redes a que geralmente e consequ ncia dos n s adormecerem para economizar energia. Nesse e o contexto, a comunicacao de dados vem recebendo atencao especial dos pesquisadores ` porque, normalmente, corresponde a tarefa com o maior custo de energia nas RSSFs e trata das mudancas topol gicas. As camadas de rede e de acesso ao meio (MAC) s o o a respons veis pela comunicacao em RSSFs. a A camada de rede e respons vel pela escolha sistem tica do pr ximo n durante a a o o ` o processo de roteamento, o que leva a denicao de rotas. Essa escolha, chamada de decis o de propagacao, e baseada no emissor ou no receptor. Na primeira, quando um n a o recebe um pacote n o destinado a ele, o n verica se ele foi o escolhido para continuar o a o roteamento. Se sim, o n escolhe um subconjunto de vizinhos para continuar o roteamento o e, depois, propaga o pacote. Na outra abordagem, quando um n recebe um pacote n o o a destinado a ele, o n decide localmente se deve ou n o propagar o pacote. o a A camada MAC e respons vel por entregar o pacote para o pr ximo n e, por a o o isso, ela gerencia o uso do canal para evitar/tratar colis es e controla o ciclo de trabalho o

Parcialmente nanciada pelo Projeto Universal do CNPq n mero 478175/2008-6. u

62

Anais

dos n s para tratar da comunicacao quando o pr ximo n estiver adormecido. O ciclo de o o o trabalho e a porcentagem de tempo em que um n permanece acordado durante um ciclo o geralmente dividido em ciclos de vida, onde cada de vida. O tempo de vida dos n s e o ciclo e composto por perodos de tempo em que o n permanece acordado e por perodos o em que ele dorme. O t rmino de um ciclo de vida implica no incio do pr ximo. Assim, e o quando o ciclo de trabalho de um n e, por exemplo, 10%, o n ca acordado durante 10% o o do tempo de cada ciclo de vida. A tarefa de controle do ciclo de trabalho e crucial em RSSFs, pois a melhor forma de economizar energia nessas redes e desativar os n s sempre o que possvel [Hill et al. 00]. Dada import ncia da energia em RSSFs, o principal desao a da camada MAC nessas redes e determinar o escalonamento de dormir/acordar dos n s o para que o roteamento n o seja prejudicado quando o pr ximo n estiver adormecido. a o o Uma caracterstica dos protocolos propostos para a camada MAC das RSSFs e que eles s o focados no roteamento baseado no emissor. Isso signica que quando o protocolo a MAC recebe um pacote a ser propagado, o pr ximo destino do pacote foi escolhido pela o ` camada de rede e cabe a MAC entregar o pacote quando o escolhido estiver acordado. A maioria dos protocolos MAC faz com que n s vizinhos compartilhem os seus respectivos o escalonamentos de dormir/acordar para que quando um n enviar um pacote, ele saiba o quando o vizinho escolhido estar acordado. A limitacao dessa t cnica e que o ambiente a e das RSSFs e normalmente din mico e os n s possuem restricoes de hardware que levam a o a desatualizacao dessas informacoes. Normalmente, o compartilhamento e atualizado periodicamente atrav s da troca de pacotes de controle (custo de energia). Al m disso, e e o custo-benefcio das informacoes compartilhadas e minimizado pelo fato das RSSFs normalmente possurem longos perodos de inatividade em que nenhum dado e roteado e as informacoes sobre vizinhos s o atualizadas. Alguns protocolos n o compartilham tais a a informacoes e para um n emissor descobrir quando o n escolhido estar acordado, ele o o a envia v rios pacotes de controle. A limitacao dessa t cnica e o custo de energia com o a e envio desses pacotes. Dadas as limitacoes das t cnicas existentes, novas solucoes para a e comunicacao quando o pr ximo n estiver adormecido devem ser investigadas. o o Os modelos de comunicacao baseados no receptor podem ser investigados como ` outra solucao para o desao proposto. O roteamento baseado no receptor e mais robusto as falhas no pr ximo n que o baseado no emissor, pois qualquer vizinho que recebe o pacote o o pode se escolher como o pr ximo n . No baseado no emissor, apenas o vizinho escolhido o o pode ser o pr ximo n . O fato da decis o de propagacao ser tomada pelo n receptor faz o o a o com que a informacao sobre vizinhos seja normalmente desnecess ria, o que elimina o a seu custo de atualizacao. Outro ponto relevante e que no roteamento baseado no receptor, o n mero de opcoes para o pr ximo n e maior que o do baseado no emissor e, por isso, u o o a estrat gia de retransmiss o para descobrir vizinhos acordados pode ser eciente em e a termos de energia. Al m disso, como o objetivo da camada MAC e entregar pacotes para e o pr ximo n , um protocolo MAC para a comunicacao baseada no receptor n o pode se o o a limitar a entregar pacotes para um vizinho qualquer e, sim, ele deve aguardar a decis o de a propagacao dos n s receptores para garantir que um vizinho acordado ser o pr ximo n . o a o o Este trabalho apresenta o Receiver-based Medium Access Control (Rb-MAC), um protocolo para projetos integrados de comunicacao baseada no receptor. Um projeto in tegrado consiste em uma camada ser capaz de violar a arquitetura da pilha de protocolos para acessar informacoes disponveis em outra camada a m de explorar vantagens e evi

XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

63

tar pontos fracos. O Rb-MAC elimina o compartilhamento de informacoes sobre vizinhos e aborda o desao proposto atrav s de um mecanismo de retransmiss o. Esse mecanismo e a baseado no escalonamento de dormir/acordar dos n s, no fato de qualquer vizinho pode e o ser o pr ximo n e na import ncia do n emissor conrmar que um vizinho decidiu ser o o a o o pr ximo n . Resultados de simulacao revelam que com o Rb-MAC, o modelo receptor o o avaliado aumenta a taxa de entrega (porcentagem de pacotes entregues aos n s destinos), o e reduz o n mero de transmiss es e o consumo de energia quando comparado com um u o modelo baseado no emissor. O Rb-MAC tamb m garante uma taxa de entrega elevada e at mesmo quando os n s s o congurados com valores reduzidos de ciclos de trabae o a lho. Contudo, a lat ncia e o n mero de colis es do modelo emissor avaliado s o menores e u o a que essas m tricas no modelo receptor avaliado. Para um cen rio especco em que uma e a mesma rota e utilizada mais vezes, o Rb-MAC possui uma t cnica de ciclo de trabalho e din mico que proporciona uma lat ncia inferior a do outro modelo. Este trabalho tamb m a e e efetua a vericacao formal de algumas propriedades do Rb-MAC. O restante deste trabalho e dividido da seguinte forma. A secao 2 mostra os traba lhos relacionados. A secao 3 apresenta o protocolo Rb-MAC. A secao 4 mostra os resul tados de simulacao. A secao 5 descreve as conclus es e as direcoes futuras deste trabalho. o

2. Trabalhos Relacionados
Esta secao mostra alguns protocolos de roteamento e MAC. Um exemplo de protocolo de roteamento baseado no receptor e o Trajectory and Energy-based Dissemination (TEDD) [Goussevskaia et al. 05] e um baseado no emissor e o Trajectory Based Forwarding (TBF) [Niculescu and Nath 03]. Ambos utilizam o conceito de roteamento em curva que consiste em inserir uma equacao de curva no pacote e fazer com que os n s localizados o ` pr ximos a curva propaguem o pacote. O TEDD e o TBF s o utilizados nos modelos de o a comunicacao avaliados neste trabalho. A maioria dos protocolos MAC para RSSFs tais como o Sensor MAC (S-MAC) [Ye et al. 04] e o Battery Aware MAC [Jayashree et al. 04] compartilha informacoes de vizinhos, ao contr rio do Rb-MAC. Como parte deste trabalho, o S-MAC e utilizado em a um modelo de comunicacao baseado no emissor. No S-MAC, os n s vizinhos efetuam o uma sincronizacao para que eles acordem e adormecam ao mesmo tempo. Para evitar co lis es, o S-MAC utiliza o mecanismo Request To Send/Clear To Send/Data/Acknowledge o ` (RTS/CTS/DATA/ACK) que e restrito a comunicacao em que o n emissor conhece o o pr ximo n roteamento baseado no emissor. O S-MAC pode ser usado na comunicacao o o baseada no receptor, contudo, nesse caso, ele evita colis es apenas escutando o meio. o Alguns protocolos n o compartilham informacoes de vizinho [Liao and Wang 08, a Rashwand et al. 09] e para um n emissor descobrir quando o n escolhido estar acoro o a dado, ele envia v rios pacotes de RTS. Quando o vizinho escolhido acordar e receber um a RTS, o esquema CTS/DATA/ACK tradicional e utilizado. Esses protocolos se diferenciam entre si pela forma como enviam o pacote de RTS e se diferenciam do Rb-MAC por serem focados na comunicacao baseada no emissor. Esses protocolos n o foram avaliados a neste trabalho, pois como mostrado por seus autores, normalmente (incluindo o cen rio a simulado neste trabalho), as t cnicas de compartilhamento consomem menos energia. e Em [Zorzi and Rao 03], tem-se um projeto integrado baseado no receptor em que o esquema de RTS/CTS considera a decis o de propagacao do n receptor para enviar pacoa o

64

Anais

tes de CTS. Nesse caso, o RTS e destinado a qualquer vizinho e o primeiro n que enviar o um CTS ser o pr ximo n . Apesar do n emissor conrmar que um vizinho tomou a a o o o o, o intervalo dos pacotes de RTS n o considera o escalonamento de decis o de propagaca a a dormir/acordar dos n s o que causa muitas transmiss es de RTS. Esse protocolo n o foi o o a avaliado neste trabalho devido ao seu custo de energia com transmiss es. o

3. O Protocolo Receiver-based Medium Access Control (Rb-MAC)

Esta secao apresenta o Rb-MAC, um protocolo para projetos integrados de comunicacao baseada do receptor. A secao 3.1 apresenta o funcionamento b sico do Rb-MAC, onde o a acesso ao meio e aleat rio e baseado na t cnica Carrier Sense Multiple Access (CSMA) o e p-persistente e os n s dormem/acordam de forma aleat ria. A secao 3.2 mostra o mecao o nismo de retransmiss o do Rb-MAC. A secao 3.3 mostra um projeto integrado em que a a camada de rede atualiza dinamicamente o ciclo de trabalho dos n s sensores. A secao 3.4 o efetua a vericacao formal de algumas propriedades do Rb-MAC. 3.1. Funcionamento B sico a O funcionamento b sico do Rb-MAC e descrito na m quina de estados nitos da gura 1, a a onde as transicoes s o eventos gerados por outras camadas ou pelo t rmino de temporiza a e dores do Rb-MAC. Quando um evento acontece e uma transicao e realizada, o Rb-MAC muda o seu estado corrente ou efetua uma acao. A mudanca de estado e as acoes s acon o ` s transicoes, contudo, existem transicoes sem um deles. Quando um n se tecem devido a o torna ativo, ele vai para o estado escutar e permite que a camada fsica escute o meio.

Figura 1. Funcionamento basico do Rb-MAC

A fase de recepcao do Rb-MAC comeca quando a camada fsica identica que um n vizinho vai comecar uma transmiss o. Nesse caso, a camada fsica gera uma o a requisicao de receber e o Rb-MAC vai para o estado receber, onde o n receber o pacote. o a O Rb-MAC permanece nesse estado at que ele receba uma requisicao de escutar que ser e a gerada pela camada fsica quando o meio estiver livre. Quando isso acontece, o Rb-MAC processa o pacote recebido e retorna ao estado escutar. No processamento do pacote, se ele foi recebido com sucesso, o Rb-MAC o envia para a camada de rede, caso contr rio, a uma colis o/falha aconteceu e o Rb-MAC descarta o pacote. a A fase de transmiss o do Rb-MAC e baseada na abordagem CSMA p-persistente a e comeca quando o protocolo est no estado escutar e a camada de rede possui um pacote a a ser enviado. Nesse caso, a camada de rede gera uma requisicao de aguardar para que

XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

65

Rb-MAC v para o estado aguardar, como ilustrado na gura 1. Quando tal transicao a acontece, o Rb-MAC realiza a acao de aguardar na qual ele permite que a camada fsica comece a transmitir o pacote com probabilidade p. Com probabilidade q = 1 p, ele inicializa o temporizador aguardar. Se camada fsica comecar a transmitir, ela gera uma requisicao de transmitir para que o Rb-MAC v para o estado transmitir. Quando a trans a miss o termina, a camada fsica gera uma requisicao de escutar para que o Rb-MAC a retorne ao estado escutar. Por outro lado, se o temporizador aguardar foi inicializado, o seu t rmino signica uma requisicao de aguardar e essa faz com que o Rb-MAC exee cute a acao de aguardar novamente. O Rb-MAC permanece no estado aguardar at que e ele receba uma requisicao de transmiss o ou uma de receber. Enquanto o Rb-MAC esti a ver no estado aguardar, a camada fsica pode identicar que algum vizinho vai comecar uma transmiss o. Nesse caso, essa camada gera uma requisicao de receber para que o a Rb-MAC interrompa o seu temporizador aguardar e v para o estado receber. Quando a a recepcao termina, a camada fsica gera uma requisicao de escutar e essa faz com que o Rb MAC retorne ao estado de escutar. Como existe um pacote para ser enviado, o Rb-MAC inicializa o seu temporizador aguardar para gerar uma requisicao de aguardar. Um ponto importante desta fase e que quando o Rb-MAC estiver no estado transmitir, o n n o e cao a paz de receber pacotes, pois o seu r dio e normalmente half-duplex. Se dois n s vizinhos a o comecarem a enviar pacotes ao mesmo tempo, as colis es n o s o detectadas/tratadas por o a a esses n s; isso pode ser feito apenas nos n s que receberem o pacote. o o O Rb-MAC tamb m permite que os n s adormecam para economizar energia. e o Como mostrado na gura 1, quando um n estiver no estado escutar e receber uma o requisicao de dormir, ele vai para o estado dormir. O Rb-MAC permanece nesse estado at receber uma requisicao de acordar para retornar ao estado escutar. O procedimento e para a geracao das requisicoes de dormir e acordar e cclico e divide o tempo de vida dos n s em ciclos que s o compostos por um perodo de tempo em que o n permanece o a o acordado seguido por outro em que ele dorme. O t rmino de um ciclo implica no incio e do pr ximo. A duracao dos perodos acordado A e dormindo S (do ingl s, sleeping) s o o e a vari veis aleat rias com distribuicao uniforme como mostrado nas equacoes 1 e 2, respeca o tivamente. Os valores mnimo e m ximo dessas vari veis s o denidos nas equacoes 3 a a a at 6 em que c e o tempo mnimo de duracao de um ciclo, e o fator de desvio e d e e o ciclo de trabalho desejado (do ingl s, duty cycle). O par metro c e um limite inferior e a para cada perodo. Quando um n acorda, e interessante que ele permaneca acordado por o um tempo mnimo em que o n pode participar de tarefas da rede. De forma similar, se o um n dormir por um tempo mnimo ap s a realizacao de uma tarefa, o tempo de vida de o o sua bateria tende a ser maior. Segundo [Jayashree et al. 04], isso e uma propriedade das baterias. O fator de desvio determina o valor m ximo das vari veis A e S. O par metro a a a d e uma constante que indica o valor de ciclo de trabalho desejado pelo projetista da rede.
A U (Amin , Amax ) S U (Smin , Smax ) (1) (2) Amin = d c Smin = (1 d) c (3) (4) Amax = Amin Smax = Smin (5) (6)

O processo de geracao de requisicoes de dormir/acordar e descrito a seguir. Quando um n se torna ativo, ele liga o seu r dio e inicializa o temporizador acordado o a para expirar ap s A unidades de tempo. Quando ele expira e o Rb-MAC est no estado o a escutar, esse t rmino signica uma requisicao de dormir e essa faz com que o Rb-MAC e desligue o r dio, inicialize o temporizador dormir para expirar ap s S unidades de tempo a o e v para o estado dormir. O t rmino do temporizador dormir signica uma requisicao de a e

66

Anais

acordar e essa faz com que o Rb-MAC ligue o r dio, inicialize o temporizador acordado a para expirar ap s A unidades de tempo e retorne ao estado escutar. Por outro lado, quando o o temporizador acordado expirar e o Rb-MAC n o estiver no estado escutar, isso signica a uma requisicao de continuar acordado e essa faz com que o Rb-MAC inicialize novamente o temporizador acordado para expirar ap s mais algumas unidades extras de tempo e cono tinue no estado corrente. Esse processo e repetido sempre que o temporizador acordado expirar e o Rb-MAC n o estiver no estado escutar. Todo o tempo extra acumulado e a descontado na duracao dos pr ximos perodos de dormir e acordar. At que todo o tempo o e acordado extra seja compensado, a duracao deles ser Smax e Amin , respectivamente. a O Rb-MAC tamb m permite que as camadas superiores gerem requisicoes de dore mir/acordar, pois elas conhecem situacoes em que o r dio pode ser ligado/desligado. Por a exemplo, quando a aplicacao utiliza apenas dados noturnos, a camada de aplicacao gera uma requisicao de acordar no incio da noite e outra de dormir no nal. As camadas supe riores tamb m podem suspender a transicao para o estado dormir, pois existem situacoes e em que o n deve car acordado por mais tempo. Por exemplo, no roteamento baseado o no receptor, um n n o deve adormecer durante um processo de decis o. o a a 3.2. Mecanismo de Retransmiss o a A camada MAC das RSSFs e respons vel pelo comportamento de dormir dos n s e, a o por isso, ela deve tratar as desconex es causadas pelos n s adormecidos. No Rb-MAC, o o essas desconex es s o tratadas atrav s de um mecanismo de retransmiss o baseado na o a e a conrmacao salto a salto. O objetivo desse mecanismo e similar ao dos pacotes de conrmacao do protocolo IEEE 802.11; contudo, o mecanismo proposto conrma que um vizinho se escolheu como o pr ximo n e o protocolo 802.11 conrma apenas que o o o pr ximo n recebeu o pacote. Al m disso, diferente do protocolo 802.11, o Rb-MAC n o o o e a envia pacotes de controle. No mecanismo proposto, quando um n transmite um pacote, o ele permanece acordado por certo tempo para aguardar a propagacao do pacote por algum n vizinho. Ap s esse tempo, se o pacote n o for recebido, o mesmo e retransmitido. o o a A denicao do tempo em que um n aguarda para realizar uma retransmiss o o a e o n mero m ximo de retransmiss es e baseada no comportamento de dormir do Rbu a o MAC que proporciona um limite inferior Amin para o tempo em que um n permanece o acordado e outro superior Smax para o tempo em que o n dorme. O limite inferior o acordado e utilizado na denicao do intervalo de tempo entre as retransmiss es e o limite o superior dormindo, na denicao de quando a ultima retransmiss o ser executada. O a a Smax n mero m ximo de retransmiss es e Amin , pois durante Smax unidades de tempo, uma u a o retransmiss o e executada a cada Amin unidades de tempo. a Teorema 1: Seja o intervalo entre retransmiss es Amin e o n mero m ximo de o u a Smax o retransmiss es n = Amin , quando um n envia um pacote e todos os seus vizinhos o est o adormecidos, cada vizinho estar acordado em pelo menos uma retransmiss o. a a a Prova: Dado o intervalo e o n mero m ximo de retransmiss es, a prova consiste u a o em mostrar que, para cada vizinho, se esse dorme no instante de tempo TA , acorda em TB e retorna a dormir em TC , existe uma retransmiss o Ti (1 i n) tal que TB < Ti < TC . a
1o passo: Sabe-se que: a T0 e a primeira transmiss o. TA = TB S, pois a vari vel aleat ria S e o intervalo de tempo entre TA e TB . a o

XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

67

TA < T0 , pois o vizinho estava dormindo na transmiss o T0 . a T0 = Tn Smax , pois Smax e o intervalo entre a primeira e a ultima retransmiss es. o S Smax , pois Smax e o maior valor da vari vel aleat ria S. a o 2o passo: Logo, TB S = TA < T0 = Tn Smax TB < Tn e pode-se armar que existe pelo menos uma retransmiss o Ti tal que TB < Ti . a 3o passo: Supondo que Ti e a primeira retransmiss o tal que TB < Ti . Se a suposicao for a falsa, Tj<i e a primeira retransmiss o maior que TB o que e uma contradicao. a 4o passo: Sabe-se tamb m que: e TB > Ti A, pois Ti e a primeira retransmiss o tal que TB < Ti e se TB for subtrado a ` de Ti , esse resultado ser menor a vari vel aleat ria A. a a o TB = TC A, pois a vari vel aleat ria A e o intervalo entre TB e TC . a o 5o passo: Logo, TC A = TB > Ti A Ti < TC .

Um aspecto crucial do mecanismo proposto e o n mero esperado de retransu miss es, pois quando um n retransmite um pacote diversas vezes, o custo de energia o o dessa tarefa pode tornar o Rb-MAC invi vel para as RSSFs. No esquema proposto, um a n efetua uma retransmiss o se ele transmitiu um pacote e n o recebeu uma propagacao o a a do mesmo. Supondo a exist ncia de vizinhanca, os n s vizinhos n o propagam um pacote e o a ` se todos estiverem dormindo no seu envio ou devido as colis es/falhas. Logo, o n mero o u esperado de retransmiss es depende da probabilidade de colis es/falhas e da dos n s vizio o o nhos estarem dormindo. O evento ocorr ncia de colis es/falhas pode ser modelado como e o uma vari vel aleat ria com distribuicao uniforme e com probabilidade constante pCOL . O a o evento os vizinhos estarem dormindo e uma vari vel aleat ria cuja probabilidade reduz a o ` a medida que as retransmiss es s o executadas. Cada vizinho acorda pelo menos uma o a ` vez durante um processo de retransmiss o (Teorema 1) e, a medida que as retransmiss es a o s o executadas e nenhum vizinho acorda, o nal do processo se aproxima assim como a a chance de cada vizinho acordar. A esperanca da vari vel aleat ria S na retransmiss o i a o a ` e corresponde a m dia aritm tica dos valores mnimo e m ximo de S em i, como mostrado e a na equacao 7. Nesse caso, como todos os vizinhos dormem Amin unidades de tempo por retransmiss o, os valores mnimo e m ximo de S s o reduzidos em Amin unidades a cada a a a retransmiss o, como mostrado nas equacoes 8 e 9, respectivamente. a
E[Si ] = Smin (i) = Smax (i) = Smin (i) + Smax (i) 2 (7)

Smin i Amin se Smin > i Amin 0 caso contr rio a Smax i Amin se Smax > i Amin 0 caso contr rio a

(8) (9)

A equacao 10 mostra a probabilidade de um vizinho estar dormindo na retrans miss o i, onde E[A] e igual para todas as retransmiss es. A equacao 11 mostra a probaa o bilidade de um vizinho n o propagar com a retransmiss o i. Um vizinho n o propaga o a a a pacote se ele estiver dormindo ou uma colis o/falha acontecer, eventos independentes. A a probabilidade da retransmiss o i acontecer e o complemento de todos os nn vizinhos n o a a propagarem com a retransmiss o i, como mostrado na equacao 12. Contudo, a retransa miss o i acontece somente quando todas as i 1 retransmiss es anteriores acontecerem a o

68

Anais

e nenhuma propagacao for recebida pelo n que efetua as retransmiss es. A funcao de o o distribuicao de probabilidade das retransmiss es e mostrada na equacao 13. A esperanca o da vari vel aleat ria R representando o n mero de retransmiss es e o somat rio de cada a o u o o retransmiss o multiplicada por sua probabilidade, como mostrado na equacao 14. a
probDormir(i) = E[Si ] E[Si ] + E[A]
nn

(10) (11) (12) (13)

probN aoT x(i) = probDormir(i) + (1 probDormir(i)) pCOL prob(i, nn) = 1 probN aoT x(i)
i1

f dp(i, nn) = prob(i, nn)

Smax Amin

(1 prob(k, nn))
k=0

E[R] =
i=0

i f dp(i, nn)

(14)

A principal vantagem do mecanismo proposto e eliminar as desconex es causadas o por n s adormecidos o que eleva a taxa de pacotes entregues. Essa vantagem e mais inteo ressante para os valores reduzidos de ciclo de trabalho em que os n s dormem mais tempo o e o n mero de desconex es e maior. A sua desvantagem e o n mero de retransmiss es e a u o u o lat ncia, pois um pacote pode ser retransmitido mais de uma vez e cada retransmiss o ree a presenta um atraso. Contudo, o custo de energia das retransmiss es pode ser minimizado o pelo ganho de energia obtido com a reducao do ciclo de trabalho. Outro ponto importante e que o mecanismo proposto n o garante que todos os pacotes ser o entregues aos seus a a ` destinos devido as colis es/falhas. Contudo, ele reduz o efeito das mesmas. Quando uma o colis o/falha acontece, nenhum vizinho propaga o pacote, causando uma retransmiss o. a a 3.3. Ciclo de Trabalho Din mico a Esta secao apresenta um projeto integrado em que o Rb-MAC permite que a camada de rede atualize o ciclo de trabalho dos n s para criar caminhos especiais de roteamento o compostos por n s que n o dormem (ciclo de trabalho de 100%). O modelo proposto o a tamb m considera que a camada de rede pode alterar o seu processo de decis o para que os e a n s do caminho transmitam pacotes sem atrasos. Os protocolos de roteamento baseados o no receptor costumam inserir atrasos nesse processo de decis o [Goussevskaia et al. 05]. a Uma vantagem do modelo proposto e que a maioria dos n s n o pertence ao caminho e e o a congurada com valores reduzidos de ciclo de trabalho para economizar energia. Outra vantagem e que o roteamento nos caminhos especiais e efetuado com lat ncia reduzida e e a sua limitacao consiste em ser v lido apenas se a rota e utilizada mais vezes. a O funcionamento b sico da t cnica proposta e descrito nos algoritmos 1 e 2 que a e s o executados pela camada de rede. Ap s um n enviar um pacote, o algoritmo 1 insere a o o o n no caminho especial. No primeiro passo (Linha 1), a camada de rede verica se o n o o pertence a um caminho. Se falso, a camada de rede viola a arquitetura da pilha de protocolos e aumenta o ciclo de trabalho (Linha 2) e elimina o atraso da decis o de roteamento a para todos os pacotes a serem roteados pelo caminho (Linha 3). Depois, a camada de rede escalona o tempo de retorno para identicar quando o caminho expira (Linha 4). Por outro lado, quando um n pertence ao caminho (Linha 5), a camada de rede reescalona o o tempo de retorno desse n para que ele permaneca por mais tempo em um caminho (Lio nha 6). Quando o tempo de retorno expirar, o algoritmo 2 e executado e, assim, a camada

XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

69

de rede retorna os valores originais da decis o (Linha 1) e do ciclo de trabalho (Linha 2). a Algoritmo 1 : Incio do Ciclo de Trabalho Din mico a
1: se eu n o pertenco a um caminho especial de roteamento ent o a a 2: Aumentar o meu ciclo de trabalho no Rb-MAC para 100% 3: Eliminar o meu atraso para a propagacao de pacotes do caminho 4: Escalonar o tempo de retorno 5: sen o a 6: Reescalonar o tempo de retorno 7: m se

Algoritmo 2 : T rmino do Ciclo de Trabalho Din mico e a

1: Retornar o meu atraso original para a propagacao de pacotes do caminho 2: Retornar o meu ciclo de trabalho original no Rb-MAC

3.4. Vericacao Formal Esta secao efetua a vericacao formal de algumas propriedades de um modelo de comunicacao baseado no receptor que utiliza o Rb-MAC. O modelo de vericacao foi o NuSMV e o conjunto de propriedades vericadas e listado abaixo.
1 : Cada estado s e alcancavel a partir do estado inicial s0 e s0 e alcancavel a partir de cada estado s. Essa propriedade garante a inexist ncia de estados de erro ou inalcancaveis. e 2 : Se o Rb-MAC estiver no estado dormir, as camadas MAC e de rede n o recebem nem a enviam pacotes. Essa propriedade garante que o r dio est desligado no estado dormir. a a 3 : Os protocolos MAC e de rede podem receber/enviar pacotes simultaneamente. Essa propriedade, 4 e 5 garantem (ou limitam) a independ ncia das acoes de receber/enviar. e 4 : O Rb-MAC n o pode receber e enviar pacotes simultaneamente. Essa propriedade a garante a limitacao fsica dos n s sensores em que o r dio e geralmente half-duplex. o a 5 : A camada de rede pode receber e enviar pacotes simultaneamente, pois a camada MAC armazena os pacotes ainda n o processados. a 6 : A camada de rede recebe um pacote se e, somente se, o Rb-MAC o receber ante riormente. Essa propriedade e 7 garantem a ordem em que um pacote e processado. 7 : O Rb-MAC envia um pacote se e, somente se, a camada de rede j o enviou. a

4. Resultados de Simulacao
Esta secao tem como objetivo comparar modelos de comunicacao baseados no emissor e no receptor em cen rios de disseminacao para RSSFs em que um n monitor deseja a o enviar dados para os n s sensores. Esse tipo de comunicacao e crucial em RSSFs, pois o o n monitor realiza tarefas especcas tais como alterar o modo de funcionamento dos o sensores, ativar/desativ -los, e enviar requisicoes ou interesses para eles. a 4.1. Par metros de Simulacao a Em todas as simulacoes, utilizou-se uma rede com 500 n s est ticos, homog neos e com o a e uma capacidade de energia nita e n o renov vel. O consumo de energia de cada n foi a a o baseado no Mica2 e a energia inicial foi suciente para nenhum n morrer por falta de o

70

Anais

energia. O raio de comunicacao dos n s foi de 100 m, eles foram depositados de forma o 2 aleat ria em uma area 10001000 m e cada n conhece a sua localizacao. o o Um n monitor sem restricao de recursos foi colocado no canto inferior esquerdo o da rede e realizou v rias disseminacoes intercaladas uniformemente e destinadas a 25 n s. a o Em um cen rio de simulacao (secao 4.2), cada disseminacao foi destinada a um subcona junto aleat rio de n s. No outro (secao 4.3), um subconjunto aleat rio de destinos foi o o o escolhido e utilizado em todas as disseminacoes. O tempo de simulacao foi de 1000 s, contudo, a primeira disseminacao foi efetuada apenas com 50 s e a ultima com 600 s. O atraso inicial e necess rio para a inicializacao do S-MAC. A ultima disseminacao acona tece antes do nal da simulacao para garantir a execucao de todo o roteamento. Os modelos de comunicacao comparados s o ilustrados na gura 2 e descritos a abaixo. O modelo receptor avaliado combina o TEDD que e um protocolo de roteamento baseado no receptor especco para a disseminacao de dados com o Rb-MAC. Este mo delo apresenta uma interacao entre as duas camadas em que o TEDD e capaz de proibir que um n adormeca quando esse estiver em decis o de propagacao. O modelo emissor o a avaliado combina o TBF e o S-MAC. O primeiro foi escolhido por ser um protocolo de roteamento baseado no emissor especco para a disseminacao de dados que trabalha como o TEDD e, o segundo, por prover informacoes atualizadas de vizinhos que s o explora a das pelo TBF para a escolha do pr ximo n atrav s de interacoes entre as duas camadas. o o e Este trabalho tamb m avalia um modelo de comunicacao hbrido que combina o S-MAC e e o TEDD. Esse modelo e denominado hbrido por combinar um protocolo MAC que compartilha informacoes de vizinho e um de roteamento baseado no receptor. O modelo hbrido foi proposto porque os outros apresentam diferentes protocolos MAC e de rede, o que diculta identicar os ganhos em cada camada. Nesse modelo, o funcionamento b sico do S-MAC foi alterado para permitir uma interacao entre camadas em que o TEDD a e capaz de proibir que um n adormeca quando estiver em decis o de propagacao. o a

(a) Receptor

(b) Emissor

(c) Hbrido

Figura 2. Modelos Avaliados para a Comunicacao de Dados

O Rb-MAC e o S-MAC foram utilizados na camada MAC dos modelos avaliados. O ciclo de trabalho deles foi est tico e avaliado para diferentes valores. Contudo, a no segundo cen rio de simulacao, o Rb-MAC utilizou a sua t cnica de ciclo de trabalho a e din mico onde os n s do caminho especial possuem um ciclo de trabalho de 100% e os a o demais de 10%. A frequ ncia com que os n s atualizam as informacoes de vizinhos no e o S-MAC foi denida da forma mais justa possvel, balanceando o n mero de transmiss es u o e a taxa de pacotes recebidos. Se essa frequ ncia aumentar, maior ser o n mero de e a u transmiss es (logo, o consumo de energia) e a taxa de entrega obtidos pelo modelo emiso sor. Por outro lado, se ela for reduzida, o resultado oposto e vericado. A frequ ncia de e atualizacao utilizada no S-MAC foi de 150 ciclos de vida. No S-MAC, o tempo de vida dos n s e divido em ciclos de vida e a frequ ncia utilizada signica que a cada 150 ciclos o e de vida, os n s trocam informacoes com os seus vizinhos. Al m disso, considerou-se que o e

XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

71

todos os pacotes (de controle ou dados) possuem o mesmo tamanho. Todos os modelos foram implementados no Network Simulator 2 e os resultados ` e de simulacao correspondem a m dia aritm tica de n simulacoes, onde n e o menor tama e nho de amostra que proporciona o intervalo de conanca desejado. O nvel de conanca foi de 95% e o teste-T [Jain 91] com 0.05 de signic ncia foi utilizado para armar que a um protocolo e melhor/pior do que outro para uma dada m trica. e 4.2. Disseminacao para um Subconjunto Din mico de Destinos a Esta secao avalia o desempenho dos modelos propostos em um cen rio de disseminacao a em que o subconjunto de destinos e alterado a cada disseminacao. Esse cen rio acontece, a por exemplo, quando o n monitor deseja enviar dados para os sensores que possuem uma o propriedade din mica tal como ter mais/menos energia e ser respons vel por uma tarefa. a a O objetivo nesse cen rio e entregar pacotes e economizar energia. A taxa de entrega e a fundamental, pois pacotes podem ser perdidos durante o roteamento. A economia de energia e objetivo de qualquer solucao para as RSSFs. Outros objetivos s o as reducoes a de lat ncia e colis es. A lat ncia e crucial em aplicacoes dependentes do tempo tal como e o e a deteccao de inc ndio. As colis es devem ser reduzidas, pois elas tendem a reduzir a e o taxa de entrega e aumentar o consumo de energia e a lat ncia. e O desempenho dos modelos avaliados quando se aumenta o valor est tico do ciclo a de trabalho e mostrado na gura 3. A gura 3-a apresenta a taxa de entrega em que o modelo receptor avaliado entregou 1,05 e 1,03 vezes mais pacotes que os modelos emissor e hbrido, respectivamente. Esse resultado acontece porque o mecanismo de retransmiss o a do Rb-MAC elimina as perdas de pacote causadas pelos n s adormecidos e reduz o efeito o das colis es. Al m disso, ele mant m a taxa de entrega para os menores valores de ciclo o e e de trabalho. As perdas de pacote do modelo receptor s o consequ ncia de colis es. No a e o modelo emissor, al m das colis es, as perdas foram causadas por n s adormecidos que e o o foram selecionados para o roteamento. O aumento da entrega desse modelo foi porque, no S-MAC, o aumento do ciclo de trabalho implica em mais atualizacoes das informacoes de vizinhos e, assim, menos n s adormecidos s o escolhidos para o roteamento. No modelo o a emissor, apesar do esquema RTS/CTS/DATA/ACK, as colis es acontecem, por exemplo, o devido aos n s que dormem e acordam em tempos distintos e deturpam o esquema utio lizado. No modelo hbrido, que n o efetua retransmiss es, as perdas s o causadas pelas a o a colis es e pelo modelo permitir que um n efetue transmiss es quando n o existem vizio o o a ` nhos acordados. O aumento da taxa a medida que o ciclo de trabalho aumenta e porque a possibilidade de um n efetuar uma transmiss o sem vizinhos acordados e menor. o a O n mero de transmiss es quando se aumenta o valor est tico do ciclo de trau o a balho e mostrado nas guras 3-b e 3-c. A diferenca entre elas e que a primeira consi dera as transmiss es de pacotes de controle ou de dados e a outra, apenas as de dados. o O modelo receptor apresenta o mesmo resultado nas duas guras, pois o Rb-MAC n o a transmite pacotes de controle. Nos outros modelos, o S-MAC envia pacotes de controle para atualizar informacoes de vizinhos. No modelo emissor, ele tamb m envia pacotes e RTS/CTS/ACK. Os modelos emissor e hbrido efetuaram respectivamente 4,8 e 2,1 vezes mais transmiss es que o receptor devido aos pacotes de controle do S-MAC. Neste ponto, o observa-se que para os modelos avaliados, o custo de transmiss o inserido pelas retransa miss es do Rb-MAC foi menor que o inserido pelos pacotes de controle do S-MAC. O o

72

Anais

modelo emissor enviou 2,3 vezes mais pacotes que o hbrido devido aos pacotes de con trole extras. Aumentando o ciclo de trabalho, o n mero de transmiss es efetuadas pelo u o modelo receptor reduz conforme o funcionamento b sico do mecanismo de retransmiss o a a do Rb-MAC. Por outro lado, o n mero efetuado pelos outros modelos aumenta, pois, no u S-MAC, o qu o maior o ciclo de trabalho, mais frequente s o os envios de pacote para a a atualizar as informacoes de vizinhos. Considerando apenas os pacotes de dados, como o modelo receptor efetua retransmiss es, ele efetuou 1,4 e 1,1 vezes mais transmiss es que o o os modelos emissor e hbrido, respectivamente.
80 60 40 20 0 10 30 50 70 Ciclo de Trabalho (%) 90 Receptor Hbrido Emissor Nmero Total de Transmisses Taxa Mdia de Entrega (%) 120000 90000 60000 30000 0 10 30 50 70 Ciclo de Trabalho (%) 90 Receptor Hbrido Emissor Nmero Total de Transmisses de Pacotes de Dados 100 150000 150000 120000 90000 60000 30000 0 10 30 50 70 Ciclo de Trabalho (%) 90 Receptor Hbrido Emissor

(a) Taxa de entrega

0.025 0.02 0.015 0.01 0.005 0 10 30 50 70 Ciclo de Trabalho (%) 90 Receptor Hbrido Emissor

(b) N mero total de transmiss es (c) N mero total de transmiss es u o u o de pacotes de dados
Latncia Mdia de Entrega(s) 140 105 70 35 0 10 30 50 70 Ciclo de Trabalho (%) 90 Receptor Hbrido Emissor Nmero Total de Colises com Pacotes de Dados 175 1000 800 600 400 200 0 10 30 50 70 Ciclo de Trabalho (%) 90 Receptor Hbrido Emissor

(d) Consumo m dio de energia por e n o

Consumo Mdio de Energia por N Sensor (J/s)

(e) Lat ncia m dia de entrega e e

(f) N mero total de colis es com u o pacotes de dados

Figura 3. Parametros avaliados para o primeiro cenario de simulacao

O consumo de energia quando se aumenta o valor est tico do ciclo de trabalho a ` e apresentado na gura 3-d. A medida que o ciclo de trabalho aumenta, o consumo de energia aumenta, pois os n s sensores permanecem mais tempo acordados. Os modelos o emissor e hbrido consomem 1,3 e 1,1 vezes mais energia que o modelo receptor avaliado, pois esses enviam mais pacotes que o ultimo. O modelo emissor avaliado consome mais energia que o hbrido (1,2 vezes), pois o primeiro efetua mais transmiss es. o A lat ncia quando se aumenta o valor est tico do ciclo de trabalho e apresentada e a na gura 3-e. A lat ncia inicial do modelo emissor e 5,0 vezes maior que a do modelo e receptor e, a partir do ciclo de trabalho de 30%, a do receptor torna-se 3,7 vezes maior que a do emissor. O principal respons vel pela lat ncia do modelo receptor e o TEDD que a e insere atrasos no roteamento para efetuar a decis o de propagacao. No modelo emissor, a esse papel e do S-MAC, pois ele probe que um n propague um pacote no mesmo ciclo o de vida em que esse e recebido. A lat ncia reduz com o aumento do ciclo de trabalho, e pois esse aumento provoca a reducao do tamanho do ciclo de vida. A lat ncia do modelo e hbrido e 4,6 e 2,5 vezes maior que a dos modelos receptor e emissor, pois ele combina o S-MAC e o TEDD. Uma consideracao crucial para a comunicacao baseada no receptor e que como o Rb-MAC e capaz de manter a taxa de entrega para valores reduzidos de ciclo de trabalho, o projetista da rede deve denir o valor do ciclo de trabalho de acordo com o

XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos

73

maior valor aceit vel de lat ncia. O qu o maior esse valor, menor o ciclo de trabalho. a e a O n mero total de colis es com pacotes de dados quando se aumenta o valor u o est tico do ciclo de trabalho e mostrado na gura 3-f. Todos os modelos foram ecientes a em termos de colis es quando esse valor e comparado com o n mero de transmiss es o u o efetuadas por cada modelo. Os modelos receptor e emissor efetuam uma colis o a cada a cem pacotes de dados transmitidos e, no modelo hbrido, essa relacao e o dobro. O modelo emissor efetuou menos transmiss es devido ao uso da t cnica de RTS/CTS/DATA/ACK. o e O modelo receptor reduz as colis es atrav s do esquema CSMA p-persistente. O modelo o e hbrido permite mais colis es por apenas escutar o meio como forma de reduzir colis es. o o 4.3. Disseminacao para um Subconjunto Est tico de Destinos a Esta secao avalia o desempenho dos modelos propostos em um cen rio de disseminacao a em que todas as disseminacoes s o destinadas para um mesmo subconjunto de n s de a o nido aleatoriamente antes da simulacao. Esse cen rio acontece, por exemplo, quando a o n monitor deseja enviar sistematicamente dados para n s localizados em posicoes eso o trat gicas ou n s respons veis por tarefas est ticas. Novamente, o objetivo e entregar e o a a pacotes e economizar energia. Outros objetivos relevantes s o as reducoes de lat ncia a e e colis es. Al m disso, o modelo receptor avaliado utiliza a t cnica de ciclo de trabao e e lho din mico do Rb-MAC. Os resultados de simulacao obtidos pelos modelos emissor e a hbrido s o similares aos do cen rio anterior, pois esses n o se aproveitam das rotas se a a a rem repetidas. Os resultados do modelo hbrido n o s o mostrados e o modelo emissor a a avaliado utiliza os valores est ticos de ciclo de trabalho como 10%, 50% e 90%. Tanto no a modelo receptor como no emissor, o protocolo de roteamento utilizou o mesmo conjunto de rotas em todas as disseminacoes de uma simulacao. A taxa de entrega, o consumo de energia e a lat ncia dos modelos receptor e emise sor s o mostrados na gura 4. O modelo receptor avaliado apresentou a maior entrega e a ` e os menores valores de consumo de energia e lat ncia. Esse resultado e devido a t cnica de e ciclo de trabalho din mico do Rb-MAC. O modelo receptor entregou 1,1 mais pacotes que a ` s retransmiss es do Rb-MAC. O modelo emissor consome 9,6 vezes o emissor devido a o mais energia que o receptor, pois, nesse modelo, os n s n o pertencentes ao caminho de o a roteamento s o congurados com valores reduzidos de ciclo de trabalho. Al m disso, o a e fato do modelo emissor transmitir pacotes de controle aumenta o seu consumo de energia. A lat ncia do modelo emissor e 405,7 vezes maior que a do receptor, pois, nesse modelo, e alguns n s cam acordados e aguardando para rotear. Os n meros de transmiss es e o u o colis es n o s o mostrados por serem similares aos apresentados na secao anterior. o a a

5. Conclus es e Trabalhos Futuros o

Este trabalho prop e o Rb-MAC, um protocolo para ser utilizado em solucoes integradas o com o roteamento baseado no receptor. O Rb-MAC explora o funcionamento b sico desse a tipo de roteamento para salvar recursos e permitir interacoes. Resultados de simulacao mostram que o modelo receptor avaliado com o Rb-MAC aumentou a taxa de entrega, reduziu o n mero de transmiss es e o consumo de energia quando comparado com um u o modelo baseado no emissor. Contudo, a lat ncia e o n mero de colis es desse modelo e u o foram menores. Resultados de simulacao tamb m revelaram que o Rb-MAC e capaz e de manter a taxa de entrega para valores reduzidos de ciclo de trabalho. Al m disso, e

74

Anais

o Rb-MAC possui uma t cnica de ciclo de trabalho din mico que proporciona ao moe a delo receptor resultados de lat ncia menores que os do modelo emissor avaliado, mas tal e aplicada apenas em um cen rio especco de disseminacao. t cnica e e a
100 80 60 40 20 0 Receptor Emissor Emissor Emissor 10% 50% 90% Modelo de Comunicao Consumo Mdio de Energia por N Sensor (J/s) Taxa Mdia de Entrega (%) 0.025 0.02 0.015 0.01 0.005 0 ReceptorEmissor Emissor Emissor 10% 50% 90% Modelo de Comunicao Latncia Mdia de Entrega(s) 175 140 105 70 35 0 Receptor Emissor Emissor Emissor 10% 50% 90% Modelo de Comunicao

(a) Taxa de entrega

(b) Consumo m dio de energia por e n o

(c) Lat ncia m dia de entrega e e

Figura 4. Parametros avaliados para o segundo cenario de simulacao

A comunicacao baseada no receptor e um t pico de pesquisa promissor, pois apre o senta taxa de entrega elevada e consumo de energia reduzido. Um t pico de pesquisa que o deve ser avaliado e o projeto integrado de outras funcoes de rede (por exemplo, fus o de a dados) com o modelo de comunicacao baseados no receptor. Trabalhos futuros devem denir o ciclo de trabalho em funcao do maior valor aceit vel para a lat ncia. a e

Refer ncias e
Akyildiz, I., Su, W., Sankarasubramaniam, Y., and Cayirci, E. (02). Wireless sensor networks: A survey. Computer Networks, 38(4). Goussevskaia, O., Machado, M., Mini, R., Loureiro, A., Mateus, G., and Nogueira, J. (05). Data dissemination based on the energy map. IEEE Communications Magazine, 43(7). Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., and Pister, K. (00). System architecture directions for networked sensors. SIGPLAN Not., 35(11). Jain, R. (91). The Art of Computer Systems Performance Analysis: techniques for experimental design, measurement, simulation and modeling. Jayashree, S., Manoj, B. S., and Murthy, C. (04). On using battery state for medium access control in ad hoc wireless networks. ACM/IEEE Mobicom. Liao, W. and Wang, H. (08). An asynchronous mac protocol for wireless sensor networks. J. Netw. Comput. Appl., 31(4):807820. Niculescu, D. and Nath, B. (03). Trajectory-based forwarding and its applications. ACM/IEEE International conference on Mobile computing and networking. Rashwand, S., Misic, J., Misic, V., Biswas, S., and Haque, M. (09). A novel asynchronous, energy efcient, low transmission delay mac protocol for wireless sensor networks. 29th IEEE ICDCS. Ye, W., Heidemann, J., and Estrin, D. (04). Medium access control with coordinated adaptive sleeping for wireless sensor networks. IEEE/ACM Trans. Netw., 12(3). Zorzi, M. and Rao, R. (03). Geographic random forwarding (geraf) for ad hoc and sensor networks: Energy and latency performance. IEEE Transactions on Mobile Computing, 2(4).