Professional Documents
Culture Documents
Florianpolis
2011
Florianpolis
2011
AGRADECIMENTOS
RESUMO
Esta tese prope um protocolo MAC hbrido para redes ad hoc mveis, denominado HCT-MAC (Hybrid Contention/TDMA MAC), o qual possibilita obter melhores taxas de atendimento de prazos de entrega de mensagens comparado a um protocolo MAC que use uma abordagem baseada em disputa. Esse
protocolo implementa um mecanismo de reserva de recursos oportunsico e
de curto alcance, que se adapta continuamente s mudanas de topologia de
uma rede com dispositivos mveis. A reserva de recursos se ampara na autoorganizao dos dispositivos mveis em grupos denominados clusters, cujos
membros realizam um acesso ao meio do tipo TDMA. No caso de dispositivos que no pertencem a clusters, o acesso ao meio se realiza com disputa do
tipo CSMA. A formao de clusters obtida com uma abordagem que agrupa
iterativamente e de forma adaptativa dispositivos com base em suas estimativas de qualidade de enlace. O protocolo proposto foi testado e avaliado por
meio de uma implementao prtica e tambm de simulaes. Os resultados
dos experimentos mostraram que o uso do HCT-MAC proporcionou melhoras
significativas na utilizao do meio e taxa de mensagens entregues comparados a um protocolo CSMA, graas a reserva de recursos oportunstica obtida
com a auto-organizao das redes simuladas. Um outra contribuio deste
trabalho um mtodo para analisar a capacidade tempo-real probabilstica de
uma rede em que o acesso ao meio funciona em ciclos de ativao e desativao, como no caso do uso do HCT-MAC em uma rede com dispositivos
mveis.
Palavras-chave: Redes Ad Hoc Mveis, Sistemas Tempo-Real, MAC, CSMA,
TDMA, Auto-Organizao, Sincronizao
ABSTRACT
This thesis proposes the HCT-MAC (Hybrid Contention/TDMA MAC), a hybrid MAC protocol for mobile ad hoc networks, which enables that more messages deadlines are met compared to a contention-based approach. This protocol provides a short range and opportunistic resource-reservation mechanism, which adapts continuously to topology changes that occur in a network
composed by mobile devices. Resource-reserevation depends on devices being
self-organized in groups called clusters. Members of clusters access the medium in a contention-free manner similar to TDMA, and nodes which are not
members of cluster access the medium with CSMA. Clusters are formed iteratively and adaptively based on measurements of link quality between nodes.
The proposed protocol was tested and evaluated with simulations and a real
prototype. Results of the simulation experiments showed that the HCT-MAC
protocol provided a significant improvement in medium utilization and ratio
of delivered messages compared to a CSMA protocol. That was related to
the opportunistic resource-reservation in the self-organized networks of the
experiments. Another contribution of this thesis is a method to analyse the
probabilistic real-time capacity of a network which uses a MAC protocol with
intermitent communication links, as is the case of the HCT-MAC protocol in
a mobile network.
Keywords: Mobile Ad Hoc Networks, Real-Time Systems, MAC, CSMA,
TDMA, Self-Organization, Synchronization
LISTA DE FIGURAS
dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
Figura 80 Nodos clusterizados com ao menos uma dada taxa de ciclos
clusterizados em redes com 60 nodos (potncia de transmisso de -15
dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
Figura 81 Taxa de ciclos clusterizados apresentada por ao menos 90 %
dos nodos em redes com 60 nodos (em funo do raio e potncia de transmisso de -10 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
Figura 82 Taxa de ciclos clusterizados apresentada por ao menos 90 %
dos nodos em redes com 60 nodos (em funo do raio e potncia de transmisso de -15 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
Figura 83 Taxa de ciclos clusterizados apresentada por ao menos 90 %
dos nodos em redes com 60 nodos (em funo da velocidade e potncia
de transmisso de -10 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Figura 84 Taxa de ciclos clusterizados apresentada por ao menos 90 %
dos nodos em redes com 60 nodos (em funo da velocidade e potncia
de transmisso de -15 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Figura 85 Probabilidade acumulada para atrasos para entrada em cluster
inferiores a 1 segundo em redes com 40 nodos (raio de 120 m e potncia
de transmisso de -5 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Figura 86 Probabilidade acumulada para atrasos para entrada em cluster
inferiores a 1 segundo em redes com 40 nodos (raio de 120 m e potncia
de transmisso de -10 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Figura 87 Probabilidade acumulada para atrasos para entrada em cluster
inferiores a 1 segundo em redes com 40 nodos (raio de 120 m e potncia
de transmisso de -15 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
Figura 88 Atraso mximo de entrada em cluster em redes com 40 nodos
(95 % dos atrasos e potncia de -5 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
Figura 89 Atraso mximo de entrada em cluster em redes com 40 nodos
(95 % dos atrasos e potncia de -10 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Figura 90 Atraso mximo de entrada em cluster em redes com 40 nodos
(95 % dos atrasos e potncia de -15 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Figura 91 Probabilidade acumulada para atrasos para entrada em cluster
inferiores a 1 segundo em redes com 60 nodos (raio de 120 m e potncia
de transmisso de -5 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
Figura 92 Probabilidade acumulada para atrasos para entrada em cluster
inferiores a 1 segundo em redes com 60 nodos (raio de 120 m e potncia
de transmisso de -10 dBm) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
Figura 93 Probabilidade acumulada para atrasos para entrada em cluster
inferiores a 1 segundo em redes com 60 nodos (raio de 120 m e potncia
LISTA DE TABELAS
QoS
Qualidade de servio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
MAC
Medium Access Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
CSMA
Carrier Sense Multiple Access . . . . . . . . . . . . . . . . . . . . . . . . . . . .
TDMA
Time Division Multiple Access . . . . . . . . . . . . . . . . . . . . . . . . . . .
MANET Mobile Wireless Ad-Hoc Network . . . . . . . . . . . . . . . . . . . . . . . .
CSMA/CACarrier Sense Multiple Access/Collision Avoidance . . . . . . . . .
LR-WPANLow-Rate Wireless Personal Area Network . . . . . . . . . . . . . . . .
PAN
Personal Area Network . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
PHY
Physical Layer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
CAP
Contention Access Period . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
CFP
Contention Free Period . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
GTS
Guaranteed Time Slot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
FCS
Frame Check Sequence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
CRC
Cyclic Redundancy Check . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
IFS
Interframe Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ECA
Enhanced Collision Avoidance . . . . . . . . . . . . . . . . . . . . . . . . . . . .
MSN
Maximum Slot Number . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
BI
Beacon Interval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
BO
Beacon Order . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
SO
Superframe Order . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
SD
Superframe Duration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
SDS
Superframe Duration Schedule . . . . . . . . . . . . . . . . . . . . . . . . . . .
LQE
Link Quality Estimator. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
LQI
Link Quality Indicator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
RSSI
Received Signal Strength Indicator . . . . . . . . . . . . . . . . . . . . . . . .
SNR
Signal to Noise Ratio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
PRR
Packet Reception Ratio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ARR
Acquitted Reception Rate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
RNP
Required Number of Packets . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ETX
Expected Transmission Count . . . . . . . . . . . . . . . . . . . . . . . . . . . .
F-LQE
Fuzzy Link Quality Estimator . . . . . . . . . . . . . . . . . . . . . . . . . . . .
SPRR
Smoothed Packet Reception Ratio . . . . . . . . . . . . . . . . . . . . . . . . .
31
32
32
33
37
46
47
47
47
48
48
48
48
48
48
53
61
63
63
63
63
64
68
68
68
68
68
68
68
68
69
70
ASL
SF
ASNR
HCT
SB
FB
RBS
NQ
MEF
EDF
ASymmetry Level . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Stability Factor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Average Signal to Noise Ratio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Hybrid Contention/TDMA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Start Beacon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Finish Beacon. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Reference Broadcast Synchronization . . . . . . . . . . . . . . . . . . . . . 82
Neighborhood Quality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Mquina de estados finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Earliest Deadline First . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
LISTA DE SMBOLOS
SUMRIO
1 INTRODUO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.1 DESCRIO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.2 OBJETIVO DA TESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.2.1 Modelo de rede . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.3 ORGANIZAO DA TESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2 ESTADO DA ARTE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1 COMUNICAO DE TEMPO-REAL EM MANET . . . . . . . . . . . 37
2.2 CONTROLE DE ACESSO AO MEIO EM REDES SEM-FIO . . . . 40
2.2.1 Caractersticas de comunicaes sem fio RF . . . . . . . . . . . . . . . 42
2.2.2 Protocolos MAC baseados em disputa . . . . . . . . . . . . . . . . . . . . 45
2.2.2.1 CSMA/CA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.2.2.2 IEEE 802.15.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.2.2.3 Black Burst . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.2.2.4 RT-MAC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2.3 Protocolos MAC com reserva de recursos . . . . . . . . . . . . . . . . . 55
2.2.4 Protocolos MAC hbridos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.2.4.1 Z-MAC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.2.4.2 IEEE 802.15.4 com GTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.5 Consideraes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.3 ESTIMADORES DE QUALIDADE DE ENLACE . . . . . . . . . . . . . 67
2.4 CAPACIDADE TEMPO-REAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3 HCT-MAC: UM CONTROLE DE ACESSO AO MEIO HBRIDO 75
3.1 DESCRIO DO PROTOCOLO HCT-MAC . . . . . . . . . . . . . . . . . . 76
3.2 ACESSO AO MEIO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.3 SINCRONIZAO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.3.1 Sincronizao em nvel de time-slot . . . . . . . . . . . . . . . . . . . . . . . 81
3.3.2 Sincronizao em nvel de superquadro . . . . . . . . . . . . . . . . . . . 87
3.3.3 Anlise de desempenho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.4 ESTIMADOR DE QUALIDADE DE ENLACE . . . . . . . . . . . . . . . . 93
4 AUTO-ORGANIZAO EM CLUSTERS . . . . . . . . . . . . . . . . . . . . 97
4.1 INTRODUO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2 ESCOLHA DE CLUSTER-HEADS . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.2.1 Abordagem por auto-eleio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.2.1.1 Qualidade de Vizinhana (NQ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.2.2 Abordagem por votao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.2.3 Comparao entre votao e auto-eleio . . . . . . . . . . . . . . . . . 105
4.2.4 Abordagem mista: votao com auto-eleio . . . . . . . . . . . . . . 115
31
1 INTRODUO
1.1 DESCRIO
Com a popularizao das redes de comunicao sem-fio, sistemas antes independentes e isolados passaram a ter a possibilidade de interagirem por
meio de trocas de mensagens. Isso abriu um novo horizonte para aplicaes
formadas por mltiplos dispositivos autnomos mveis em que h necessidade de cooperao. A comunicao entre tais dispositivos tem o potencial
de permitir novas estratgias de coordenao, ou melhorarem procedimentos
existentes, usando a informao adicional compartilhada.
Nesse sentido, uma nova gerao de aplicaes que envolvem mobilidade de mltiplos dispositivos autnomos depende em alguma medida de
conectividade. Por exemplo, no projeto CarTel (HULL et al., 2006) dados
ambientais so coletados por sensores instalados em automveis que se deslocam por uma cidade, e compartilhados entre os veculos ou transferidos para
unidades de coleta quando possvel. Na rea de Sistemas de Transporte Inteligentes, alguns sistemas propostos usam comunicao entre veculos para
reduzir congestionamentos ou incrementar a segurana na direo (VOELCKER, Oct. 2007), como uma aplicao de alerta de frenagem, descrita em
(ROBINSON et al., 2006), em que um veculo transmite uma mensagem de
alerta ao frear subitamente. A mensagem de alerta contm dados sobre o
veculo, como sua posio, sua velocidade e a desacelerao imposta pela
frenagem. No setor espacial vm-se desenvolvendo sistemas de satlites distribudos, em que mltiplos mini-satlites em configuraes variadas so usados de forma colaborativa para o cumprimento de uma misso (BRIDGES;
VLADIMIROVA, 2009). Em todos esses casos, os dispositivos formam redes
para se comunicarem atravs de enlaces sem-fio. Por fim, a maioria dessas
aplicaes possui algum tipo de requisito de QoS (Qualidade de Servio) com
respeito a prazos para que suas mensagens sejam entregues.
O carter dinmico dessas redes de dispositivos que se comunicam por
enlaces sem-fio dificulta sobremaneira o atendimento de requisitos temporais.
O fato de os dispositivos se movimentarem provoca mudanas de topologia,
causando o estabelecimento de novos enlaces, e rompendo ou modificando a
qualidade de enlaces existentes. Essas mudanas afetam a previsibilidade das
comunicaes, visto que, enquanto a infraestrutura de comunicao se adapta
a esses eventos, as transmisses de mensagens podem sofrer atrasos adicionais de difcil previso. Assim, neste contexto o desafio reside em como
atender requisitos temporais em redes sem-fio cujas topologias se compor-
32
33
recursos suficientes ou suas qualidades de enlaces no os habilite a se coordenarem com os demais dispositivos. Por fim, os acessos livre de disputa e
com disputa devem coexistir, priorizando-se o primeiro modo de acesso.
Em uma rede em que dispositivos se movimentam de forma no determinstica, no parece adequado ou mesmo factvel buscar prover garantias no
atendimento de prazos de entrega de mensagens. Afinal, a transitoriedade de
enlaces impede que se possam sempre cumprir esses prazos. No entanto, um
protocolo MAC pode explorar a oportunidade representada pelo surgimento
de enlaces de boa qualidade, e suficientemente duradouros, para coordenar as
transmisses dos dispositivos envolvidos, e assim aumentar a quantidade de
mensagens entregues em seus prazos. Essa capacidade parece ser natural em
um protocolo MAC hbrido, que pode ser projetado de forma que o acesso ao
meio livre de disputa seja usado sempre que for oportuno.
1.2 OBJETIVO DA TESE
Esta tese investiga as seguintes questes interligadas no escopo de comunicao de tempo-real em redes ad hoc mveis.
1. Em que medida possvel usar uma abordagem de controle de acesso
ao meio com reserva de recursos em uma rede sem-fio composta por
dispositivos mveis?
2. Qual o benefcio que um protocolo MAC assim projetado pode trazer para aplicaes que possuem requisitos temporais? Posto de outra
forma, possvel obter uma melhor taxa de atendimento de prazos de
entrega de mensagens, comparado a um protocolo MAC que use uma
abordagem baseada em disputa?
Sendo assim, esta tese tem por objetivo principal propor um protocolo MAC hbrido para redes ad hoc compostas por dispositivos mveis, que
possibilite obter melhores taxas de atendimento de prazos de entrega de mensagens comparado a um protocolo MAC que use uma abordagem baseada em
disputa. Esse protocolo, denominado HCT-MAC (Hybrid Contention/TDMA
MAC), deve coordenar oportunisticamente o acesso ao meio, proporcionando
a auto-organizao dos dispositivos em grupos cujos membros realizam um
acesso ao meio do tipo TDMA (Time Division Multiple Access). A composio desses grupos pode se modificar para lidar com a mobilidade dos
dispositivos e mudanas de topologia, possibilitando a qualquer momento a
entrada ou sada de dispositivos ou mesmo a dissoluo de um grupo. No
caso de dispositivos que no pertencem a grupos, o acesso ao meio se realiza
34
35
36
37
2 ESTADO DA ARTE
2.1 COMUNICAO DE TEMPO-REAL EM MANET
A comunicao de tempo-real pode ser definida como a capacidade de
entregar mensagens dentro de prazos conhecidos, levando em conta prazos
de validade de mensagens. Se no forem admissveis perdas de prazos de
entrega, tem-se comunicao de tempo-real rgida, que implica a adoo de
mecanismos que garantam o cumprimento dos prazos de entregas. Se forem
admissveis perdas de prazos, porm descartando-se as mensagens atrasadas,
tem-se comunicao tempo-real firme. Por fim, comunicao de tempo-real
branda aceita perdas de prazos sem descarte de mensagens atrasadas. Esses
diferentes graus de exigncia quanto ao cumprimento de prazos dependem da
natureza da aplicao, e se refletem em toda a infraestrutura de comunicao.
Uma arquitetura de comunicao para redes sem-fio com nodos mveis - conhecidas como MANET (Mobile Wireless Ad-Hoc Network), que se
coordenam via comunicao explcita, deve prover servios de comunicao
de tempo-real com algum grau de exigncia quanto aos prazos de entrega de
mensagens. Isto consequncia do fato de existir mobilidade e necessidade
de coordenao entre os nodos, as quais implicam trocas de informaes entre
os nodos envolvidos sobre seus estados, possuindo estes validade temporal.
No entanto, a infraestrutura de comunicao se confronta com dois problemas
principais:
i) Acesso ao meio com determinismo: por ser um tipo de rede
com meio de transmisso compartilhado e acessado concorrentemente pelos nodos, h necessidade de um protocolo de acesso
ao meio (MAC). Um MAC determinstico do ponto de vista temporal deve conseguir transmitir um quadro sem sofrer coliso,
ou ento, caso ocorra uma coliso, deve ser capaz de resolv-la
dentro de um limite de tempo pr-estabelecido. No entanto, o
fato de existir uma topologia dinmica torna difcil garantir total
previsibilidade, uma vez que a vizinhana de um nodo pode se
modificar a qualquer instante, o que afeta a demanda por acesso
ao meio no seu entorno. Assim, um MAC para redes sem-fio
com nodos mveis est sujeito ao grau de mobilidade da rede, e
deve estar adaptado a esta situao.
ii) Entrega multihop de mensagens: a topologia neste tipo de rede
pode ser arbitrria, com nodos dificilmente estando fortemente
38
conectados. A entrega de mensagens entre nodos quaisquer implica a capacidade de identificar caminhos que passem por um
nmero de nodos intermedirios. Em outras palavras, a infraestrutura deve ser capaz de rotear mensagens para quaisquer nodos
da rede. Alm disso, como a topologia pode variar gradual ou
abruptamente ao longo do tempo, caminhos previamente determinados podem ser invalidados, havendo necessidade de serem
redescobertos. Finalmente, esses caminhos podem ter diferentes
propriedades temporais.
A previsibilidade de uma transmisso tem importncia central para
um servio de comunicao de tempo-real. No entanto, uma rede com nodos
mveis possui topologia dinmica. A modificao da topologia impacta na
distribuio de mensagens pela rede, pois caminhos conhecidos podem deixar de existir, levando necessidade de descoberta de novos caminhos ou
utilizao de caminhos ainda existentes que, porm, possuem diferentes propriedades temporais. Uma topologia dinmica tem tambm como consequncia a variao das vizinhanas de cada nodo com o tempo. A modificao da
vizinhana de um nodo tem impacto na previsibilidade de seu controle de
acesso ao meio, justamente por variar a demanda por comunicao naquela
regio - o que incrementa a probabilidade de colises e atrasos causados por
algoritmos de resoluo de conflitos. Desta forma, a existncia de mobilidade
tem influncia sobre o cumprimento de requisitos temporais das transmisses,
porm h necessidade de avaliar a dependncia desta influncia com o grau
de mobilidade.
O grau de mobilidade de uma rede pode ser entendido como uma caracterizao de como sua topologia varia com o tempo, e como isto afeta
a capacidade de comunicao dos nodos. Para o tipo de rede considerado
neste trabalho, interessa poder caracterizar o impacto da mobilidade no atendimento dos prazos de entrega de mensagens. Em estudos recentes, a mobilidade foi estudada segundo modelos e mtricas de mobilidade (BAI; SADAGOPAN; HELMY, 2003) (J. Boleng; CAMP, 2002) (B.-J. Kwak; MILLER,
2003). Os modelos de mobilidade se destinam a representar as movimentaes dos nodos, tendo um carter mecnico. As mtricas de mobilidade
procuram quantificar aspectos especficos do que acontece aos nodos, e s
comunicaes entre eles, devido ao modelo de mobilidade adotado. A caracterizao do impacto da mobilidade nas comunicaes de tempo-real implica,
assim, o uso de um modelo de mobilidade representativo e a identificao de
mtricas correlacionadas ao desempenho de elementos da infraestrutura de
comunicao no atendimento de requisitos temporais das mensagens.
Vrios trabalhos vm investigando metodologias e mtricas para caracterizar mobilidade. No framework Important (BAI; SADAGOPAN; HELMY,
39
2003), que se pretende genrico o suficiente para possibilitar a anlise do impacto da mobilidade em protocolos de roteamento, so propostas vrias mtricas relacionadas com dependncias espacial, temporal e geogrfica entre
nodos. Dentre as mtricas apresentadas, trs delas se destacam no tocante ao
impacto em comunicaes de tempo-real:
i) Taxa de mudanas de enlace (LC ): contabiliza as mudanas de
estado de um enlace (de inativo para ativo) entre dois nodos, ao
longo de um intervalo de tempo. Sempre que um enlace entre
dois nodos se torna ativo, significa que eles se tornam capazes de
se comunicarem diretamente, porm tambm podem se interferir.
ii) Durao de enlace (LD ): fornece a durao mdia do enlace entre dois nodos, ao longo de um intervalo de tempo. Enlaces de
longa durao so benficos, do ponto de vista de comunicaes
de tempo-real, pois assim so preservados tanto o conhecimento
sobre vizinhanas de nodos quanto trechos de caminhos na rede.
iii) Disponibilidade de Caminho (PA ): calcula a frao de tempo
em que um caminho entre dois nodos est disponvel, dentro de
um intervalo de tempo. Caminhos longevos proporcionam maior
previsibilidade para comunicaes de tempo-real, ao evitarem o
custo de descoberta de novos caminhos.
As mtricas LC e LD so tambm avaliadas por (J. Boleng; CAMP,
2002), que prope um conjunto de critrios para seleo de mtricas adequadas a protocolos adaptativos em MANET. Aps a comparao entre desempenhos de protocolos de roteamento e valores fornecidos por estas mtricas,
(J. Boleng; CAMP, 2002) concluiu que LD forneceu melhor indicao de desempenho. No caso, LC no capturou a longevidade dos enlaces, sendo este
um fator influente no desempenho dos protocolos usados na avaliao, j que
durante a estabilidade de um enlace no h necessidade de trocas de mensagens de controle do protocolo, e pode-se efetivamente transmitir mensagens
de dados. Apesar de o objetivo desse estudo no ser comunicao de temporeal, suas consideraes sobre o custo de adaptao de protocolos a mudanas
de topologia devido mobilidade reforam o papel destas mtricas como indicadores diretos de eventos que causam a necessidade de adaptao.
O uso da mtrica LD para caracterizao de mobilidade e seu impacto
em comunicaes de tempo-real depende de sua relao com o custo de adaptao a mudanas de um protocolo a ser considerado. Em linhas gerais, se o
custo de adaptao for maior do que um valor a ser derivado dessa mtrica,
o protocolo em questo no vivel para a rede em estudo. Como se trata
de comunicao de tempo-real, parece natural expressar o custo de adaptao
40
41
tocante a requisitos temporais, o MAC impe um tempo mnimo para a transmisso de uma mensagem, correspondente ao maior tempo que leva para que
consiga envi-la sem coliso atravs do meio. Esse tempo mnimo influencia
todos os servios de comunicao de tempo-real implementados em camadas
superiores, pois define o menor prazo de transmisso que pode ser atendido.
Dada a importncia deste parmetro, apenas MACs que possibilitam que ele
seja determinado ou conhecido, denominados MACs determinsticos, podem
ser usados em uma infra-estrutura de comunicao de tempo-real.
Um grande nmero de MACs foi proposto na literatura e pela indstria. A grosso modo, MACs podem ser divididos em trs grandes grupos
quanto ao mecanismo de acesso ao meio, como ilustrado na figura 1:
i) Baseados em disputa: cada mensagem a ser transmitida envolve
uma disputa entre os nodos pelo uso exclusivo do meio de transmisso. Nesta abordagem, colises so possveis e portanto mecanismos de resoluo de conflitos precisam ser incorporados ao
MAC. O atendimento de requisitos temporais no protocolo MAC
segue uma abordagem por priorizao, uma vez que no h predeterminao de escalas de transmisso. No entanto, como cada
nodo no precisa armazenar informaes globais, no h custos
para a adaptao a mudanas de topologia.
ii) Baseados em reserva de recurso: os nodos alocam previamente
uma parte da capacidade de transmisso do meio. Nesta abordagem, os conflitos entre os nodos so resolvidos na etapa de alocao de recurso, o que evita que ocorram colises. O atendimento
42
43
com o sinal presente no meio de propagao, pois o transceiver1 unidirecional. Mesmo que se usassem dois transceivers, o sinal transmitido teria uma
intensidade significativamente maior, comparada com outros sinais, e assim a
interferncia poderia no ser percebida. Desta forma, a deteco de colises
precisa ser feita por meios indiretos, como mensagens de confirmao.
O conjunto de nodos com que um nodo pode colidir formado por
aqueles diretamente em seu alcance, e pelos demais que esto no alcance
destes. Se o alcance em relao a um nodo for descrito como um salto, esse
conjunto pode ser definido como sendo composto pelos nodos que esto a
at dois saltos. Note-se que nessa definio um salto est relacionado com
o alcance de sinal obtido, e no com uma distncia predeterminada. Um
possvel problema se refere a colises causadas por transmisses simultneas
de dois nodos que esto fora de alcance mtuo, porm com um nodo receptor
a um salto de ambos - i.e. um nodo transmissor est a dois saltos do outro.
Como os transmissores esto fora de alcance, no h como detectarem suas
transmisses; neste caso, os transmissores esto escondidos um do outro. Na
figura 2 o nodo A transmite para o nodo C, e o nodo B transmite para D.
Como C est no alcance tanto de A quanto B, uma transmisso simultnea
destes dois ir causar uma coliso em C.
1 dispositivo que transforma o sinal de rdio recebido da antena em corrente eltrica no mdulo de rdio, e vice-versa
44
45
dos nodos.
Redes sem-fio em modo ad hoc carecem de controle central por definio, o que significa que em princpio no existem nodos com papis preestabelecidos de coordenao para as transmisses dos demais nodos. Numa
rede infra-estruturada um ou mais nodos servem como referncia aos demais,
o que pode auxiliar na alocao de recursos e na resoluo de conflitos. Na
ausncia de tal facilidade em modo ad hoc, o protocolo MAC deve implantar
estratgias de acesso ao meio e resoluo de conflitos totalmente distribudas.
Para protocolos baseados em reserva de recursos, a negociao para a alocao de recursos entre nodos implica alguma forma de consenso, que tem um
custo em nmero de mensagens trocadas e tempo para concluso.
Para protocolos MAC que adotam a segmentao de tempo, i.e. transmisses somente podem iniciar em instantes reconhecidos previamente por
todos os nodos, a sincronizao das transmisses se torna um problema fundamental. Os nodos devem manter temporizadores para demarcar os instantes
de transmisso, os quais devem estar sincronizados com uma preciso mnima. Como temporizadores dependem de relgios que podem progredir a
taxas diferentes (drift rate), a sincronizao dos relgios precisa ser efetuada
a intervalos regulares, ou mesmo constantemente, usando trocas de mensagens ou transmisses de nodos vizinhos como referncia. Desta forma, o problema da sincronizao implica a adoo de um protocolo para sincronizao
de relgios, a ser incorporado ao protocolo MAC.
As prximas subsees apresentam uma reviso de protocolos MAC
para redes sem fio que contriburam na proposta desta tese, discutindo suas
capacidades de atenderem requisitos de tempo-real de transmisses, mesmo
quando confrontados com a mobilidade dos nodos.
2.2.2 Protocolos MAC baseados em disputa
Protocolos MAC baseados em disputa implementam polticas de acesso
ao meio que se amparam basicamente em tentar efetuar uma transmisso, e
solucionar conflito se ocorrer coliso. Alguns destes protocolos adotam deteco de portadora antes de tentar uma transmisso, postergando-a se existir
sinal de transmisso no meio. Aps a transmisso, aguarda-se por alguma
confirmao sobre a recepo correta da mensagem. Caso no se consiga determinar se a mensagem foi recebida, efetua-se uma nova tentativa de transmisso. H diferentes formas de efetuar esses procedimentos, que esto representadas nos protocolos descritos a seguir.
46
2.2.2.1 CSMA/CA
Protocolos do tipo CSMA/CA se caracterizam por fazerem deteco
de portadora antes de uma transmisso, e por realizarem esperas de durao
aleatria antes de novas tentativas, se o meio estiver ocupado ao se tentar
iniciar uma transmisso, ou se ocorrer um erro de transmisso (comumente
uma coliso). Essas esperas so denominadas atraso de recuo, e suas duraes so sorteadas de acordo com um algoritmo de recuo exponencial binrio
(binary backoff ). O algoritmo de recuo se baseia numa janela de disputa,
que estima quantos nodos esto tentando usar o meio - quanto mais nodos,
maior a janela de disputa e consequentemente maior o intervalo de sorteio do
tempo de espera. Para uma nova transmisso, a janela de disputa inicia com
um valor mnimo, que duplicado a cada nova tentativa fracassada para um
mesmo quadro. Isso pode se repetir at que o quadro seja de fato transmitido,
ou ocorra desistncia por nmero excessivo de erros. Esse tipo de controle de
acesso ao meio apresenta uma utilizao efetiva do meio que depende da densidade de nodos, e da demanda por transmisso de cada nodo. Quanto mais
densa a rede, ou quanto maiores as taxas de transmisses dos nodos, menor a
utilizao efetiva. Nessa forma mais simples, um protocolo CSMA/CA no se
mostra determinstico, pois no possvel prever quanto tempo ir demorar
para que uma mensagem seja transmitida. Outras caractersticas relevantes
so seu funcionamento plenamente distribudo (que, portanto, prescinde de
controle central), e a ausncia de necessidade de sincronizao entre transmisses dos nodos.
Em sua forma bsica, um protocolo CSMA/CA no possui recursos
para tratar tanto o problema de nodos escondidos quanto de nodos expostos.
Devido ao fato de se amparar somente em deteco de portadora para decidir
o acesso ao meio, na verdade este tipo de protocolo tem como uma de suas
caractersticas a vulnerabilidade a esses problemas. Como consequncia, o
nmero esperado de colises deve aumentar com uma maior utilizao do
meio, devido existncia de nodos escondidos. Por outro lado, o aproveitamento do meio pode ser reduzido devido existncia de nodos expostos.
Devido ausncia de reservas de recursos e informaes globais a
serem mantidas nos nodos, o que torna desnecessrias negociaes para atualizaes quando acontecem mudanas de topologia ou de padro de trfego,
protocolos CSMA/CA se adaptam naturalmente a topologias dinmicas. Para
um protocolo como este, no h diferena entre uma topologia esttica ou
dinmica, uma vez que nodos no levam em conta as constituies de suas
vizinhanas em suas decises sobre o acesso ao meio.
O acesso ao meio do tipo CSMA/CA est presente com variaes em
padres da indstria, como IEEE 802.15.4, e em protocolos MAC propostos
47
pela academia como Black Burst. As duas subsees seguintes detalham esses
dois protocolos MAC, e comentam suas caractersticas face os requisitos para
protocolos MAC para redes sem-fio ad hoc com nodos mveis.
2.2.2.2 IEEE 802.15.4
O padro IEEE 802.15.4 para LR-WPAN (Low-Rate Wireless Personal Area Network) (IEEE, 2006) opera somente em modo ad hoc. Sendo um
padro para WPAN, sua finalidade prover servios de comunicao com
baixas taxas de transmisso (at 250 kbps) em redes sem-fio para nodos fixos, portteis ou mveis, com distncias relativamente curtas (tipicamente 10
m, podendo chegar a 100 m), e sem uso de infraestrutura. O padro admite topologias em estrela ou peer-to-peer, tendo a figura do coordenador PAN (Personal Area Network), um nodo eleito para executar certas operaes de gerncia do protocolo MAC. Por fim, o coordenador PAN auto-eleito quando
um nodo se descobre sozinho na rede.
A arquitetura do padro IEEE 802.15.4, ilustrada na figura 4, define a
camada fsica e a subcamada MAC.
No padro, uma WPAN pode operar nos modos beaconed ou nonbeaconed. No modo beaconed, o coordenador PAN define a estrutura de um
superframe, composto por at 16 slots e que representa o intervalo de tempo
em que os demais nodos a ele associados podem transmitir. Um superframe
delimitado por quadros de controle denominados beacons, como ilustrado
na figura 5. Um superframe pode ser dividido em um perodo ativo e um inativo, quando os nodos podem entrar em modo de baixo consumo de energia.
48
49
50
sncia de um mecanismo para tratar o problema dos nodos escondidos potencialmente deve reduzir a utilizao do meio de transmisso em uma rede ad
hoc. Assim, dependendo da topologia e da carga de mensagens existente na
rede, colises podem ocorrer devido a esse problema. De fato, como apontado em (KOHVAKKA et al., 2006), muitas colises podem acontecer devido
a nodos escondidos ou escolha de mesma durao de backoff por nodos diferentes, porm ambas situaes no podem ser evitadas pelo MAC especificado na norma. Isso contrasta com o protocolo MAC proposto nesta tese,
em que nodos se auto-organizam sempre que possvel para fazer acesso ao
meio livre de disputa e mantm informaes sobre possveis transmisses no
alcance de at 2 saltos, o que evita colises dessa natureza. Com isso, o
protocolo MAC proposto deve apresentar uma melhor utilizao do meio do
que CSMA/CA do IEEE 802.15.4, mesmo considerando-se o custo adicional
devido a seu mecanismo de auto-organizao.
2.2.2.3 Black Burst
O protocolo Black Burst, introduzido em (SOBRINHO; KRISHNAKUMAR,
1996), e descrito em maiores detalhes em (SOBRINHO; KRISHNAKUMAR,
1999), busca diferenciar trfego de tempo-real de trfego comum por priorizao no acesso ao meio. Esse protocolo foi projetado para prover garantias
de QoS para aplicaes de voz e vdeo, que necessitam acessar o meio a intervalos regulares e cujas sesses tm duraes relativamente longas. Para
priorizar o trfego de tempo-real, o protocolo usa um tempo menor de intervalo entre quadros, e assim resulta em maior probabilidade de acessar o meio.
Mas a principal inovao do protocolo BB a diferenciao entre trfegos de
tempo-real.
Ao invs de transmitir quadros de dados to logo obtenha acesso ao
meio, um nodo com trfego de tempo-real transmite um sinal de jam durante
um certo tempo, representado por um prembulo composto por um certo nmero de black slots. Ao final da transmisso desse sinal, o nodo verifica se
o meio est livre e, caso esteja, transmite seu quadro de dados. O sinal de
jam tem o propsito de resolver disputas entre nodos com trfego de temporeal, concedendo o acesso ao meio quele com o sinal mais duradouro - o que
significa que a durao do sinal de jam corresponde prioridade de acesso
ao meio. Para o nodo que perder a disputa resta repetir a tentativa de acesso
na prxima vez em que o meio se apresentar ocioso. A diferenciao entre
os nodos depende assim de cada um possuir um tempo diferente para o sinal de jam. Em essncia, o protocolo pretende criar um acesso ao meio com
priorizao semelhante a EDF, uma vez que a prioridade de acesso (represen-
51
tada pela tempo de jam) aumenta medida que um nodo perde disputas para
transmitir um quadro.
O exemplo contido na figura 6 mostra uma sequncia de quadros transmitidos pelo meio, a qual resulta de dois nodos, RT1 e RT2, disputando o
acesso ao meio. Os primeiros quadros de RT1 e RT2 podem ser transmitidos
imediatamente, uma vez que em ambos os casos o meio se encontra ocioso
por um tempo mnimo denominado tmed . Em seguida, o meio ocupado
por um quadro de dados de um terceiro nodo, e durante sua transmisso um
novo quadro de dados fica pronto para se transmitir tanto em RT1 quanto em
RT2. Nesse caso, como o meio estava ocupado quando esses nodos tentaram
acess-lo, o Black Burst inicia uma arbitragem com base nas prioridades desses quadros. A arbitragem se realiza pelo envio de um prembulo composto
por black slots, sendo que a quantidade de black slots corresponde a prioridade do respectivo quadro. No exemplo, o quadro do nodo RT1 tem maior
prioridade, pois foi precedido de dois black slots em comparao a um black
slot para o quadro de RT2, e assim vence a disputa. Aps sua transmisso, o
quadro de RT2 novamente arbitra o acesso ao meio porm usando dois black
slots, sendo finalmente transmitido.
Algumas limitaes existem para que o protocolo Black Burst seja
estvel e de fato possibilite que transmisses de tempo-real ocorram sem colises e com tempo de acesso ao meio limitado. A primeira e mais importante
52
diz respeito ao perodo de escalonamento de quadros, o qual deve ser idntico para todos os nodos. Disto depende a garantia de que os nodos usem
tempos de jam diferentes, uma vez que sua durao funo do tempo de
espera entre o incio da transmisso de um quadro e o meio ser detectado ocioso (quanto maior a espera, maior a durao do sinal de jam). Em (SOBRINHO; KRISHNAKUMAR, 1999) se demonstra que, com perodos idnticos,
os tempos de espera dos nodos diferem por pelo menos um tempo de quadro,
resultando em sinais de jam proporcionalmente distintos. No entanto, impor
tal limitao restringiria as possveis aplicaes de tempo-real capazes de usarem este protocolo. Mas se o nmero de diferentes perodos fosse limitado e
de duraes no muito dspares, o protocolo poderia ser estendido para que ao
sinal de jam fosse adicionada uma durao calculada em funo do perodo do
quadro a ser transmitido, conforme superficialmente discutido em (SOBRINHO; KRISHNAKUMAR, 1999). Outra limitao diz respeito existncia
de nodos escondidos, que o protocolo no leva em considerao. Assume-se
na descrio de seu funcionamento que os nodos estejam totalmente conectados, e que existe reaproveitamento espacial de canais implementado fora
do protocolo. Consequentemente, dois nodos fora de alcance mtuo podem
causar colises entre suas transmisses, uma vez que seus sinais de jam no
sero capazes de arbitrarem o acesso ao meio.
O protocolo Black Burst tem a propriedade interessante de prover
acesso ao meio determinstico para mensagens peridicas, respeitando-se as
restries descritas no pargrafo anterior. Ao usar prioridades para arbitrar
o acesso ao meio, esse MAC prescinde de negociaes entre nodos e manuteno de informaes de controle compartilhadas, o que o tornaria atrativo
para aplicaes com nodos mveis. No entanto, a ausncia de tratamento do
problema dos nodos escondidos deve propiciar a ocorrncia de colises, o
que poderia ser agravado por mudanas de topologias devido a mobilidade.
Esse problema no parece factvel de ser resolvido mantendo a simplicidade
da proposta, como se pode conferir no MAC WiDom descrito em (PEREIRA;
ANDERSSON; TOVAR, 2007), que estende o conceito de Black Burst para
possibilitar um nmero maior de prioridades. Alm disso, a durao dos tempos de jam implica um custo adicional que reduz a utilizao do meio possvel
de ser obtida.
2.2.2.4 RT-MAC
O protocolo RT-MAC, descrito em (BALDWIN et al., 2001), foi definido inicialmente para aplicaes de voz e vdeo, cujas mensagens possuem
deadlines, que usem redes IEEE 802.11. Como ponto de partida, identificaram-
53
se dois fatores principais que impactam o atendimento de deadlines de mensagens, a saber: a transmisso de mensagens atrasadas e colises entre transmisses. Mensagens atrasadas implicam uma falha dupla, pois alm da perda
de deadline h o desperdcio de tempo de transmisso do canal, uma vez que
so descartadas pelo receptor. Colises causam perdas de mensagens, e reduzir sua probabilidade de ocorrncia em redes IEEE 802.11 adiciona atrasos
aleatrios s transmisses. Assim, RT-MAC foca em informaes e procedimentos para tratar esses pontos especficos.
Duas informaes so adicionadas pelo RT-MAC para tratar os problemas acima descritos. Primeiro, o deadline de transmisso para forar o
descarte no transmissor de uma mensagem que perdeu seu deadline, ou ir
perd-lo antes de ser plenamente recebida pelo receptor. E em segundo lugar,
a divulgao do prximo valor de backoff a ser usado por uma estao, para
que as demais estaes evitem usar os mesmos valores de backoff e assim
reduza-se a probabilidade de colises. O deadline de transmisso impe um
tempo limite para a transmisso de uma mensagem, e tem carter puramente
local - i.e. no precisa ser adicionada ao cabealho da mensagem. Ambas
informaes so usadas nos procedimentos de transmisso do RT-MAC, definidos em um algoritmo de controle de transmisso e numa preveno incrementada de colises.
O algoritmo de controle de transmisso cuida de verificar o deadline
de transmisso de cada mensagem a ser transmitida, e descartar aquelas cujos
deadlines tenham expirado. Trs pontos durante a sequncia de transmisso
de uma mensagem so examinados com respeito ao deadline de transmisso.
Esses pontos so imediatamente posteriores a atrasos imprevisveis sofridos
por uma mensagem durante sua transmisso. Como primeiro ponto de verificao, o deadline examinado no momento em que uma mensagem tirada
da fila de sada, em preparao para sua transmisso. Se seu deadline no
tiver expirado, a estao transmissora entra em conteno devido ao tempo
de backoff, aps o que h um novo ponto de verificao. A mensagem ento transmitida, se seu deadline de transmisso no tiver sido excedido aps
a espera devida ao backoff. Finalmente, caso uma confirmao (mensagem
ACK) no tenha sido recebida e uma retransmisso precise ser feita, um terceiro ponto de verificao ocorre em seguida ao timeout de espera pelo ACK.
Com essas trs verificaes, uma mensagem expirada pode ser prontamente
identificada e descartada, o que evita transmisses desnecessrias.
A retransmisso de uma mensagem que possui um deadline no aceitvel, uma vez que o deadline pode expirar durante a retransmisso. Como
colises costumam ser causas frequentes para perdas de mensagens, evitlas adquire grande importncia. O protocolo RT-MAC inclui uma preveno
de colises denominada ECA (Enhanced Collision Avoidance), que se di-
54
vide em duas partes. Primeiro, ao invs de usar um valor fixo inicial para
a janela de congestionamento, calcula-se esse valor inicial com a expresso
sendo N o nmero estimado de estaes na rede, e R a capaci(2 + b 6 c)N,
R
dade do canal em Mbps. O segundo componente da ECA envolve a transmisso do prximo valor de backoff, e sua utilizao para evitar a sincronizao
de backoffs de diferentes estaes. Quando uma estao precisa escolher um
valor de backoff dentro da faixa [0,CW 1], so excludos os valores observados nas transmisses das estaes vizinhas. A cada slot ocioso, uma estao
decrementa seu valor de backoff, assim como os valores de backoff anotados
de suas estaes vizinhas. O compartilhamento do valor do prximo backoff
reduz, assim, a probabilidade de que duas estaes concluam seus backoffs
simultaneamente, o que acarretaria fatalmente em coliso. Note-se que o segundo componente da ECA implica uma forma de reserva de recurso, j que
a inteno coibir estaes vizinhas de usarem mesmos valores de backoff
e consequentemente a oportunidade de transmisso correspondente ao final
do backoff fica reservado estao que o anunciou. No entanto, essa reserva
vale apenas para a prxima transmisso, e assim no se pode afirmar que RTMAC faa reserva de recurso de fato, pois no se verifica um rateio regular e
duradouro da capacidade de transmisso do canal.
Numa MANET, em que as vizinhanas das estaes mudam com o
tempo, a preveno de colises do RT-MAC oscilaria em eficincia de acordo
com o grau de modificao da topologia em diferentes partes da rede. As
duas informaes usadas pela ECA para reduzir a probabilidade de colises,
sendo a varivel N e os valores de prximos backoffs das estaes, dependem
de estabilidade na topologia. Se a topologia se modifica, as estaes precisam
atualizar esses valores, o que depende de monitoramento do trfego. No caso
da divulgao de prximos valores de backoff, a atualizao depende dos perodos das streams geradas pelas estaes. Com isto, se a mtrica de durao
de enlace LD for prxima ou inferior aos perodos de streams, as estaes
envolvidas no tero tempo hbil para observar ou fazer uso dos valores de
prximos backoffs, reduzindo assim a eficincia da ECA para as streams em
questo.
Apesar de o RT-MAC ser um MAC puramente por disputa e diferir
substancialmente do protocolo MAC proposto nesta tese, algumas ideias nele
apresentadas foram aproveitadas. Em particular o compartilhamento de informaes entre nodos, de forma a auxili-los a tomarem decises quanto
ao acesso ao meio. O compartilhamento no envolve consenso, o que evita
negociaes entre nodos para manuteno de estado, porm as informaes
podem ser usadas pelos nodos que as receberam para que possam transmitir
em instantes mais apropriados.
55
56
57
cala dinmica, por outro lado, construda medida que nodos estabelecem
enlaces ou apresentam diferentes demandas de trfego.
Em uma escala dinmica, os eventos que modificam a escala de transmisso causam uma realocao de time-slots, que deve ser comunicada a
todos os nodos, o que pode ser feito de forma centralizada ou distribuda.
Com abordagem centralizada um nodo tem o papel de coordenador para administrar a escala de alocao de time-slots, efetuando as modificaes e
comunicando-as aos demais nodos. No entanto, essa abordagem implica o
coordenador receber informaes de todos os nodos que fazem parte da escala de transmisso. Como exemplos citam-se o protocolo MAC RT-Link
(ROWE; MANGHARAM; RAJKUMAR, 2008), que agrega as listas de adjacncias de todos os nodos em um nodo coordenador, onde um algoritmo de
colorimento de grafos aplicado para determinar a escala de transmisso, e o
algoritmo RAND (RHEE et al., 2009) que determina de forma centralizada a
escala de transmisso em uma rede de nodos estticos. Na abordagem distribuda, a convergncia da escala de transmisso em todos os nodos implica a
obteno de um consenso, com maior complexidade em termos de quantidade
de mensagens de controle transmitidas e tempo para concluso em comparao abordagem centralizada. Como aspecto positivo, a abordagem distribuda no depende de os nodos estarem todos no alcance de nenhum nodo
em particular. Como exemplos, tanto o protocolo MLMAC (MANK; KARNAPKE; NOLTE, 2007) quanto o algoritmo DRAND (RHEE et al., 2009)
determinam de forma distribuda a escala de transmisso, porm se aplicam
58
59
2.2.4.1 Z-MAC
O protocolo hbrido Z-MAC, apresentado em (RHEE et al., 2005), se
prope a combinar as vantagens de CSMA e TDMA, tendo sido projetado
para uso em redes de sensores sem-fio. A principal caracterstica apontada
para Z-MAC sua adaptabilidade ao nvel de conteno na rede de forma
que sob baixa disputa se comporte como CSMA, e sob alta disputa se aproxime de TDMA. Tambm se alega que ele incorpora robustez a mudanas de
topologia, algo necessrio a seu possvel uso em MANET, e falhas de sincronizao, uma propriedade necessria para seu componente TDMA. De acordo
60
com estas propriedades, no pior caso Z-MAC tende a funcionar como CSMA,
obtendo um desempenho comparvel.
Z-MAC usa CSMA como mtodo bsico de acesso ao meio, com TDMA
servindo de incremento para melhorar a resoluo de disputas. Inicialmente,
um time slot atribudo a um nodo com o algoritmo DRAND (RHEE et al.,
2006), com um determinado overhead, que pode ser amortizado ao longo do
tempo de operao do nodo, dependendo do grau de dinamismo da topologia
da rede. A cada perodo TDMA, os nodos podem acessar o meio com exclusividade em seus time slots. Mas, ao contrrio de um protocolo TDMA,
os nodos podem tambm transmitirem em outros time slots que no os seus
prprios, porm com menor prioridade. Se um nodo tiver um quadro para
transmitir, e detectar que aps um tempo mnimo contado do incio do time
slot atual no h transmisso em andamento, ento pode tentar transmiti-lo
imediatamente. Em seu prprio time slot um nodo transmite sempre imediatamente, o que lhe confere maior prioridade de acesso ao meio. Esta combinao pretende possibilitar que time slots ociosos sejam aproveitados, porm
provendo ao menos um intervalo de tempo peridico em que cada nodo possa
transmitir sem conteno. E, em caso de conflitos, possivelmente causados
por falhas de sincronizao ou mudanas de topologia, ao menos o componente CSMA pode possibilitar que os nodos continuem conseguindo transmitir, mesmo que com desempenho momentaneamente degradado.
A configurao inicial do Z-MAC possui um custo significativo, e deve
ser executada sempre que houver uma mudana relevante nas condies da
rede, como a variao da topologia. A configurao se compe das etapas de
descoberta de vizinhos, atribuio de time-slots, definio dos perodos locais
e sincronizao de tempo global. Na descoberta de vizinhos, um novo nodo
61
62
Figura 10 Superquadro com GTS no IEEE 802.15.4 - adaptado de (KOUBAA; CUNHA; ALVES, 2007)
63
64
65
66
67
68
69
70
quatro propriedades citadas como variveis lingusticas. Esse valor de pertinncia, que se situa no intervalo [0, 1], ao final suavizado usando um filtro
EWMA2 para melhorar sua estabilidade (i.e. evitar oscilaes abruptas de
valor).
Cada uma das quatro seguintes propriedades consideradas por F-LQE
se relaciona com uma mtrica de qualidade de enlace:
i) Entrega de pacotes: relacionada capacidade de um enlace entregar corretamente pacotes. Essa propriedade capturada por
alguns estimadores existentes, como PRR, WMEWMA e ETX,
mas no por outros como RNP. F-LQE obtm a entrega de pacotes de um enlace a partir de medies de SPRR (Smoothed
Packet Reception Ratio) , uma mtrica derivada de WMEWMA.
ii) Assimetria: informa a diferena de conectividade entre as direes comunicao de um enlace. Comunicao entre nodos em
uma rede sem-fio usualmente bidirecional, porm assimetrias
se manifestam devido a diferena entre potncias de transmisso
dos nodos, sensitividade de recepo e rudo de fundo. Alguns
LQEs levam em considerao a assimetria, como ETX, mas outros como PRR, WMEWMA e RNP no. F-LQE calcula a assimetria medindo a diferena entre os valores de PRR de ambos
os sentidos de comunicao de um enlace, denominando-a ASL
(ASymmetry Level).
iii) Estabilidade: essa propriedade indica a variabilidade da qualidade do enlace, no sendo considerada por outros estimadores
conhecidos. A estabilidade de um enlace, denominada SF (Stability Factor), foi definida como o coeficiente de variao de PRR.
O clculo do valor de SF para um determinado enlace se faz dividindo o desvio padro dos 30 ltimos valores de PRR medidos
por sua mdia, sendo que valores prximos de zero indicam um
enlace estvel.
iv) Qualidade de canal: denominada ASNR(Average Signal to Noise
Ratio)e obtida por meio da mdia das medies da relao sinalrudo SNR. Apesar do valor de ASNR no poder sozinho caracterizar a qualidade de um enlace, ele pode aumentar a acurcia
de uma estimativa de qualidade. Isso se deve a maior tolerncia
que um enlace com valor elevado de ASNR possui em relao a
variaes no rudo de fundo.
2 Exponentially
71
Figura 13 Funes de pertinncia para as variveis lingusticas das propriedades de enlace no F-LQE. Fonte: (BACCOUR et al., 2010)
(2.1)
Na equao 2.1, (i) a pertinncia do enlace i ao conjunto dos enlaces de boa qualidade, e o parmetro uma constante no intervalo [0, 1].
As funes SPRR (i), ASL (i), SF (i) e ASNR (i) representam a pertinncia do
enlace i respectivamente aos conjuntos difusos de alta entrega de pacotes,
baixa assimetria, alta estabilidade e alta qualidade de canal. Essas funes de
pertinncia so definidas por dois parmetros que podem ser ajustados dependendo da aplicao, de forma que sejam representadas por funes lineares
por partes, como mostrado na figura 13. A estimativa de qualidade de enlace
finalmente definida de acordo com a equao 2.2, resultando em valores
no intervalo [0, 1]. Esses so obtidos com a aplicao de um filtro EWMA,
considerando um parmetro e uma janela de tamanho configurvel.
LQ(i) = 100 (i)
FLQEn+1 (i) = FLQEn + (1 ) LQ(i)
(2.2)
72
O estimador F-LQE apresenta caractersticas importantes para atender os requisitos identificados para o protocolo MAC proposto nesta tese. A
combinao das propriedades de enlace selecionadas resulta em um estimador bidirecional potencialmente estvel. Porm seu desempenho depende de
ajustes de seus parmetros, de forma que possa se adaptar adequadamente s
mudanas de topologia caractersticas de uma rede com nodos mveis.
2.4 CAPACIDADE TEMPO-REAL
O uso de um protocolo MAC hbrido em uma rede sem-fio com nodos
mveis procura conciliar um acesso ao meio em tempo previsvel, usando alguma abordagem baseada em reserva de recursos, com um acesso ao meio
baseado em disputa capaz de se adaptar a mudanas de topologia que acarretam variaes nas qualidades de enlaces entre nodos. De certa forma, um
MAC hbrido implementa um tipo de acesso coordenado entre os nodos, o
qual visa melhorar a utilizao da capacidade de canal e possivelmente prover oportunisticamente um acesso ao meio em tempo limitado. No caso de
uma aplicao que se comunique com mensagens que possuem prazos de entrega, e que se propaguem por mltiplos saltos entre suas fontes e destinos,
a taxa de entrega de mensagens deve ser sensvel a mobilidade da rede. Isso
se deve a interrupes temporrias na capacidade de nodos encaminharem
mensagens, enquanto o MAC se adapta a mudanas de vizinhanas. Assim,
os atrasos adicionais devidos a reconfiguraes de nodos devem causar uma
taxa de perda de mensagens devido a expiraes de prazos de entrega. Se
o padro de interrupes de comunicao puder ser caracterizado, a taxa de
perda de mensagens mxima poderia ser conhecida. Porm isso depende de
se poder determinar que taxa de entrega de mensagens uma rede capaz de
atender sabendo-se os atrasos envolvidos durante as transmisses de mensagens.
A capacidade tempo-real de uma rede sem-fio um conceito proposto
para quantificar a propriedade que uma rede possui de entregar mensagens
dentro de seus prazos (ABDELZAHER; PRABH; KIRAN, 2004). Esse trabalho foi motivado por resultados existentes em escalonamento de tarefas
aperidicas de tempo-real que especificam limites de utilizao de sistemas
compostos por mltiplos recursos. Por analogia, determinou-se uma carga
mxima de mensagens que uma rede capaz de atender, as quais devem ser
transmitidas por um certo nmero de saltos e possuem prazos de entrega. Essa
carga mxima foi denominada capacidade tempo-real de uma rede, sendo
uma condio suficiente para a escalonabilidade do conjunto de mensagens
considerado.
73
Njl j
jM D j
(2.3)
74
= (1
Dc
), Dc < Dmin
Dmin
(2.5)
A aplicao da anlise da capacidade tempo-real a uma rede com nodos mveis oferece alguns problemas. Como nessas redes a topologia se modifica continuamente, os tamanhos de vizinhana dos nodos podem se alterar
ao longo do tempo. Alm disso, essas mudanas de topologia podem exigir
reconfiguraes nas informaes mantidas para fins de roteamento e tambm
no estado do protocolo MAC. Se nessa rede for usado um protocolo MAC
hbrido como proposto nesta tese, que trabalha para que nodos possam transmitir em modo livre disputa sempre que possvel, sua adaptao a uma modificao de vizinhana pode causar uma interrupo temporria nesse modo
de acesso ao meio. Desta forma, numa rede como essa as mensagens estaro
sujeitas a atrasos adicionais causados por essas reconfiguraes, que devem
0
ser contabilizados no parmetro Dc da inverso de urgncia .
75
76
77
14.
importante frisar que a auto-organizao se apresenta como um requisito porque o protocolo HCT-MAC foi projetado para ser usado em MANETs, onde nodos no esto previamente a par da topologia da rede, tampouco de suas vizinhanas. A abordagem escolhida se baseia no uso inicial
de acesso ao meio com disputa, que muda para modo reserva de recursos do
tipo TDMA medida que clusters se formam e se tornam estveis. Isso significa que assim que nodos se auto-organizam em clusters, podem reservar
time-slots dentro do superquadro alocado ao cluster e efetuarem transmisses
de maneira previsvel. Assume-se tambm que a atribuio de time-slots no
HCT-MAC seja feita de forma iterativa e adaptativa. Assim, possvel obter tempos previsveis para acesso ao meio, dada a caracterstica TDMA do
protocolo, porm possibilitando modificaes na escala de uso de time-slots
pelos nodos. Essas modificaes na escala, de acordo com o protocolo, se
apresentam como interrupes nas transmisses em modo reserva de recursos
e devem ser percebidas como perturbaes em suas propriedades temporais.
A temporizao no protocolo HCT, mostrada na figura 14, possui uma
estrutura peridica e hierrquica. Um ciclo o perodo bsico de transmisses, que pode ser visto como uma unidade de tempo definida pelo protocolo.
Ele um intervalo de tempo comum a todos os nodos, sendo dividido em
superquadros que por sua vez destinam-se a serem alocados por clusters. Superquadros possuem todos a mesma durao, o que significa que possuem a
mesma quantidade de time-slots, sendo que dois deles so usados para o envio de quadros de controle chamados de beacons. Os time-slots restantes so
usados por outros nodos membros do cluster. A durao predefinida do ciclo
de transmisso limita a quantidade de superquadros e, consequentemente, de
clusters vizinhos. Isso significa que em qualquer localizao na rede, a quantidade de clusters distantes entre si at dois saltos limitada pelo nmero de
superquadros disponveis. Finalmente, dentro de cada cluster os time-slots
78
Campo
src
SF
cluster
slot
seq
NQ
CH map
status
slots
control
status map
Descrio
Identificador do transmissor
nmero do superquadro onde se faz a transmisso
identificador do cluster a que pertence o transmissor
nmero do time-slot em que se faz a transmisso
nmero de sequncia da transmisso
qualidade dos enlaces vistos pelo nodo
mapa de clusters por superquadros
status de ocupao dos superquadros
quantidade de time-slots por superquadro
bits de controle (somente usado o bit de ltima transmisso)
mapa de uso de time-slots
Tabela 1 Campos do cabealho HCT-MAC
79
80
. se no membro de cluster
81
3.3 SINCRONIZAO
A estrutura de tempo hierrquica usada no HCT, mostrada na figura
14, divide ciclos de transmisso em superquadros, e esses por sua vez em
time-slots. A existncia dessa estrutura implica estarem os nodos sincronizados tanto em nvel de time-slot quanto de superquadro. A sincronizao
de time-slots possibilita que o acesso ao meio livre de disputa feito por nodos membros de cluster ocorra sem erros de sobreposio de mensagens. J
a sincronizao de superquadros se torna necessria para que cluster-heads
consigam aloc-los sem conflitarem entre si. Esses dois tipos de sincronizao no HCT-MAC so discutidos a seguir.
3.3.1 Sincronizao em nvel de time-slot
Como o protocolo HCT-MAC efetua transmisses em tempo segmentado, ele depende de sincronizao de relgios de transmisso nos nodos para
que estes possam identificar time-slots com preciso aceitvel. A sincronizao pode ser restrita delimitao de time-slots, o que no demanda a manuteno de um tempo global. Isso simplifica o problema, pois suficiente
82
que os relgios dos nodos tenham a mesma taxa e resoluo, e que exista
um limite superior para as diferenas da taxas de derivao entre os relgios
de quaisquer pares de nodos. A estratgia a ser adotada usa a recepo de
mensagens para sincronizar os relgios dos nodos de um cluster, de forma
semelhante ao protocolo de sincronizao RBS, descrito em (ELSON; GIROD; ESTRIN, 2002). De fato, a recepo de uma mensagem reinicia o relgio local de um nodo, para que seu temporizador possa disparar nos instantes
corretos (que correspondem aos incios dos time-slots). O ajuste a ser feito no
relgio de um nodo descrito pela equao 3.1, que subtrai do valor atual trcv
do relgio (que corresponde ao instante de recepo de uma mensagem) os
tempos de transmisso da mensagem L/B e de processamento envolvido t proc
(L o tamanho da mensagem em bits, incluindo possveis overheads de cabealhos, e B a taxa de bits usada na rede). O valor resultante tnext corresponde
ao incio do prximo time-slot, porm ajustado a de acordo com a mensagem
recebida. Esse ajuste, no entanto, possui uma preciso que depende da resoluo do relgio e de atrasos adicionais que podem ocorrer na transmisso e
recepo de mensagens.
L
tnext = trcv ( + t proc )
(3.1)
B
De forma simplificada, a incerteza t em um relgio local de um nodo
pode ser modelada pela variao do atraso de propagao da mensagem ( Dc ,
sendo D o alcance mximo de transmisso e c a velocidade da luz), adicionado ao seu tempo de processamento (t proc ) e a resoluo local do relgio
(ttick ). Isto pode ser visto na equao 3.2, considerando que os nodos sejam
homogneos e assim t proc e ttick sejam aproximadamente iguais em todos os
nodos:
D
t = + t proc + ttick
(3.2)
c
83
tslot =
Lmax
+ t
B
(3.3)
k. Lmax
k
1
B
=
.
(n + 2).tslot
n + 2 1 + L B .t
max
(3.4)
84
85
86
87
88
tabela de alocao de superquadros que o superquadro atual pertence ao cluster do transmissor, o que est descrito entre as linhas 16 e 26. Em caso de
empate nas votaes dos clusters do transmissor e do dono do superquadro
atual, vence aquele que tiver o maior identificador de cluster. Esse procedimento sincroniza os superquadros de forma iterativa, escorando-se nas fontes
de sincronismo para ajustar incios de superquadros e ciclos de transmisso,
e tambm aprender que superquadros esto alocados por clusters at 2 saltos.
J o aprendizado de que superquadros esto alocados por clusters vizinhos
feito diretamente a partir de suas mensagens recebidas.
O sincronismo de superquadro nos cluster-heads tem uma acrscimo
importante em relao quele realizado em nodos comuns. Caso um clusterhead detecte um conflito de alocao com seu superquadro, a sincronizao
de superquadro descrita no algoritmo 3.4 pode resultar em sua manuteno
ou liberao. Assim, aps a sincronizao um cluster-head deve conferir o
estado de alocao de seu superquadro, o que est descrito no algoritmo 3.5.
Nesse algoritmo, as linhas 5 a 10 so executadas se o cluster-head mantiver
o superquadro, quando deve ainda testar se a quantidade mnima de superquadros livres continua respeitada. Como se pode observar, se essa condio
tiver sido violada, o superquadro deve ser liberado. As linhas 12 a 20 so executadas se o cluster-head perder seu superquadro, quando ento deve tentar
89
90
O desempenho do algoritmo de sincronizao de superquadros foi investigado durante os experimentos de simulao realizados neste trabalho,
detalhados no prximo captulo. Antecipam-se aqui os resultados relativos
sincronizao dos nodos.
3.3.3 Anlise de desempenho
Para a anlise de desempenho da sincronizao de superquadros foram
simuladas redes com 60 nodos mveis dispostos em reas de tamanho varivel segundo dois modelos de mobilidade (corrida e randmico). No primeiro
caso nodos se moveram segundo um modelo de corrida, seguindo todos uma
mesma direo e em trajetria circular com um determinado raio. No segundo caso, nodos se movimentaram de acordo com um modelo randmico,
em direes aleatrias dentro de uma rea quadrada. O simulador foi criado
usando o framework de simulao Omnet++ (VARGA, 2001). Foram adotados os modelos para rdio e canal de comunicao sem-fio providos no projeto Castalia (PHAM; PEDIADITAKIS; BOULIS, 2007), que implementam
um modelo de rdio compatvel com IEEE 802.15.4 (IEEE, 2006) e um modelo de sinal conforme apresentado por (ZUNIGA; KRISHNAMACHARI,
2004). Esse modelo de sinal faz com que a taxa de recepo de pacotes (PRR)
91
dependa da relao entre potncia de sinal transmitido e a distncia entre nodos transmissor e receptor, estando sujeita ainda a variaes devido a rudo
branco e interferncias por transmisses de outros nodos (i.e. modelo de coliso aditiva). Sobre essa camada fsica criou-se um modelo de simulao para
o protocolo HCT-MAC. Por fim, o simulador incorporou uma aplicao que
gerou trfego composto por mensagens peridicas. Essa aplicao transmitiu
mensagens usando diretamente o protocolo MAC simulado.
Para realizar as simulaes os seguintes parmetros foram definidos.
Os ciclos de transmisso foram compostos de 6 superquadros, cada um com
8 time-slots. Os experimentos tiveram tempo de simulao de 120 segundos,
e como cada nodo transmitiu uma mensagem por ciclo, foram geradas 2500
mensagens por nodo. O modelo de sinal foi ajustado para um cenrio externo, com expoente de decaimento 2.4 e distncia de referncia d0 de 10m.
Usaram-se potncias de transmisso de 10 dBm, com alcance tpico de 90
m (antes de iniciar a regio de transio de sinal), e 15dBm, com alcance
de 50 m. Em ambos modelos de mobilidade, randmico e de corrida, as
velocidades dos nodos foram sorteadas no intervalo dado por [vmax /2, vmax ],
sendo vmax a velocidade mxima usada em um experimento. As velocidades
mximas usadas no modelo de corrida foram 10, 20 e 30 m/s, e no modelo
randmico foram 10 e 20 m/s. O raio de trajetria no modelo de corrida variou entre 20 e 250 m, com incrementos de 10 m a cada nova simulao. No
caso do modelo de mobilidade randmico, o comprimento de lado do espao
de movimentao variou entre 50 e 400 m, com incrementos de 10 m a cada
simulao.
Os experimentos tiveram por objetivo contabilizar os quadros recebidos fora de sincronismo de superquadros (i.e. fora dos superquadros de seus
clusters). Aps cada simulao, as quantidades de quadros recebidos fora de
sincronismo foram divididas pelo nmero total de quadros recebidos, resultando na taxa de quadros no-sincronizados mostrado nos grficos contidos
na figura 20.
A sincronizao de superquadros variou tanto com o espao disponvel
para movimentao dos nodos quanto a mudana na potncia de transmisso
dos rdios. A combinao de ambas caractersticas influenciou no tamanho
mdio de vizinhana dos nodos, dado pelo nmero mdio de nodos adjacentes
de cada nodo. Espaos maiores ou potncias de transmisso menores diminuram o tamanho mdio de vizinhana, enquanto o contrrio aconteceu com
espaos menores ou maiores potncias de transmisso. O tamanho mdio de
vizinhana pode ser entendido como uma densidade de nodos na rede.
Em todos os casos simulados, as taxas de quadros no sincronizados
apresentaram seus menores valores em redes com densidades altas, dados pelos menores valores de raios de trajetria ou comprimentos de lado. Nesse
92
0.004
10 m/s
20 m/s
30 m/s
0.0035
0.003
0.0025
0.002
0.0015
0.001
0.0005
0
0
50
100
150
Raio de trajetoria (m)
200
250
0.0035
0.003
0.0025
0.002
0.0015
0.001
0.0005
0
0
50
100
150
200
250
Comprimento de lado (m)
300
350
400
93
caso, como cada nodo possua enlaces com todos os demais nodos da rede,
no existiram casos de nodos escondidos e a sincronizao rapidamente convergiu. Acima de um certo valor de raio de trajetria ou comprimento de lado,
a taxa de quadros no sincronizados cresceu acentuadamente at atingir um
patamar mximo, a partir de que diminuiu gradativamente. Isso pode ser explicado considerando-se que medida que a densidade diminuiu os tamanhos
de vizinhana dos nodos tambm se reduziu, passando a existirem nodos escondidos. Com isso, a sincronizao de superquadros demora um pouco mais
a convergir, visto que incios de ciclos e escalas de uso de superquadros podem vir a divergir em diferentes partes da rede. O ajuste da sincronizao
de superquadros pode demorar alguns ciclos pois depende justamente da recepo de quadros fora de sincronismo para ser desencadeada. Assim, pode
ser identificado um intervalo de valores de densidade da rede que maximizou a ocorrncia de superquadros sobrepostos ou fora de sincronismo. No
entanto, mesmo nesses piores casos a taxa de quadros no sincronizados no
ultrapassou o valor de 0.004 (0.4 %), o que pode ser considerado excelente.
3.4 ESTIMADOR DE QUALIDADE DE ENLACE
O protocolo HCT-MAC depende de um estimador de qualidade de enlace (LQE) para a formao de clusters. Como apresentado na seo 4, as
abordagens de formao de clusters usam medies de qualidade de enlace
para decidir que agrupamentos de nodos devem ser formados. Assim, estimativas mais precisas de qualidade de enlace favorecem escolhas de bons
cluster-heads e nodos membros.
Um estimador de qualidade de enlace (LQE) deve atender certos requisitos para melhor atender as necessidades do HCT-MAC. Alm das propriedades de estimadores de qualidade de enlace discutidas na seo 2.3, outras
caractersticas so necessrias devido ao uso em MANET. Como a topologia
da rede pode mudar frequentemente, devido mobilidade dos nodos, a medio de qualidade de enlace deve ser feita continuamente. O LQE deve assim
se adaptar rapidamente s mudanas de topologia que impliquem alterao
nas qualidade dos enlaces. Porm o LQE deve evitar que flutuaes momentneas nas qualidades de enlace produzam variaes significativas em suas
estimativas, o que poderia causar instabilidades na formao de clusters. Assim, optou-se pelo estimador F-LQE, apresentado na seo 2.3, com algumas
modificaes para uso com o HCT-MAC.
O estimador F-LQE combina quatro propriedades de enlaces, calculadas a partir de medies baseadas em quadros recebidos: entrega de quadros,
assimetria, estabilidade e qualidade de canal. Todas so medidas continua-
94
95
pela variao na distncia ASNR, que expressa a qualidade de canal. Porm a suavizao feita no clculo de ASNR com uma mdia das ltimas w
medies, apesar de estabilizarem seus valores e evitarem oscilaes sbitas,
reduzem sua resposta a variaes na intensidade de sinal devido a variaes
de distncias entre nodos. No HCT-MAC isso foi atenuado reduzindo-se o
valor de w e assim aumentando-se a responsividade de ASNR. Por fim, o
F-LQE efetua as atualizaes em suas mtricas a partir da recepo de mensagens, porm o HCT-MAC precisa que sejam feitas com base nos ciclos de
transmisso transcorridos. Essa modificao foi necessria porque a autoorganizao em clusters implica a avaliao contnua das qualidades de enlaces entre nodos, uma vez que esses valores so usados tanto no processo
de votao quanto de auto-eleio. Assim, ausncias de mensagens de um
determinado nodo devem ser contabilizadas como mensagens perdidas.
96
97
4 AUTO-ORGANIZAO EM CLUSTERS
4.1 INTRODUO
No HCT-MAC a auto-organizao se realiza pelo agrupamento de nodos para fins de alocao de time-slots de superquadros, o que os habilita a
acessarem o meio em modo livre de disputa. Esses agrupamentos, denominados clusters, so formados quando um nodo se torna cluster-head e aloca um
superquadro. Em seguida, nodos em torno desse cluster-head alocam timeslots de seu superquadro. A formao de um cluster portanto ocorre em duas
etapas: i) a escolha de seu cluster-head e ii) o ingresso de nodos comuns.
Como os requisitos fundamentais desse MAC so a transmisso de quadros
em tempo limitado e conhecido, assim como a reconfigurao em tempo esperado previsvel, a formao de clusters precisa ser breve, uma vez que se
enquadra como uma reconfigurao na rede.
Um cluster pode ser criado por eleio do cluster-head dentre um conjunto de nodos que se veem sozinhos. Uma classificao de esquemas de
formao de clusters descrita em (YU, First Qtr. 2005) identifica propostas
que levam em considerao posio geogrfica ou conectividade, balanceamento da quantidade de nodos por cluster, menor manuteno, eficincia no
uso de energia e mobilidade dos nodos. Existe um overhead para formao e
manuteno de clusters, por causa das mensagens de controle e dos diversos
passos de iterao envolvidos em muitos desses esquemas. Como deseja-se
aqui uma configurao rpida, o esquema de criao de cluster deve envolver
uma negociao mnima entre nodos. Assim, as abordagens investigadas para
o HCT-MAC prescindem de consenso entre nodos, evitando a manuteno de
estados entre conjuntos de nodos.
Um elemento chave na estrutura de um cluster o cluster-head, um
nodo especial responsvel por iniciar as transmisses no escopo de um cluster, contabilizar time-slots utilizados e ociosos, e reportar aos nodos membros
que transmisses foram bem sucedidas (i.e. foram por ele detectadas). O incio de um cluster ocorre quando um nodo se torna cluster-head, reservando
um superquadro dentro do ciclo de transmisso e divulgando sua existncia
por meio de quadros beacon. O cluster completa sua formao quando nodos avulsos no alcance do cluster-head detectam seu superquadro e passam
a utilizar seus time-slots, tornando-se assim membros de cluster. Idealmente
o cluster-head deve ser o nodo com melhores qualidades de enlace para seus
nodos adjacentes dentro da regio coberta pelo cluster. Com isso se reduz
a probabilidade de erros de manuteno do cluster, que poderiam ocorrer se
98
99
100
Cluster head, um nodo volta a ser Nodo Avulso se seu cluster se tornar vazio,
ou se houver um conflito de superquadro e no houver mais superquadros disponveis. Como se pode notar, na auto-eleio em nenhum momento um nodo
negocia com seus nodos vizinhos para se tornar cluster-head. A deciso de
um nodo sobre eleger-se cluster-head depende somente da coleta de informaes sobre sua vizinhana. Essas informaes dizem respeito s qualidades
dos enlaces dos nodos vizinhos em relao ao candidato a cluster-head.
Na abordagem com auto-eleio, a escolha de cluster-heads se ampara
na mtrica NQ. Seu valor reflete a quantidade de nodos vizinhos com que
um nodo pode se comunicar com boa qualidade de enlace - i.e. com baixa
probabilidade de erros de transmisso. Essa mtrica pode assumir valores
entre 0 (nenhum nodo vizinho com boa qualidade de enlace) e 1 (mxima
quantidade de nodos vizinhos, e todos com mxima qualidade de enlace).
nmero de cluster-heads devem ser auto-eleitos dependendo de seus valores
de NQ.
Em uma implementao ideal dessa abordagem, cada nodo deve ser
capaz de comparar seu valor de NQ com aqueles calculados por seus vizinhos. Desta forma, os nodos cujos valores de NQ sejam os melhores dentro de suas vizinhanas devem tornar-se cluster-heads. No melhor caso, a
quantidade de cluster-heads na rede deve ser maximizada, o que favoreceria
que mais nodos possam ingressar nos respectivos clusters. Assim, assumindo
que o protocolo MAC consiga implementar perfeitamente essa abordagem, a
auto-organizao resultante na rede pode ser modelada como um problema
de programao linear inteira conforme a formulao 4.1. Nessa formulao, as possveis solues para as variveis C j representam os cluster-heads a
surgirem em uma rede, e a quantidade de cluster-heads Ni=1 Ci deve ser maximizada respeitando-se as restries dadas pela topologia da rede. A primeira
restrio define que os cluster-heads devem ter valores de NQ, representados
nas variveis Qi , maiores do que aqueles apresentados por nodos comuns adjacentes. A segunda e terceira restries definem que h no mximo Cmax
cluster-heads capazes de se interferirem, i.e. em torno de qualquer cluster-
101
Maximize
Ci
i=1
s.a.
Qi + (C j 1)mi j Q j Ci 1, i, j I
N
Li jC j < Cmax Ci , i I
j=1
N
j=1 k=1
(4.1)
sendo que:
I = {x N/1 x N} o conjunto de ndices dos N nodos.
C j {0, 1},C j = 1 se nodo j for um cluster-head.
mi j {0, 1}/mi j = dqi j Lre f e, mi j = 1 se o valor LQ do nodo j medido pelo nodo i tiver valor aceitvel.
Li j {0, 1}/Li j = dqi j Lmin e, Li j = 1 se as transmisses do nodo j
podem interferir nas transmisses do nodo i.
Qi [0, 1] o valor NQ do nodo i.
Lre f o menor valor aceitvel de LQ.
Lmin o menor valor de LQ capaz de causar interferncia nas transmisses entre nodos.
Cmax a maior quantidade de clusters at dois saltos de distncia,
sendo que Cmax deve ser menor que a quantidade de superquadros por ciclo de transmisso.
Para que nodos possam comparar seus valores de NQ com de seus
vizinhos, e assim decidirem se so bons candidatos a cluster-head, os valores
de NQ devem ser compartilhados. Cada nodo precisa definir seu valor de NQ
a cada ciclo de transmisso, calculando-o a partir das qualidades de enlace de
seus nodos vizinhos conforme descrito na subseo 4.2.1.1. Cada mensagem
que um nodo enviar deve assim possuir seu valor NQ includo no campo NQ
do cabealho HCT-MAC, mostrado na figura 15. Desta forma, todos os nodos
podem calcular continuamente seus valores NQ e divulg-los para todos os
demais nodos em seus alcances. Com isso os nodos podem comparar seus
valores NQ com os valores recebidos de seus vizinhos, tendo assim subsdios
102
N
N
1 j=1 dqi j Lre f e qi j
dq
L
e
+
i j re f
N
Nj=1 dqi j Lre f e
j=1
(4.2)
O clculo de NQ depende da estimativa acurada da qualidade de enlaces individuais. Como discutido na subseo 2.3, um estimador para uma
rede com nodos mveis deve fornecer estimativas que balanceiem responsividade, para se adaptar rapidamente a mudanas devido a movimentaes de
nodos, e estabilidade, para evitar oscilaes fortuitas devido a interferncias
momentneas. Esse estimador deve tambm ser bidirecional, e isso fica evidente ao se considerar seu uso para a definio de NQ. Para um nodo, um
valor de NQ alto indica que todas as mensagens enviadas pelos potenciais
nodos membros de seu cluster tm probabilidade alta de serem corretamente
recebidas, e que todas as mensagens que transmitir sero recebidas por esses
nodos membros. Assim, o estimador de qualidade de enlace a ser utilizado
deve atender esses requisitos para possibilitar que os valores de NQ sejam
103
acurados.
4.2.2 Abordagem por votao
Uma segunda abordagem para a escolha de cluster-heads baseia-se na
eleio por nodos vizinhos. Ao invs de um nodo comparar seu valor NQ com
os de seus nodos vizinhos, como na abordagem por auto-eleio, um nodo
deve receber uma quantidade mnima de votos para poder se tornar clusterhead. Esta abordagem tem como princpio fazer com que a escolha de clusterheads seja simtrica. Isso significa que a eleio deve se amparar tanto na
medio que o candidato a cluster-head faz das qualidades de enlace de seu
vizinhos, quanto na percepo que seus vizinhos tm sobre a qualidade de
suas transmisses. Desta forma, cluster-heads que forem iniciados podem
contar com a entrada dos nodos eleitores em seus cluster.
A MEF exibida na figura 22 descreve o funcionamento da abordagem
por votao. A principal diferena em relao MEF da abordagem por autoeleio (figura 21) reside na transio entre os estados Nodo Avulso e CLuster
Head. Na nova abordagem, essa transio disparada quando um novo ciclo
de transmisso se inicia e um nodo possui uma quantidade suficiente de votos
recebidos.
Os votos recebidos so contabilizados durante o ciclo imediatamente
anterior, sendo que apenas votos de eleitores com bom valor LQ so aceitos.
Assim, a contagem de votos corresponde percepo do candidato a clusterhead sobre sua qualidade de vizinhana. Por outro lado, nodos votam em
vizinhos que apresentaram melhor valor de LQ no ciclo anterior. Cada nodo
inclui o identificador do nodo votado no campo cluster do cabealho HCTMAC das mensagens transmitidas (ver figura 15).
De forma semelhante abordagem por auto-eleio, a auto-organizao
na rede resultante da abordagem por votao pode ser descrita por um pro-
104
Maximize Ci
i=1
s.a.
N
V ji Ci Vmin , i I
j=1
q ji q jk V ji 1, i, j, k I
N
Li jC j < Cmax Ci , i I
j=1
N
j=1 k=1
(4.3)
sendo que:
I = {x N/1 x N} o conjunto de ndices dos N nodos.
Ci {0, 1},Ci = 1 se nodo i for cluster-head.
V ji {0, 1},V ji = 1 se nodo j vota no nodo i.
qi j [0, 1] o valor LQ do nodo j medido pelo nodo i.
Li j {0, 1}/Li j = dqi j Lmin e, Li j = 1 se as transmisses do nodo j
podem interferir nas transmisses do nodo i.
Lmin o menor valor de LQ capaz de causar interferncia nas transmisses entre nodos.
Cmax a maior quantidade de clusters at dois saltos de distncia,
sendo que Cmax deve ser menor que a quantidade de superquadros por ciclo
de transmisso.
Vmin N+ a quantidade mnima de votos necessria para que um
nodo possa se tornar cluster-head.
105
Parmetro
Potncia de transmisso
Distncia de referncia (d0 )
Perda em d0
Expoente de decaimento
Coeficiente de rudo ( )
Valor
-5 dBm
10 m
55 dBm
2.4
5
106
Cenrio
1
2
3
4
Dimenses
250 m x 250 m
350 m x 350 m
450 m x 450 m
600 m x 600 m
Nodos
40
160
40
160
40
200
80
240
Densidade
7.2
29.4
3.8
15.2
2.3
11.9
2.7
8.3
Cmax nas formulaes 4.1 e 4.3). Os resultados obtidos foram expressos atravs de histogramas de frequncia para as quantidades de cluster-heads. Para
elevar o grau de confidncia, as simulaes foram repetidas 1000 vezes para
cada rede.
Uma maior quantidade de cluster-heads favorece que mais nodos possam se tornar membros de cluster, desde que respeitando a restrio de quantidade mxima de cluster-heads interferentes. Assim, uma das medidas de
desempenho escolhida para avaliar as abordagens de escolha de cluster-head
se refere ao nmero de cluster-heads gerados. As figuras 23 a 26 mostram os histogramas para as quantidades de cluster-heads geradas, Respectivamente, nos cenrios 1 a 4. Observando esses histogramas, nota-se que
para densidades baixas a abordagem por auto-eleio gera uma maior quantidade de cluster-heads. Porm, medida que a densidade da rede aumenta, a
abordagem por votao a supera. Os resultados mostraram que a auto-eleio
desempenhou melhor para densidades inferiores a 6, sendo que acima desse
valor prevaleceu a escolha por votao. Como nessas simulaes se restringiram a 6 os cluster-heads interferentes, foram realizadas novas simulaes
com outras quantidades mximas de cluster-heads interferentes.
107
(a) 40 nodos
108
(a) 40 nodos
109
(a) 40 nodos
110
(a) 80 nodos
111
112
113
114
115
A limitao na quantidade de cluster-heads interferentes at dois saltos (diretamente relacionado com nmero de superquadros por ciclo de transmisso) restringe a quantidade total de cluster-heads. Isso deve refletir nos
resultados simulados para ambas abordagens de escolha de cluster-heads. As
figuras 27 a 30 comparam as quantidades de cluster-heads gerados com restries de 4 a 8 cluster-heads interferentes para cada um dos cenrios. Essas
simulaes confirmam o melhor desempenho da abordagem por votao para
maiores densidades, porm o limiar em que essa abordagem supera a abordagem por auto-eleio se desloca com a limitao de cluster-heads interferentes. medida que se permitem mais cluster-heads interferentes, aumenta o
limiar em que a abordagem por votao se desempenha melhor.
Os resultados das simulaes numricas sugerem que a votao pode
propiciar melhores taxas de formao de cluster em redes densas. Em redes
com densidade menor, a abordagem por auto-eleio pode apresentar desempenho melhor na formao de clusters. Tendo em vista esses resultados, a
escolha de cluster-heads no HCT-MAC combinou ambas abordagens, porm
priorizando a votao.
4.2.4 Abordagem mista: votao com auto-eleio
Aps a realizao dos experimentos, concluiu-se que a melhor alternativa para a escolha do cluster-head seria a adoo de uma abordagem mista.
Neste caso, normalmente nodos tentam se tornar cluster-heads usando abordagem por votao, porm podem usar a abordagem por auto-eleio se um
nmero predefinido de superquadros j foi alocado. Alm disso, somente nodos que receberam ao menos um voto podem se auto-elegerem cluster-heads.
Essa combinao privilegia a abordagem por votao, porm possibilita que
um ou mais clusters se formem partindo da abordagem por auto-eleio. O
pseudo-algoritmo 4.2 descreve a escolha de cluster-head, sendo que minVotos
a quantidade mnima de votos necessria para um nodo se tornar clusterhead com votao, e ciclosTolerancia a quantidade mnima de ciclos que
um nodo deve estar fora de cluster antes de tentar se tornar cluster-head com
abordagem por auto-eleio.
116
117
118
119
120
121
N j (n, k) =
k
P(k, j)
i
.P(n, j).A(n j, k j)
.Ni (n, k)
j!(k j)!
i= j+1 j
com: P(n, k) =
(4.4)
n!
(nk)!
A(n, k) = nk
A equao 4.4 se aplica a um cenrio em que k nodos tentam alocar
um time-slot cada. Uma vez que so possveis colises entre quaisquer pares
de time-slots escolhidos, esta equao representa o pior caso para a alocao
de k time-slots. No entanto, se um nodo tenta alocar mais que um time-slot ao
mesmo tempo, ento reduz o nmero total de colises possveis. Mas mesmo
numa situao como esta, as iteraes tendem a convergir para o cenrio em
que cada nodo tenta alocar apenas um time-slot. Isto acontece devido s alocaes parciais dos time-slots requeridos por cada nodo durante as iteraes
(ex: um nodo precisa de trs time-slots, mas uma coliso ocorre em um deles,
o que leva o nodo a tentar alocar somente um time-slot no prximo ciclo).
As probabilidades de alocarem-se j time-slots em um ciclo podem ser
calculadas de acordo com a equao 4.5.
Pj (n, k) =
N j (n, k)
, j [0, k]
A(n, k)
(4.5)
(4.6)
(i, ji ) N2 ji [0, ki ]
ki = ki1 ji1 ki > 0
ni = ni1 ji1
n0 = n, k0 = k
O conjunto S de todas as possveis sequncias Sm pode ser definido
como:
S = {Sm (n, k)/m N Sr 6= Ss , (r, s) N2 r 6= s}
(4.7)
Portanto, a probabilidade PR j de k time-slots serem alocados em j ci-
122
clos :
PR j =
pQ j = {Sm S/kSm k = j}
(4.8)
Sm Q j pSm
123
Figura 33 Nmero de ciclos para estabilizar a alocao, com grau de confiana de 99%
124
125
126
127
1
Prealocacao
Probabilidade
0.8
0.6
0.4
0.2
0
0
4
6
Ciclos de transmissao
10
(a) Prealocao
1
Competicao
Probabilidade
0.8
0.6
0.4
0.2
0
0
10
Ciclos de transmissao
15
20
(b) Competio
128
1
Prealocacao
Competicao
Probabilidade
0.8
0.6
0.4
0.2
0
20
22
24
26
Nodos membros de cluster
28
30
Probabilidade
0.4
0.3
0.2
0.1
0
10
20
30
40
Nodos membros de cluster
50
60
129
130
131
5 SIMULACES E EXPERIMENTOS
Este captulo tem por objetivo avaliar o protocolo HCT-MAC proposto
com respeito a seu funcionamento e tambm benefcios que um protocolo de
acesso ao meio coordenado pode proporcionar para aplicaes mveis que
se comunicam por meio de redes ad hoc. O desempenho de tal protocolo
de acesso ao meio foi investigado com respeito utilizao do meio e cumprimento de requisitos temporais, e relacionado com seu mecanismo de coordenao de transmisses entre nodos. Como esse mecanismo depende da
capacidade de auto-organizao em clusters, foi investigado tambm em que
medida o protocolo consegue auto-organizar nodos em clusters e qual o custo
de tal mecanismo.
O estudo sobre o desempenho do HCT-MAC se baseou em simulaes e experimentaes prticas com um prottipo construdo sobre uma plataforma composta por motes micaZ (CROSSBOW. . . , 2003). Esses dispositivos foram concebidos para serem nodos em redes de sensores, possuindo
recursos computacionais limitados e um mdulo de rdio. No entanto, a baixa
resoluo do relgio disponvel nesses motes, combinada ao mecanismo de
envio e recepo de mensagens pelo seu mdulo de rdio, no possibilitou
realizar experimentos com time-slots estreitos. Com isso, parte significativa
dos time-slots foi desperdiada, tornando os resultados sobre desempenho
pouco significativos. Alm disso, a quantidade limitada de motes disponveis
impediu a experimentao com cenrios em que a auto-organizao no HCTMAC pudesse ser exigida, i.e. em que se pudessem observar as formaes
de clusters em topologias variadas. Devido a essas limitaes, a avaliao de
desempenho de fato foi realizada por meio de simulaes.
Com respeito utilizao do meio, o desempenho esperado do HCTMAC se situa entre aquele resultante de um MAC baseado puramente em
disputa, tal como CSMA, e um MAC que use somente reserva de recursos,
como TDMA. No caso de uma MAC TDMA, e assumindo que um quadro
ocupe completamente um time-slot, se um ciclo de transmisso T possui N
time-slots, um nodo pode receber no mximo N 1 quadros por ciclo. Usando
um MAC baseado em disputa como CSMA, transmisses esto sujeitas a colises medida que nodos disputam o acesso ao meio. Se nodos transmitem
mensagens periodicamente usando CSMA, com perodo T , o nmero esperado de mensagens que cada nodo recebe deve ser menor que N 1 devido
s colises. Uma vez que o HCT-MAC combina ambos modos de acesso ao
meio, o nmero esperado de mensagens recebidas pelos nodos deve ser limitado superiormente por aquele apresentado por um MAC TDMA, e limitado
inferiormente pelo valor resultante do uso de um MAC CSMA.
132
Durao de time-slot
20 ms
15 ms
10 ms
5 ms
133
ADITAKIS; BOULIS, 2007), que implementam um modelo de rdio compatvel com IEEE 802.15.4 (IEEE, 2006) e um modelo de sinal conforme
apresentado por (ZUNIGA; KRISHNAMACHARI, 2004). Esse modelo de
sinal faz com que a taxa de recepo de pacotes (PRR) dependa da relao
entre potncia de sinal transmitido e a distncia entre nodos transmissor e
receptor, estando sujeita ainda a variaes devido a rudo branco e interferncias por transmisses de outros nodos (i.e. modelo de coliso aditiva). Sobre
essa camada fsica criaram-se modelos de simulao para os protocolos de
controle de acesso ao meio HCT-MAC e CSMA, dependendo do simulador.
Nos modelos de simulao, o problema da limitao na durao mnima de
time-slot foi resolvido. Por fim, os simuladores incorporaram uma aplicao
que gerou trfego composto por mensagens peridicas e de forma balanceada,
para que em mdia os nodos recebessem as mesmas quantidades de mensagens. Essa aplicao transmitiu mensagens usando diretamente o protocolo
MAC simulado. O suporte mobilidade foi criado com um modelo especfico
para este estudo, em que nodos se movimentaram em uma trajetria circular
e com velocidades aleatrias porm limitadas por um valor predefinido para
cada simulao. Usando essa plataforma, dois simuladores foram criados
para reproduzir os experimentos sobre utilizao do meio e desempenho do
protocolo HCT-MAC.
Um dos simuladores implementa o protocolo HCT-MAC com a opo
de escolha da abordagem de formao de clusters. As duas abordagens apresentadas para escolha de cluster-heads na seo 4 foram simuladas, ambas
combinadas com a abordagem de prealocao para a entrada de membros de
cluster. Assim, o simulador para o HCT-MAC dispe tanto da abordagem
de auto-eleio, em que nodos tornam-se cluster-heads com base na mtrica
NQ, que mede suas qualidades de vizinhanas, quanto a abordagem de votao, em que nodos so votados por seus vizinhos para que se tornem clusterheads. O outro simulador implementa um MAC CSMA no-segmentado que
transmite quadros apenas em broadcast, dispensando assim a necessidade de
reconhecimentos e retransmisses. O procedimento de backoff exponencial
binrio adotado seguiu a definio existente na norma IEEE 802.15.4 para
CSMA no-segmentado. O recuo entra em ao quando um nodo detecta que
o meio est ocupado ao tentar iniciar a transmisso de um quadro. Usando
esses trs simuladores, uma srie de experimentos foi realizada para averiguao de seus desempenhos em cenrios que exploram caractersticas das
redes.
Os cenrios para as simulaes do HCT-MAC com as duas abordagens de clusterizao e do CSMA exploram o tamanho e densidade espacial
da rede e seu grau de mobilidade. Em cada cenrio simulado, o simulador
constri uma rede composta por uma quantidade definida de nodos dispos-
134
Parmetro de Simulao
Durao da simulao
Quantidade de nodos
Modelo de mobilidade
Raio do crculo
Largura de pista
Velocidades
Sensibilidade do rdio
Potncia de transmisso
Rudo branco
Expoente de decaimento (modelo de sinal)
Decaimento em d0 (modelo de sinal)
Distncia de referncia d0 (modelo de sinal)
Valor
120 s
40, 60, 80
Crculo
10 a 300 m
10 m
0 a 40 m/s
-95 dBm
-5, -10 e -15 dBm
-100 dBm
2.4
55 dBm
10 m
135
Parmetro de Simulao
Perodo de mensagens
Deadline
Tamanho de mensagem
Valor
48, 72, e 120 ms
96, 144 e 240 ms
16, 32 e 64 bytes
136
Parmetro
Durao de ciclo
Time-slot
Tamanho de superframe
Quantidade de superframes
Valor
48, 72 e 120 ms
1.0, 1.5 e 2.5 ms
8 time-slots
6
137
138
139
(2wR + w2 )
n
Ac = 2(2wR + w2 )arcsin(
Ns =
(5.1)
r
)
2R
Ac
2n
r
= arcsin( )
n
2R
(5.2)
(5.3)
RESULTADOS
As taxas de quadros recebidos obtidas com o HCT-MAC se situou
acima daquela resultante de um MAC CSMA e abaixo da que seria possvel
com um MAC TDMA timo, como mostram as figuras 41 a 43. Nos experimentos o ciclo de transmisso do HCT-MAC possibilitou que 5 clusters
distantes at 2 hops entre si pudessem ser formados, pois o ciclo de transmisso foi composto de 6 superquadros e um superquadro foi reservado para
acesso por disputa. Com isso a quantidade mxima de nodos membros de
cluster em redes densas foi limitada a 35 nodos (os nodos restantes devem
140
TDMA otimo
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
TDMA otimo
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
141
TDMA otimo
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
disputar o acesso ao meio durante o superframe que foi mantido livre para
esse tipo de acesso). Nesses casos a rede pode ser considerada em saturao,
pois no h como mais nodos se tornarem membros de cluster. Em redes em
que nodos se espalham em distncias maiores que 2 hops um nmero maior
de nodos podem se tornar membros de cluster. Assim, em redes com 40 nodos quase todos os nodos podem se tornar membros de cluster. Nessas redes
se espera uma taxa de quadros recebidos prxima do limite imposto por um
MAC TDMA timo, visto que quase a totalidade dos nodos pode transmitir
quadros em modo reserva de recursos. As figuras 41 a 43 confirma que a
taxa de quadros recebidos proporcionada pelo HCT-MAC em redes com 40
nodos se aproximou daquela que seria possvel com um TDMA timo. Em
comparao, um MAC CSMA nas mesmas condies apresentou uma taxa
de quadros recebidos significativamente menor. Os valores de saturao para
a taxa de quadros recebidos, quando a densidade da rede alta o suficiente
para que a quantidade mxima de nodos clusterizados seja alcanada, se situam em torno de 90 %. As velocidades com que os nodos se movimentaram
pouco influenciaram nesses resultados. Curiosamente, nesse primeiro conjunto de experimentos no se notou diferena significativa entre os resultados
obtidos com HCT-MAC com abordagem de formao de clusters por votao
ou auto-eleio. Esses primeiros resultados se referem a redes em que nodos
142
TDMA otimo
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
143
TDMA otimo
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
TDMA otimo
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
144
bidos se manteve prxima daquela que seria possvel com um TDMA timo,
como se pode ver nas figuras 44 a 46. Alm disso, no h diferena significativa em relao ao caso de redes com 40 nodos. Esses resultados indicam
que mesmo havendo uma quantidade de nodos maior que time-slots disponveis, o protocolo HCT-MAC propiciou que esses time-slots pudessem ser
usados exclusivamente. Em outras palavras, nodos que se tornaram membros
de cluster puderam transmitir em seus time-slots e seus quadros transmitidos
no sofreram colises. Isso resultou em taxas de quadros recebidos altas e
prximas do limite terico. Assim como no caso de redes com 40 nodos, esse
desempenho tambm pode ser verificado em experimentos com potncias de
transmisso de rdio menores.
Nos experimentos com redes com 40 e 60 nodos o aproveitamento do
meio proporcionado pelo HCT-MAC, representado pela taxa de quadros recebidos, foi claramente superior em cenrios com maior densidade espacial.
Nesses casos os nodos esto distribudos em reas menores, fazendo com que
suas vizinhanas sejam maiores ou mesmo tenham tamanho mximo. O HCTMAC conseguiu portanto que nessas redes os nodos transmitissem de forma
coordenada, usando os time-slots de forma exclusiva e reduzindo a ocorrncia
de colises. No entanto, ressalta-se que nem todos os nodos foram capazes
de operar dessa forma, visto que a quantidade de time-slots disponveis por
ciclo de transmisso foi inferior ao nmero de nodos (particularmente em redes com 60 nodos). Apesar disso, a quantidade de nodos que conseguiram se
tornar membros de cluster e usar time-slots de forma exclusiva correspondeu
disponibilidade de recursos nas redes simuladas. De qualquer forma, os resultados para diferentes potncias de transmisso mostraram que nos cenrios
simulados o HCT-MAC proporcionou um aproveitamento do meio superior
ao provido por um MAC CSMA, e prximo ao que seria possvel com um
TDMA timo.
5.2.1.2 Taxa de mensagens entregues
As taxas de quadros recebidos fornecem uma medida de aproveitamento do meio, mas no diferenciam quadros destinados a nodos especficos.
Nas simulaes realizadas foi criada uma aplicao que gera em cada nodo
mensagens peridicas endereadas a algum nodo vizinho com boa qualidade
de enlace. Assim a carga de mensagens na rede deve estar balanceada, de
forma que todos os nodos recebam aproximadamente as mesmas quantidades
de mensagens. Estando os nodos distribudos homogeneamente no espao e
a carga de mensagens balanceada, cada nodo deve receber uma mensagem
por ciclo de transmisso. A taxa de mensagens entregues informa portanto
145
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
146
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
147
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
148
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
149
150
0.8
0.6
0.4
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
com CSMA foi de 100 %. Os resultados obtidos com HCT-MAC podem ser
entendidos considerando-se quantos nodos puderam se tornar membros de
cluster, uma vez que nessa situao esses nodos podem transmitir em todos
os ciclos.
No caso do HCT-MAC, em redes densas com 40 nodos at 35 deles
se tornaram membros de clusters. Isso ocorreu porque ao menos um dos seis
superquadros por ciclo precisa ficar sempre livre para uso em modo de acesso
com disputa. Como cada superquadro teve 8 time-slots, sendo um deles usado
para envio do quadro Finish Beacon, cada cluster comportou at 7 nodos (incluindo o cluster-head, que transmite seus dados junto com o quadro Start
Beacon). Assim, em qualquer regio da rede podem existir at 5 clusters,
cada um limitado a 7 nodos membros. Se essa quantidade mxima de nodos
clusterizados for verificada durante todo o experimento, a taxa mdia de quadros enviados de ao menos 87.5 %. Somando-se a ela os quadros enviados
com disputa, mesmo com menor taxa de sucesso, a taxa de quadros enviados
pode superar 90 % e mesmo se aproximar de 100 %.
Nos experimentos com redes com 60 nodos, mostrados nas figuras 56,
57 e 58, a taxa de quadros enviados obtida com HCT-MAC reduziu levemente
em redes menos densas, mas se manteve em 100 % com CSMA. O efeito da
reduo de quadros enviados ocorre medida que a quantidade de nodos ad-
151
0.8
0.6
0.4
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
0.8
0.6
0.4
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.2
0
0
50
100
Raio da trajetoria (m)
150
200
152
0.8
0.6
0.4
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.2
0
0
50
100
150
Raio da trajetoria (m)
200
250
300
153
0.8
0.6
0.4
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.2
0
0
50
100
150
Raio da trajetoria (m)
200
250
0.8
0.6
0.4
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
0.2
0
0
50
100
150
Raio da trajetoria (m)
200
250
154
155
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
Atraso de acesso ao meio (s)
0.15
0.1
0.05
0
0
50
100
Raio da trajetoria (m)
150
200
sujeita a esperar um ciclo de transmisso at a chegada do instante correspondente ao time-slot. Essas caractersticas fizeram com que nos experimentos o
CSMA apresentasse atrasos inferiores, mas os resultados j visto na subseo
5.2.1.1 sobre taxas de quadros recebidos mostraram que em contrapartida a
utilizao do meio com HCT-MAC foi claramente superior.
5.2.2 Desempenho da auto-organizao da rede
O modo reserva de recursos do protocolo HCT-MAC depende da organizao dos nodos em clusters. Como discutido na seo 4, clusters so
formados de forma autnoma e iniciam quando um nodo se torna clusterhead e passa a convidar nodos vizinhos com boa qualidade de enlace para se
tornarem membros de seu cluster. Cada membro de cluster recebe um timeslot para uso exclusivo, que utiliza para efetuar suas transmisses com acesso
ao meio livre de conteno. Desta forma, a proporo de nodos na rede que
conseguiram se auto-organizar em clusters deve estar relacionada com os resultados obtidos na anlise sobre a utilizao do meio apresentada na seo
5.2.1.
Nas redes simuladas os nodos se movimentaram com diferentes velo-
156
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
Atraso de acesso ao meio (s)
0.15
0.1
0.05
0
0
50
100
Raio da trajetoria (m)
150
200
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
Atraso de acesso ao meio (s)
0.15
0.1
0.05
0
0
50
100
Raio da trajetoria (m)
150
200
157
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
Atraso de acesso ao meio (s)
0.15
0.1
0.05
0
0
50
100
150
Raio da trajetoria (m)
200
250
300
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
Atraso de acesso ao meio (s)
0.15
0.1
0.05
0
0
50
100
150
Raio da trajetoria (m)
200
250
158
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
CSMA 0 m/s
CSMA 40 m/s
Atraso de acesso ao meio (s)
0.15
0.1
0.05
0
0
50
100
150
Raio da trajetoria (m)
200
250
159
so os ciclos de transmisso em que um nodo membro de cluster. Essa proporo foi calculada pela razo entre a quantidade
de ciclos clusterizados e quantidade total de ciclos de transmisso ocorridos em uma simulao.
ii) Taxa de nodos clusterizados: proporo de nodos que experimentaram uma dada taxa de ciclos clusterizados. Com essa mtrica puderam-se observar como estavam distribudas as taxas de
ciclos clusterizados entre nodos.
iii) Atrasos para entrada em clusters: durao mdia das duraes
de intervalos em que nodos no eram membros de cluster. Essa
mtrica informa os tempos que nodos experimentaram em diferentes cenrios at se tornarem membros de cluster.
iv) Durao de permanncia em clusters: mdia das duraes de
intervalos de tempo em que nodos foram membros de cluster, o
que informa a estabilidade da associao de nodos a clusters.
Nas prximas subsees discutem-se os resultados obtidos para as mtricas descritas.
5.2.2.1 Taxa de ciclos clusterizados
Idealmente nodos deveriam ser sempre membros de cluster para poderem operar em modo reserva de recursos. No entanto, a quantidade de membros de um cluster limitada pelo nmero de time-slots por superframe, e o
nmero de clusters no alcance de at 2 saltos restringido pela quantidade de
superquadros por ciclo de transmisso. Com isso, a no ser que a quantidade
de nodos na rede seja inferior ao nmero de time-slots disponveis, nem todos
os nodos podero ser membros de cluster simultaneamente. Portanto a taxa
de ciclos clusterizados deve apresentar uma dependncia tanto em relao ao
tamanho da rede, expressa pela quantidade de nodos, quanto sua densidade
espacial, que corresponde quantidade de nodos no alcance de 2 hops. Alm
disso, a mobilidade dos nodos pode encurtar as duraes das associaes de
nodos a clusters, fazendo com que nodos entram e saiam de clusters medida
que se deslocam.
Em redes com 40 nodos a taxa de ciclos clusterizados se situou entre
80 % e 90 %. Nessas redes pode haver um mximo de 35 nodos clusterizados
nos cenrios densos, em que todos os nodos esto no alcance de 2 hops, uma
vez que at 5 superquadros podem ser usados por clusters, e cada superquadro possui 7 time-slots disponveis para uso pelos membros de cluster. Desta
160
0.8
0.6
0.4
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
0
0
20
40
60
80
100
Raio da trajetoria (m)
120
140
160
forma, em cenrios com raios de trajetria menores a taxa de ciclos clusterizados pode se aproximar do limite de 0.875, que corresponde a 35 nodos
clusterizados dentre 40 nodos totais. De fato os grficos contidos nas figuras
65 a 67 mostram que a taxa de ciclos clusterizados se manteve entre 0.8 e
0.9. Em redes mais densas essa taxa foi pouco sensvel s velocidades dos
nodos, uma vez que nesses cenrios os nodos se mantiveram no alcance de
transmisso na maior parte do tempo, e assim permaneceram clusterizados
por intervalos maiores. No entanto, quando a densidade da rede diminuiu
surgiram variaes dependentes das velocidades dos nodos.
A densidade da rede depende da relao entre a distribuio espacial
dos nodos e os alcances de suas transmisses. A potncia de transmisso
dos rdios dos nodos tem papel fundamental no alcance de transmisses, com
potncias de -5 dBm, -10 dBm e -15 dBm resultando em alcances em torno
de 150 m, 90 m e 50 m respectivamente. Como nas simulaes os nodos
foram distribudos homogeneamente dentro do espao disponvel para movimentao, a dimenso da rea desse espao determinou o espaamento mdio
entre nodos. No modelo de mobilidade adotado, o espao onde se deslocaram os nodos, composto por uma pista circular de largura w e raio R, tem rea
(2wR + w2 ) e portanto depende linearmente do raio de trajetria.
Em redes com 60 nodos, a taxa de ciclos clusterizados se manteve em
161
0.8
0.6
0.4
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
0
0
20
40
60
80
100
Raio da trajetoria (m)
120
140
160
0.8
0.6
0.4
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
0
0
20
40
60
80
100
Raio da trajetoria (m)
120
140
160
162
163
0.8
0.6
0.4
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
0
0
50
100
150
Raio da trajetoria (m)
200
250
300
164
0.8
0.6
0.4
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
0
0
50
100
150
Raio da trajetoria (m)
200
250
0.8
0.6
0.4
0.2
HCT 0 m/s
HCT 10 m/s
HCT 20 m/s
HCT 30 m/s
HCT 40 m/s
0
0
50
100
150
Raio da trajetoria (m)
200
250
165
166
60
0 m/s
10 m/s
20 m/s
30 m/s
50
Nodos clusterizados
40
30
20
10
0
0
0.2
0.4
0.6
Taxa de ciclos clusterizados
0.8
Figura 71 Nodos clusterizados com ao menos uma dada taxa de ciclos clusterizados em redes com 40 nodos (potncia de transmisso de -5 dBm)
60
0 m/s
10 m/s
20 m/s
30 m/s
50
Nodos clusterizados
40
30
20
10
0
0
0.2
0.4
0.6
Taxa de ciclos clusterizados
0.8
Figura 72 Nodos clusterizados com ao menos uma dada taxa de ciclos clusterizados em redes com 40 nodos (potncia de transmisso de -10 dBm)
167
60
0 m/s
10 m/s
20 m/s
30 m/s
50
Nodos clusterizados
40
30
20
10
0
0
0.2
0.4
0.6
Taxa de ciclos clusterizados
0.8
Figura 73 Nodos clusterizados com ao menos uma dada taxa de ciclos clusterizados em redes com 40 nodos (potncia de transmisso de -15 dBm)
168
Velocidade 0 m/s
Velocidade 10 m/s
Velocidade 20 m/s
Velocidade 30 m/s
Velocidade 40 m/s
0.8
0.6
0.4
0.2
0
0
20
40
60
80
Raio (m)
100
120
140
169
Velocidade 0 m/s
Velocidade 10 m/s
Velocidade 20 m/s
Velocidade 30 m/s
Velocidade 40 m/s
0.8
0.6
0.4
0.2
0
0
20
40
60
80
Raio (m)
100
120
140
Raio 40 m
Raio 80 m
Raio 120 m
0.8
0.6
0.4
0.2
0
0
10
15
20
Velocidade (m/s)
25
30
35
40
170
Raio 40 m
Raio 80 m
Raio 120 m
0.8
0.6
0.4
0.2
0
0
10
15
20
Velocidade (m/s)
25
30
35
40
60
0 m/s
10 m/s
20 m/s
30 m/s
50
Nodos clusterizados
40
30
20
10
0
0
0.2
0.4
0.6
Taxa de ciclos clusterizados
0.8
Figura 78 Nodos clusterizados com ao menos uma dada taxa de ciclos clusterizados em redes com 60 nodos (potncia de transmisso de -5 dBm)
171
60
0 m/s
10 m/s
20 m/s
30 m/s
50
Nodos clusterizados
40
30
20
10
0
0
0.2
0.4
0.6
Taxa de ciclos clusterizados
0.8
Figura 79 Nodos clusterizados com ao menos uma dada taxa de ciclos clusterizados em redes com 60 nodos (potncia de transmisso de -10 dBm)
60
0 m/s
10 m/s
20 m/s
30 m/s
50
Nodos clusterizados
40
30
20
10
0
0
0.2
0.4
0.6
Taxa de ciclos clusterizados
0.8
Figura 80 Nodos clusterizados com ao menos uma dada taxa de ciclos clusterizados em redes com 60 nodos (potncia de transmisso de -15 dBm)
172
Velocidade 0 m/s
Velocidade 10 m/s
Velocidade 20 m/s
Velocidade 30 m/s
Velocidade 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
150
200
250
Raio (m)
Velocidade 0 m/s
Velocidade 10 m/s
Velocidade 20 m/s
Velocidade 30 m/s
Velocidade 40 m/s
0.8
0.6
0.4
0.2
0
0
50
100
150
200
250
Raio (m)
173
Raio 40 m
Raio 80 m
Raio 120 m
Raio 160 m
Raio 200 m
Raio 240 m
0.8
0.6
0.4
0.2
0
0
10
15
20
Velocidade (m/s)
25
30
35
40
Raio 40 m
Raio 80 m
Raio 120 m
Raio 160 m
Raio 200 m
Raio 240 m
0.8
0.6
0.4
0.2
0
0
10
15
20
Velocidade (m/s)
25
30
35
40
174
175
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
0.2
0.4
0.6
Duracao media de intervalo nao-clusterizado (s)
0.8
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
0.2
0.4
0.6
Duracao media de intervalo nao-clusterizado (s)
0.8
176
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
0.2
0.4
0.6
Duracao media de intervalo nao-clusterizado (s)
0.8
5
10 m/s
20 m/s
30 m/s
40 m/s
0
50
100
150
Raio de trajetoria (m)
200
250
177
5
10 m/s
20 m/s
30 m/s
40 m/s
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
3
10 m/s
20 m/s
30 m/s
40 m/s
2.5
1.5
0.5
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
178
179
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
0.2
0.4
0.6
Duracao media de intervalo nao-clusterizado (s)
0.8
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
0.2
0.4
0.6
Duracao media de intervalo nao-clusterizado (s)
0.8
180
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
0.2
0.4
0.6
Duracao media de intervalo nao-clusterizado (s)
0.8
3
10 m/s
20 m/s
30 m/s
40 m/s
2.5
1.5
0.5
0
50
100
150
Raio de trajetoria (m)
200
250
181
3
10 m/s
20 m/s
30 m/s
40 m/s
2.5
1.5
0.5
0
50
100
150
Raio de trajetoria (m)
200
250
3
10 m/s
20 m/s
30 m/s
40 m/s
2.5
1.5
0.5
0
50
100
150
Raio de trajetoria (m)
200
250
182
120
40 nodos
60 nodos
100
80
60
40
20
0
0
50
100
Raio de trajetoria (m)
150
200
183
120
40 nodos
60 nodos
100
80
60
40
20
0
0
50
100
Raio de trajetoria (m)
150
200
120
40 nodos
60 nodos
100
80
60
40
20
0
0
50
100
Raio de trajetoria (m)
150
200
184
185
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
20
40
60
80
Duracao media de intervalo clusterizado (s)
100
Figura 100 Probabilidade acumulada para permanncias em cluster em redes com 40 nodos (raio de 150 m e potncia de -5 dBm)
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
20
40
60
80
Duracao media de intervalo clusterizado (s)
100
Figura 101 Probabilidade acumulada para permanncias em cluster em redes com 40 nodos (raio de 120 m e potncia de -10 dBm)
186
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
20
40
60
80
Duracao media de intervalo clusterizado (s)
100
Figura 102 Probabilidade acumulada para permanncias em cluster em redes com 40 nodos (raio de 100 m e potncia de -15 dBm)
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
20
40
60
80
Duracao media de intervalo clusterizado (s)
100
Figura 103 Probabilidade acumulada para permanncias em cluster em redes com 60 nodos (raio de 150 m e potncia de -5 dBm)
187
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
10
20
30
Duracao media de intervalo clusterizado (s)
40
50
Figura 104 Probabilidade acumulada para permanncias em cluster em redes com 60 nodos (raio de 120 m e potncia de -10 dBm)
0.8
0.6
0.4
0.2
0 m/s
10 m/s
20 m/s
30 m/s
40 m/s
0
0
10
20
30
40
Duracao media de intervalo clusterizado (s)
50
Figura 105 Probabilidade acumulada para permanncias em cluster em redes com 60 nodos (raio de 100 m e potncia de -15 dBm)
188
2r
v
(5.4)
189
120
10 m/s
20 m/s
30 m/s
40 m/s
100
80
60
40
20
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
120
10 m/s
20 m/s
30 m/s
40 m/s
100
80
60
40
20
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
190
10
10 m/s
20 m/s
30 m/s
40 m/s
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
10
10 m/s
20 m/s
30 m/s
40 m/s
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
191
10
10 m/s
20 m/s
30 m/s
40 m/s
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
10
10 m/s
20 m/s
30 m/s
40 m/s
0
20
40
60
80
100
Raio de trajetoria (m)
120
140
192
Nas simulaes as velocidades dos nodos foram distribudas uniformemente, com limites dados por uma velocidade mnima e o dobro desse
valor. A velocidade relativa, calculada como a diferena entre as velocidades de dois nodos, possui f.d.p (funo densidade de probabilidade) fV (v)
dada pela equao 5.5. O parmetro vmax corresponde velocidade relativa
mxima. De acordo com a equao 5.4, a durao de intervalo Tc funo
da velocidade relativa v, portanto a f.d.p fTc (tc ) pode ser deduzida a partir de
fV (v) como mostrado na equao 5.6 (o valor tmax equivale durao mxima
de intervalo clusterizado). Finalmente, com a f.d.p fTc (tc ) torna-se possvel
calcular o valor esperado de Tc , como pode ser visto na equao 5.7.
fV (v) =
2(vmax v)
v2max
(5.5)
fTc (tc ) =
r
fV (r/tc )
tc2
(5.6)
Z tmax
r/vmax
tc fT (tc )dt
2r
2r
[3r + vmax tmax (4 + log(tmax ))]
(1 + log(r/vmax ))
v2max tmax
vmax
(5.7)
193
120
Previsto
40 m
50 m
60 m
70 m
80 m
100
80
60
40
20
0
0
10
15
20
25
Velocidade maxima (m/s)
30
35
40
120
Previsto
40 m
50 m
60 m
70 m
80 m
100
80
60
40
20
0
0
10
15
20
25
Velocidade maxima (m/s)
30
35
40
194
120
Previsto
50 m
60 m
70 m
80 m
90 m
100
80
60
40
20
0
0
10
15
20
25
Velocidade maxima (m/s)
30
35
40
120
Previsto
50 m
60 m
70 m
80 m
90 m
100
80
60
40
20
0
0
10
15
20
25
Velocidade maxima (m/s)
30
35
40
195
120
Previsto
90 m
100 m
110 m
120 m
130 m
100
80
60
40
20
0
0
10
15
20
25
Velocidade maxima (m/s)
30
35
40
120
Previsto
90 m
100 m
110 m
120 m
130 m
100
80
60
40
20
0
0
10
15
20
25
Velocidade maxima (m/s)
30
35
40
196
5.3 CONCLUSO
Os resultados dos experimentos mostraram que o HCT-MAC proporcionou uma utilizao do meio significativamente melhor nos cenrios simulados, comparado a um protocolo CSMA. O desempenho do HCT-MAC nesse
quesito se aproximou do que seria possvel se fosse usado um MAC TDMA
timo. Esse melhor resultado se deveu ao mecanismo de reserva de recursos
implementado pelo HCT-MAC, que possibilita que as transmisses dos nodos sejam coordenadas oportunisticamente usando um acesso ao meio livre
de disputa do tipo TDMA. O fato de que uma parcela significativa dos nodos ter conseguido efetuar transmisses com acesso ao meio livre de disputa
significa que o HCT-MAC conseguiu realizar reserva de recursos consistentemente, mesmo com as adaptaes provocadas por mudanas de topologia
causadas pelas movimentaes dos nodos.
Do ponto de vista da auto-organizao, que um requisito para que a
reserva de recursos seja realizada, clusters se formaram e se adaptaram mobilidade dos nodos. Isso pode ser notado particularmente nos cenrios com
velocidades maiores, em que se favoreceu um equilbrio na taxa de ciclos
clusterizados experimentados por nodos. Esse resultado pode ser creditado
maior frequncia com que nodos entram e saem de clusters, devido s velocidades relativas entre nodos mais elevadas nesses cenrios.
Alm da mobilidade, a densidade dos nodos teve papel fundamental
nos resultados obtidos. A densidade foi definida como a quantidade mdia de
nodos adjacentes, e portanto tem relao direta com a demanda por recursos
(time-slots). Isto porque, para um determinado ciclo de transmisso, constitudo por um nmero definido de superquadros e time-slots, h um limite
(35 nodos nos cenrios simulados) na quantidade de nodos que podem alocar
time-slots em cada ponto da rede. Assim, melhores taxas de ciclos clusterizados e nodos clusterizados foram obtidas em redes cujas densidades ficaram
abaixo desse limite.
197
198
199
Varivel
Ta
Tr
Tc
Ts
T
DR
DL
ML
Descrio
Instante de chegada de mensagem em um nodo
Atraso sofrido por uma mensagem em um nodo devido
recepo em intervalo de reconfigurao
Atraso sofrido por uma mensagem em um nodo devido
reconfigurao enquanto sendo escalonada
Atraso sofrido por uma mensagem em um nodo devido
a escalonamento
Atraso adicional total fim-a-fim
Durao de intervalo de reconfigurao
Durao de intervalo em modo reserva de recursos
Latncia de mensagem em um nodo
200
201
202
= (1
= (1
TN
)
Dmin
Nj=1 Tn
Dmin
(6.2)
)
(6.3)
CRT 0 = CRT
crt
)
CRT
= 1 FA0 (crt /CRT )
0
(6.4)
203
(6.5)
(6.6)
A latncia de mensagem ML depende do instante em que uma mensagem chegou em um nodo. Para determin-la so identificados dois casos: i)
recepo da mensagem dentro do intervalo em modo reserva de recursos, o
que acontece com probabilidade P(Ta > DR ), e ii) recepo no intervalo de
reconfigurao com probabilidade P(Ta DR ). No caso i), a latncia ML1 a
0
soma do instante de chegada e o atraso de escalonamento, ou ML1 = Ta + Ts ,
0
com o instante de chegada Ta = Ta DR de forma a ser contabilizado do incio
do intervalo em modo reserva de recursos. No caso ii), a latncia ML2 resume
ao atraso de escalonamento, ou ML2 = Ts . Usando essas definies, a probabilidade de que a latncia de mensagem exceda o intervalo em modo reserva
de recursos pode ser vista na equao 6.7. Assim, para obter P(ML > DL ),
devem-se derivar as FDP das razes ML1 /DL e ML2 /DL , e por fim a probabilidade de que a chegada de mensagem ocorra no intervalo de reconfigurao
P(Ta DR ).
P(ML > DL ) = P(
ML
> 1)
DL
ML1
> 1)+
DL
ML
+ P(Ta DR )P( 2 > 1)
DL
= P(Ta > DR )P(
(6.7)
A relao entre a durao DR do intervalo de reconfigurao e a durao DL do intervalo em modo reserva de recursos pode ser usada para obter
204
P(Ta DR ), pois assume-se que uma mensagem possa ser recebida por um
nodo em qualquer instante dentro de um ciclo de reconfigurao. Assim, em
um ciclo qualquer com intervalo de reconfigurao de comprimento dr e intervalo em modo reserva de recursos de comprimento dl , a probabilidade de
r
. Para
uma mensagem ter sido recebida no intervalo de reconfigurao drd+d
l
o caso geral, em que esses intervalos que compem ciclos de reconfigurao
so descritos pelas variveis aleatrias DR e DL , essa probabilidade pode ser
R
calculada pelo valor esperado de DRD+D
, como sintetizado na equao 6.8.
L
P(Ta DR ) = E[
DR
]
DR + DL
(6.8)
Z
1
t
fDR (x)dx
(6.9)
fTn (t) =
(6.10)
205
com sua FDP fTn mostrada na equao 6.10. O atraso adicional total TN aps
N saltos a somatria dos atrasos Tn , e sua FDP fTN pode ser obtida pela
convoluo das FDP fTn , como mostrado na equao 6.11.
Z t
fTN (t) =
(6.11)
CRT 0 = CRT
crt
)
CRT
= 1 FA0 (crt /CRT )
0
(6.12)
206
(6.13)
fDL (dl ) = 2 e2 dl , dl +
fDRL (drl ) =
1 2
|e1 drl e2 drl |, se1 6=2
|1 2 |
12 drl e1 drl , se1 =2
1
fD (drl )
drl RL
1 drl e2 drl |,
1
1 2
drl |1 2 | |e
2
1 e1 drl , se1 =2
se1 6=2
(6.14)
(6.15)
207
A probabilidade de chegada de mensagem dentro do intervalo de reconfigurao pode ser calculada pela relao entre a durao desse intervalo
e a durao do ciclo de reconfigurao, como mostrado na equao 6.8. No
caso de intervalos exponencialmente distribudos, se 1 = 2 ento essa probabilidade P(Ta DR ) se resume a 12 . Porm se 1 6= 2 ela deve ser calculada como mostrado na equao 6.16. Assim, a probabilidade P(Ta DR )
depende somente dos parmetros 1 e 2 .
P(Ta DR ) =
1 2
2
1
ln
(1 2 )2
1
2 1
(6.16)
Z
tr
Z
1 e1 x
x
= P(Ta > DR ) (tr ) + P(Ta DR )1 Ei (1tr )
dx
(6.17)
tr
(6.18)
208
fMD1 (z) =
Z 1/z
y2 e2 y/z dy
1
1
1
e2 /z
+
=
2
2 z
(6.19)
P(
ML1
> 1) = 1
DL
Z 1
0
fMD1 (x)dx
(6.20)
1 e2
= 1
2
fT D (z) =
|y| fT 0 ,D (y z, y)dy
a
Z
1
y 2 e2 y dy, se z [0, 1]
y
=
(6.21)
1, se z[0,1]
0,
caso contrrio
fMD2 (z) =
=
Z max(0,z1)
1
x2 1
2
(
=
2
ze z
2
(z1)e z1
z (1e2 /z ),
2
1
+
dx
x 2
, se z>1
caso contrrio
(6.22)
209
ML
P( 2 > 1) = 1
DL
Z 1
0
fMD2 (x)dx
e2
2
= 1 Ei(2 )
2
2
1 2
2
1
+
22
(6.23)
Z t
0
(6.24)
A FDP fTn mostrada na equao 6.24 foi obtida pela soma das FDP
para os quatro tipos de atrasos que uma mensagem pode sofrer em um nodo,
com cada FDP ponderada pela sua probabilidade de ocorrncia. No modelo
adotado para encaminhamento das mensagens, tem probabilidade muito baixa
o atraso em que uma mensagem recebida no intervalo no-configurado e no
consegue ser transmitida no intervalo configurado subsequente. Na notao
usada na equao 6.24, isso significa que Pm Pa tem valor muito pequeno. Se
esse atraso for ignorado, a equao da FDP fTn pode ser simplificada sem
incorrer em uma diferena significativa em relao sua soluo exata. A
FDP fTr , que corresponde ao atraso sofrido quando uma mensagem recebida
no intervalo no-configurado e encaminhada no intervalo configurado subsequente, ou quando recebida no intervalo configurado mas enviada somente
aps o intervalo no-configurado subsequente, pode tambm ser simplificada
aproximando-a para uma distribuio exponencial. Como mostrado na equao 6.17, a FDP fTr foi definida por uma funo exponencial-integral com parmetro 1 . A convoluo de uma exponencial-integral insolvel analiticamente, porm pode ser calculada com erro aceitvel se a exponencial-integral
for aproximada para uma FDP exponencial com parmetro 1 /2. Aps essas simplificaes e aproximaes, a equao da fTn pode ser reescrita como
210
mostrado na equao 6.25, sendo que f1 a aproximao para a exponencialintegral e fTa (t) a FDP para o comprimento do intervalo no-configurado.
fTn (t) = Pm Pa (t) + Pm Pa fTa (t) + Pm Pa f1 (t)
1 1 /2t
e
2
fTa (t) = 1 e1 t
f1 (t) =
(6.25)
(Pm Pa )N j h(t) j
fTN (t) = (Pm Pa ) (t) +
j
j=1
(6.26)
N
(Pm Pa )N j (Pm Pa ) j I j (t)
j
j=1
j
j1
1
t
e1 t/2
I j (t) =
2
( j 1)!
(6.27)
211
Z t
FTN (t) =
fTN (z)dz
= Pa
"
#
j1
i
N
(
t/2)
1
+
(Pm Pa )N j (Pm Pa ) j 1 e1 t/2
j
i!
j=1
i=0
N
(6.28)
6.5 EXPERIMENTOS
A anlise da capacidade tempo-real probabilstica foi desenvolvida assumindo um modelo de sistema em que nodos usam um protocolo MAC hbrido e esto sujeitos a ciclos de reconfigurao de seus modos de acesso ao
meio. Alm disso, nesse modelo as duraes dos intervalos que compem
um ciclo de reconfigurao esto exponencialmente distribudos. De acordo
com os resultados apresentados para o desempenho da auto-organizao da
rede com o protocolo HCT-MAC, apresentados na seo 5.2.2, as distribuies das duraes obtidas para esses intervalos podem ser aproximadas por
distribuies exponenciais. Desta forma, a anlise da capacidade tempo-real
foi aplicada a alguns cenrios, comparando-se os resultados previstos com
aqueles obtidos por meio de simulaes baseadas no HCT-MAC. Por fim, um
simulador idealizado foi implementado para avaliar o impacto das aproximaes e simplificaes adotadas no modelo e no desenvolvimento da FDA FTN
para o atraso adicional fim-a-fim.
Parmetro de Simulao
Perodo de mensagens
Ciclo de transmisso
Nmero de nodos
Mximo saltos
Tamanho de mensagem
Potncia de transmisso
Valor
5 a 120 ciclos de transmisso
48 ms
40
4a5
16 bytes
-10 dBm
212
Raio de trajetria
80 m
80 m
120 m
120 m
160 m
160 m
Velocidade
20 m/s
30 m/s
20 m/s
30 m/s
20 m/s
30 m/s
1
1.4
1.2
0.8
0.75
0.9
0.8
2
9.1
7.3
4.8
4.2
4.6
3.9
213
pela quantidade mxima de mensagens em trnsito multiplicada pelo tamanho de mensagem. Por fim, os parmetros para as distribuies exponenciais
dos intervalos no-configurados e configurados foram determinados a partir
das simulaes efetuadas usado o HCT-MAC, e esto listados na tabela 11.
Esses valores foram usados para calcular a taxa de mensagens entregues prevista pela anlise da capacidade tempo-real, e tambm para obter essa taxa de
acordo com um simulador idealizado.
Os experimentos mostraram que os valores previstos para a capacidade
tempo-real foram compatveis com os resultados obtidos com o simulador
idealizado, mas estiveram distantes daqueles fornecidos pelo simulador do
HCT-MAC. Nas simulaes de redes com raio de trajetria de 120 m, cujos
resultados so apresentados na figura 119(a), o simulador idealizado forneceu
taxas de entrega de mensagens ligeiramente acima do previsto. Isso coerente
com a definio da probabilidade de que exista um dado limite inferior na
capacidade tempo-real. Desta forma, os resultados do simulador idealizado
confirmaram a correo da anlise da capacidade tempo-real para o modelo
de sistema considerado. No entanto, isso no se estendeu s simulaes com
o HCT-MAC.
As simulaes com o HCT-MAC resultaram em valores para taxa de
entrega de mensagens inferiores ao previsto. De fato, mesmo nas simulaes
com carga de mensagens muito baixa, em que mensagens foram transmitidas com perodos elevados (prximos de 120 ciclos), a taxa de entrega de
mensagens obtida com o simulador do HCT-MAC se situou em torno de 80
%. Para fins de comparao, os valores previstos e os obtidos com o simulador idealizado nesses casos foram de praticamente 100 %. Apesar disso,
pde-se observar que a taxa de entrega de mensagens obtida com o simulador
do HCT-MAC cresceu com a reduo da carga de mensagens, apresentando
uma curvatura semelhante a do simulador idealizado e dos valores previstos.
Simulaes de redes com raio de trajetria de 160 m forneceram resultados
semelhantes, como pode ser visto na figura reffig:crt-40-0c. Assim, o modelo
de sistema usado para a anlise da capacidade tempo-real no correspondeu
exatamente s redes simuladas com o HCT-MAC.
O modelo de sistema assume que nodos passem por ciclos que alternam modos de acesso ao meio com conteno e livre de conteno. Do
ponto de vista da capacidade tempo-real, transmisses de mensagens ocorrem apenas no modo livre de conteno, o que faz com que o intervalo correspondente ao modo de acesso com conteno seja tratado como um atraso
de acesso ao meio. Assim, nesse modelo nodos alternam intervalos de tempo
em que efetuam transmisses de mensagens com intervalos de silncio, com
suas duraes distribudas exponencialmente. Por fim, no ocorrem erros de
transmisso e nodos que precisem transmitir mensagens sempre conseguem
214
0.8
0.6
0.4
0.2
Simulador idealizado
HCT
Previsto
0
20
40
60
Periodo (ciclos)
80
100
120
0.8
0.6
0.4
0.2
Simulador idealizado
HCT
Previsto
0
20
40
60
Periodo (ciclos)
80
100
120
215
0.6
Modo contencao
Modo livre de contencao
0.5
Probabilidade
0.4
0.3
0.2
0.1
0
0
10
15
20
Media da duracao do intervalo (s)
25
30
35
0.6
Modo contencao
Modo livre de contencao
0.5
Probabilidade
0.4
0.3
0.2
0.1
0
0
10
15
20
Media da duracao do intervalo (s)
25
30
35
216
217
218
219
220
221
vestigaram a utilizao do meio e a auto-organizao de redes em cenrios com mobilidade. Nesta tese consideraram-se cenrios em que dispositivos se movimentaram em uma mesma direo e com uma faixa
de velocidades que representaram desde o caminhar de pessoas at o
deslocamento de veculos, e que se denominou modelo de corrida. As
densidades de dispositivos nessas redes variaram para que os tamanhos
de vizinhanas (i.e. quantidades de nodos adjacentes) pudessem representar desde redes fortemente conectadas at redes esparsas.
Na ltima etapa, foi desenvolvido de um mtodo para analisar a capacidade tempo-real probabilstica de uma rede, a qual foi aplicada a cenrios de simulao que usaram o HCT-MAC. Nessa anlise assumiu-se
um modelo de acesso ao meio em que o enlace de um nodo apresenta
um comportamento cclico, em que se mantm desconectado e em seguida ativo por intervalos de tempo que podem ser caracterizados. A
aplicao dessa anlise depende da caracterizao desses intervalos,
alm da topologia da rede e do padro de propagao de mensagens.
Para aplic-la aos cenrios com o HCT-MAC, usaram-se os resultados
da avaliao de desempenho realizada na terceira etapa para caracterizar os ciclos de ativao de enlaces, e simularam-se aplicaes com
cargas de mensagens balanceadas.
7.2 PRINCIPAIS CONTRIBUIES
As principais contribuies que so fruto desta tese so:
Especificao de um protocolo MAC hbrido capaz de fazer reserva de
recursos oportunstica de curto alcance adaptvel a mudanas de topologia caractersticas de uma rede ad hoc com nodos mveis. Ao aproveitar as oportunidades que surgem na rede para associar nodos em
clusters, quando os respectivos enlaces se apresentam com boa qualidade e suficientemente duradouros, esse protocolo MAC proporciona
uma melhor utilizao do meio de transmisso e uma maior taxa de
entrega de mensagens.
Criao de uma abordagem para associao de nodos em clusters de
forma iterativa, oportuna e autnoma, e que ocorre em duas etapas. Na
primeira, nodos decidem se tornar cluster-heads com base na recepo de votos de nodos vizinhos e o uso de uma mtrica para estimar
a qualidade de vizinhana. Numa segunda etapa, cluster-heads prealocam time-slots para nodos com melhor qualidade de enlace, assim
convidando-os a entrarem em seus clusters.
222
223
224
225
0.7
Melhor caso
Pior caso
0.6
Utilizacao de time-slots
0.5
0.4
0.3
0.2
0.1
0
0
0.2
0.4
0.6
Demanda por time-slots
0.8
cycle
226
227
REFERNCIAS BIBLIOGRFICAS
ABDELZAHER, T. F.; PRABH, S.; KIRAN, R. On real-time capacity
limits of multihop wireless sensor networks. In: RTSS 04: Proceedings
of the 25th IEEE International Real-Time Systems Symposium (RTSS04).
Washington, DC, USA: IEEE Computer Society, 2004. p. 359370.
<http://dx.doi.org/10.1109/REAL.2004.37>.
B.-J. Kwak, N.-O. S.; MILLER, L. A mobility measure for mobile ad-hoc
networks. IEEE Communications Letters, IEEE, v. 7, p. 379381, 2003.
BACCOUR, N. et al. A comparative simulation study of link quality
estimators in wireless sensor networks. In: MASCOTS. [S.l.]: IEEE, 2009. p.
110.
BACCOUR, N. et al. F-lqe: A fuzzy link quality estimator for wireless
sensor networks. In: The 7th European Conference on Wireless Sensor
Networks (EWSN 2010). Coimbra, Portugal: [s.n.], 2010. p. 1719.
BAI, F.; SADAGOPAN, N.; HELMY, A. Important: a framework to
systematically analyze the impact of mobility on performance of routing
protocols for adhoc networks. In: Proceedings of the 22nd Annual Joint
Conference of the IEEE Computer and Communications Societies (Infocom
2003). San Francisco, USA: IEEE, 2003. v. 2, p. 825835.
BALAKRISHNAN, H. et al. The Distance-2 Matching Problem and its
Relationship to the MAC-Layer Capacity of Ad Hoc Wireless Networks.
IEEE Journal on Selected Areas in Communications, v. 22, n. 6, ago. 2004.
<citeseer.ist.psu.edu/703193.html>.
BALDWIN, R. O. et al. Packetized voice transmission using rt-mac, a
wireless real-time medium access control protocol. SIGMOBILE Mob.
Comput. Commun. Rev., ACM Press, New York, NY, USA, v. 5, n. 3, p.
1125, July 2001.
BHARGHAVAN, V. et al. MACAW: A media access protocol for wireless LANs. In: Proceedings of the ACM SIGCOMM Conference. London, UK: ACM, 1994. p. 212225.
<http://timely.crhc.uiuc.edu/Papers/sigcomm94.ps.gz>.
BRIDGES, C. P.; VLADIMIROVA, T. Agent computing applications
in distributed satellite systems. In: 9th International Symposium on
228
229
IEEE. 802.11: Wireless LAN Medium Access Control (MAC) and Physical
Layer(PHY) Specifications. 2007. ed. 3 Park Avenue, New York, NY, USA,
Maro 2007.
J. Boleng, W. N.; CAMP, T. Metrics to enable adaptive protocols for mobile
ad hoc networks. In: Proceedings of the International Conference on
Wireless Networks (ICWN02). Las vegas, USA: ICWN, 2002. p. 293298.
KOHVAKKA, M. et al. Performance analysis of ieee 802.15.4 and zigbee
for large-scale wireless sensor network applications. In: Proceedings
of the 3rd ACM international workshop on Performance evaluation
of wireless ad hoc, sensor and ubiquitous networks. New York, NY,
USA: ACM, 2006. (PE-WASUN 06), p. 4857. ISBN 1-59593-487-1.
<http://doi.acm.org/10.1145/1163610.1163619>.
KOUBAA, A.; CUNHA, A.; ALVES, M. A time division beacon scheduling
mechanism for ieee 802.15.4/zigbee cluster-tree wireless sensor networks.
In: Proceedings of the 19th Euromicro Conference on Real-Time Systems.
Washington, DC, USA: IEEE Computer Society, 2007. p. 125135. ISBN
0-7695-2914-3. <http://dl.acm.org/citation.cfm?id=1270383.1270684>.
LEVIS, P. et al. TinyOS: An Operating System for Sensor Networks. In:
WEBER, W.; RABAEY, J. M.; AARTS, E. (Ed.). Ambient Intelligence.
Berlin/Heidelberg: Springer-Verlag, 2005. cap. 7, p. 115148. ISBN
3-540-23867-0. <http://dx.doi.org/10.1007/3-540-27139-2_7>.
LU, M.; WU, J. Survey on link quality models in wireless ad hoc networks.
In: Encyclopedia on Ad Hoc and Ubiquitous Computing. [S.l.]: World
Scientific Publishing, 2009. (Theory and Design of Wireless Ad Hoc, Sensor,
and Mesh Networks), cap. 1, p. 322. ISBN 978-981-283-348-8.
MANK, S.; KARNAPKE, R.; NOLTE, J. An adaptive tdma based
mac protocol for mobile wireless sensor networks. In: Proceedings
of the 2007 International Conference on Sensor Technologies and
Applications. Washington, DC, USA: IEEE Computer Society,
2007. (SENSORCOMM 07), p. 6269. ISBN 0-7695-2988-7.
<http://dx.doi.org/10.1109/SENSORCOMM.2007.22>.
MUTHUKUMARAN, P. et al. Meshmac: Enabling mesh networking
over ieee 802.15.4 through distributed beacon scheduling. In: ZHENG, J.
et al. (Ed.). ADHOCNETS. [S.l.]: Springer, 2009. (Lecture Notes of the
Institute for Computer Sciences, Social Informatics and Telecommunications
Engineering, v. 28), p. 561575. ISBN 978-3-642-11722-0.
230
231
232