josianethesis

advertisement
Road-Based Routing in
Vehicular Networks
PhD Dissertation Defense
by Josiane Nzouonta
Advisor: Cristian Borcea
Today: Smart Vehicles




Geographical Positioning System (GPS)
Digital maps or navigation system
On-Board Diagnostic (OBD) systems
DVD player
2
Tomorrow: Vehicular Networks
Internet
Cellular
Cellular
Roadside
infrastructure
Roadside
infrastructure
Vehicle-to-vehicle

Applications




Accident alerts/prevention
Dynamic route planning
Entertainment
Communications



3
Cellular network
Vehicle to roadside
Vehicle to vehicle
Vehicular Ad Hoc Networks (VANET)


My focus in this research
Benefits




Challenges

Scalability
Low-cost
High bandwidth

4
Security
High mobility
VANET Characteristics

High node mobility

Constrained nodes movements

Obstacles-heavy deployment fields, especially in cities

Large network size

Can applications based on multi-hop communications work in
such environment?
5
Problem Statement

How to design efficient routing and forwarding
protocols in VANET?

Do existing MANET routing protocols work well in VANET?

If not, can we take advantage of VANET characteristics to
obtain better performance?

Are current forwarding protocols enough or can they be
optimized for VANET characteristics?
6
Contributions

Road-Based using Vehicular Traffic (RBVT) routing



VANET distributed next-hop self-election


Eliminate overhead associated with periodic “hello” messages in
geographical forwarding
Effect of queuing discipline on VANET applications


Use real-time vehicular traffic and road topology for routing
decisions
Geographical forwarding on road segments
LIFO-Frontdrop reduces end-to-end delay compared with FIFOTaildrop
RBVT path predictions

Analytical models to estimate expected duration of RBVT paths
7
Outline



Motivation
RBVT routing
Forwarding optimizations




Distributed next-hop election
Effect of queuing disciplines on VANET performance
RBVT path predictions
Conclusions
8
Node Centric Routing Shortcomings in VANET

Examples of node-centric
MANET routing protocols

AODV, DSR, OLSR
D
N1
S



Frequent broken paths due to
high mobility
Path break does not correspond
to loss connectivity
Performance highly dependent
on relative speeds of nodes on a
path
9
a) At time t
N1
S
N2
b) At time t+Δt
D
Geographical Routing Shortcoming in VANET

Examples of MANET
geographical routing
protocols


Advantage over nodecentric


GPSR, GOAFR
Less overhead, high
scalability
S
N1
Subject to (virtual) deadend problem
N2
D
Dead end road
10
RBVT Routing Main Ideas




Use road layouts to compute
paths based on road
intersections
Select only those road
segments with network
connectivity
Use geographical routing to
forward data on road
segments
Advantages


S
Source
I1
I2
I3
I4
I5
I7
I8
A
B
C
Path in header: I8-I5-I4-I7-I6-I1
I6
Greater path stability
Lesser sensitivity to vehicles
movements
E
D
car
Ij
11
Intersection j
Destination
RBVT Protocols

RBVT-R: reactive path creation




Up-to-date routing paths between communicating pairs
Path creation cost amortized for large data transfers
Suitable for relatively few concurrent transfers
RBVT-P: proactive path creation



Distribute topology information to all nodes
No upfront cost for given communication pair
Suitable for multiple concurrent transfers
12
RBVT-R Route Discovery

Source broadcasts route discovery
(RD) packet

RD packet is rebroadcast using
I1
improved flooding

S
A
B
Intersections traversed are stored
Source
N1
Re-broadcast
from N1
I2
I3
I4
I5
I7
I8
Re-broadcast
from B
C
in RD header
I6
E
I
13
car
Intersection
j
j
D
Destination
RBVT-R Route Reply



Destination unicasts route
reply (RR) packet back to
the source
Route stored in RR header
RR follows route stored in
the RD packet
S
Source
I1
I3
I4
I5
B
C
I6
E
I
14
I2
A
car
j Intersection j
I7
I
Path in reply
packet header
I1
I6
I7
D I4
8
I5
I8
Destination
RBVT-R Forwarding


Data packet follows path
in header
Geographical
forwarding is used
between intersections
Path in data
header
I1
I6
I7
I4
I5
I8
S
Source
I1
I3
I4
I5
I7
I8
B
C
I6
E
I
15
I2
A
car
j Intersection j
D
Destination
RBVT-R Route Maintenance

Dynamically update routing
path


Add/remove road intersections
to follow end points


I1
A
B
When path breaks

S
Route error packet sent to
source
Source pauses transmissions
New RD generated after a
couple of retries
16
Source
N1
Re-broadcast
from N1
I2
I3
I4
I5
I7
I8
Re-broadcast
from B
C
I6
E
I
car
Intersection
j
j
D
Destination
RBVT-P Topology Discovery

Unicast connectivity packets
(CP) to record connectivity
graph



I1
Node independent topology leads
to reduced overhead
Lesser flooding than in MANET
proactive protocols
I3
I2
A
2
1
B
7
C
3
8
I4
6
I5
9
5
4
I6
Intersections gradually added to
traversal stack
Status of intersections stored in
CP

n
n-1
Network traversal using
modified depth first search


CP generator
Reachable/unreachable
17
E
I
car
i Step i
Intersection
j
j
I7
I8
RBVT-P Route Dissemination & Computation


CP content is disseminated in
network at end of traversal
Iv1
I1
I2
Iv2
I3
Each node
Iv4

Updates local connectivity view

Computes shortest path to other
road segments
I1: I2, I6,
Iv1
6: I1, I7
I7: I6, I4
I4: I7, I5,
I5v3: I4, I8,
Iv4
2: I1, Iv2
RU content
Iv3
I6
Reachability
18
I4
I5
I7
I8
Ij Intersection j
RBVT-P Forwarding and Maintenance


RBVT-P performs loose source routing

Path stored in every data packet header

Intermediate node may update path in data packet header
with newer information
In case of broken path, revert to greedy
geographical routing
19
RBVT Evaluation


Perform simulations to compare against existing
protocols
Comparison protocols:





AODV (MANET reactive)
GPSR (MANET geographical)
OLSR (MANET proactive)
GSR (VANET)
Metrics



Average delivery ratio
Average end-to-end delay
Routing overhead
20
Simulation Setup





Network Simulator NS-2
Map: 1500m x 1500m from
Los Angeles, CA
Digital map from US
Tiger/Line database
SUMO mobility generator
Obstacles modeled using
random selection of signal
attenuation


Range [0dB, 16dB]
Shadowing propagation
model
21
Simulation Setup (cont’d)
Data rate
11Mbps
22
Average Delivery Ratio
250 nodes
100
100
90
90
80
70
AODV
60
GPSR
Average delivery ratio (%)
Average delivery ratio (%)
150 nodes
RBVT-P
50
OLSR
40
GSR
30
RBVT-R
20
10
1
1.499
2
3.003
4
4.505
5
GPSR
RBVT-P
50
OLSR
40
GSR
30
RBVT-R
20
0.5
Packet sending rate (Pkt/s)

AODV
60
0
0.5

70
10
0

80
1
1.499
2
3.003
4
4.505
5
Packet sending rate (Pkt/s)
RBVT-R has the best delivery ratio performance
RBVT-P improves in medium/dense networks
The denser the network, the better the performance for
road-based protocols in these simulations
23
Average End-to-end Delay
250 nodes
5
5
4.5
4.5
4
3.5
AODV
3
GPSR
End-to-end delay (Seconds)
End-to-end delay (Seconds)
150 nodes
RBVT-P
2.5
OLSR
2
GSR
RBVT-R
1.5
1
0.5
GPSR
RBVT-P
2.5
OLSR
2
GSR
RBVT-R
1.5
1
0
0.5
1
1.499
2
3.003
4
4.505
5
0.5
Packet sending rate (Pkt/s)

AODV
3
0.5
0

4
3.5
1
1.499
2
3.003
4
4.505
5
Packet sending rate (Pkt/s)
RBVT-P performs best, consistently below 1sec in the
simulations
RBVT-R delay decreases as the density increases (less
broken paths)
24
Outline



Motivation
RBVT routing
Forwarding optimizations




Distributed next-hop election
Effect of queuing disciplines on VANET performance
RBVT path predictions
Conclusions
25
The Problem with “hello” Packets


“hello” packets used to advertise node positions in
geographical forwarding
“hello” packets need to be generated frequently in
VANET



High mobility leads to stalled neighbor node positions
Presence of obstacles leads to incorrect neighbor presence
assumptions
Problems in high density VANET


Increased overhead
Decreased delivery ratio
26
Distributed Next-hop Self-election


Slight modification of
IEEE 802.11 RTS/CTS
Backward compatible




(0.201ms) n1
(0.0995ms)
r
ns RTS
n2
(NULL)
(0.115ms)
n4
n3
RTS specifies sender and
final target positions
Waiting time is computed by
each receiving node using
prioritization function
Next-hop with shortest
waiting time sends CTS first
Transmission resumes as in
standard IEEE 802.11
27
n5
D
n6
(a) RTS Broadcast and Waiting Time Computation
n1
r
ns CTS
n2
n4
n5
D
n6
n3
(b) CTS Broadcast
r
n4
ns
n1
Data n
2
n5
D
n6
n3
(c) Data Frame
n1
r
ns ACK n
2
n4
n3
n5
n6
D
Waiting function

Function takes 3 parameters




Distance sender to next-hop (dSNi)
Distance next-hop to destination (di)
Received power level at next-hop (pi)
Weight parameters α set a-priori

Value of α determines weight of corresponding parameter
28
Waiting Function Results

Using multi-criteria function to select next hops leads to
significantly lower packet loss and overhead in VANET
29
Evaluation of Self-election Performance





Goal: Verify and quantify if/how self-election improves
performance in high congestion scenarios
Metrics
 Average delivery ratio
 Average end-to-end delay
 Routing overhead
Used own mobility generator based on Gipps car-following and
lane-changing models
Simulations parameters same as used for RBVT evaluation
Map used in the no obstacle simulations
30
Delivery Ratio & Delay

RBVT-R with source selection using “hello” packets vs. selfelection

Distributed next-hop self election


Increases delivery ratio
Decreases end-to-end delay
31
Outline



Motivation
RBVT routing
Forwarding optimizations




Distributed next-hop election
Effect of queuing disciplines on VANET performance
RBVT path predictions
Conclusions
32
Effect of Current Queue Discipline on Delay



Current queuing discipline: FIFO with Taildrop (TD)
Wireless contention increase time packets spend in
queue
Low percentage problem frames have significant impact
on average delay
33
Improving Delay through Queuing Discipline

Why improve?



Delay sensitive but loss tolerant applications important in
VANET/MANET
Applications: video streaming near an accident; search and
rescue operations
Analyze four queuing disciplines




FIFO-Taildrop (FIFO-TD)
FIFO-Frontdrop (FIFO-FD)
LIFO-Taildrop (LIFO-TD)
LIFO-Frontdrop (LIFO-FD)
34
Single Queue Analysis

Probabilities of service and failure

Probabilities of service/failure given that packet arrives with
system in state k

And for all disciplines
35
Single Queue Analytical Results



Low traffic rate ρ = 0.75
Expected waiting times are similar for all 4 disciplines
Variance of waiting times higher for LIFO disciplines
36
Single Queue Analytical Results (cont’d)



High traffic rate ρ = 1.5
LIFO-FD presents low expected waiting times of packets served
Variance of waiting times of served packets is also lowest for
LIFO-FD and highest for LIFO-TD
37
Network Evaluation

Evaluation


Assess performance in ad hoc networks, static and mobile
Metrics: average end-to-end delay, end-to-end jitter,
throughput
Static topology
38
Average End-to-end Delay
UDP sending rate 5 Packet/seconds
UDP sending rate 20 Packet/seconds
0.14
20
18
End-to-end delay (Seconds)
End-to-end delay (seconds)
0.12
0.1
FIFO-FD
0.08
FIFO-TD
LIFO-FD
0.06
LIFO-TD
0.04
0.02
10
20
30
50
70
90
100
FIFO-TD
10
LIFO-FD
8
LIFOTD
6
4
5
Buffer size

FIFO-FD
12
0
5

14
2
0

16
10
20
30
50
70
90
100
Buffer size
Static ad hoc network scenario
Comparable performance for low traffic
LIFO disciplines have best and worst performance in
high traffic
39
Average Jitter
UDP sending rate 5 Packet/second
UDP sending rate 10 Packet/second
0.04
6
5
Average jitter (Seconds)
Average jitter (Seconds)
0.035
0.03
0.025
FIFO-FD
FIFO-TD
0.02
LIFO-FD
LIFO-TD
0.015
0.01
4
FIFO-FD
FIFO-TD
3
LIFO-FD
LIFO-TD
2
1
0.005
0
0
5
10
20
30
50
70
90
100
5
10
Buffer size


30
50
70
90
100
Buffer size
Static ad hoc network scenario
Low traffic: less than 40ms jitter for all 4


20
FIFO has lowest jitter
High traffic: LIFO-FD maintains less than 1sec jitter with buffer
size increase
40
Delay & Throughput in VANET



No obstacles map with 250 nodes, RBVT-R
LIFO-FD leads to lower delay (as much as 45%)
Throughput not aversely affected by LIFO-FD
41
Outline



Motivation
RBVT routing
Forwarding optimizations




Distributed next-hop election
Effect of queuing disciplines on VANET performance
RBVT path predictions
Conclusions
42
Characterization of RBVT Paths

Why?





How long is the current route going to last?
Does it make sense to start a route discovery?
Can a 100Mb file be successfully transferred using the current
route?
Is it possible to estimate the duration of a path disconnection?
How to estimate path characteristics (connectivity
duration/probability)?


Simulations are specific to geographical area
Analytical models based on validated traffic models are
preferred
43
Cellular Automata (CA) Traffic Model
Lc = 7.5m
car 1, v1=2
car 3, v3=1
car 2, v2=2
gap1 = 4 cells
gap3 ≥ 3 cells
gap2 = 1 cell
(a) At time t
car 1, v1=2
car 2, v2=1
gap1 = 3 cells
car 3, v3=1
gap2 = 1 cell
gap3 ≥ 2 cells
(b) At time t+1

Update rules at vehicle i




Acceleration: if vi < vmax, vi = vi + 1
Slow down (if needed): if vi > gapi, vi= gapi
Randomization: vi = vi – 1 with probability p
Move car: xi = xi + vi
44
DTMC-CA Model




Discrete-time and discrete space model
Uses CA microscopic traffic model for vehicle
movements
Portion of road between source and destination divided
in k cells of length Lc
Markov chain M = (S, P, s0)



State space S = {s = (c1, c2, …, ck), ci є V, i=(1,…, k)}
Cell values V = {0, 1, 2, …, vmax, ∞}
Interested only in stationary measures
45
State Reduction: Invalid States


As described, |S| = |V|k
Many potential states are transient states


Violate updating rules
Not reachable from any other state in the system
Time t-1
Time t

1
Time t-1
0
0
2
Time t
2
0
0
3
Algorithm to output non-transient states
 Directly obtaining non-transient states needed
46
State Reduction: Lumpability

Markov chain
is lumpable w.r.t
with

Example

Additional 80% decrease in size of space set observed
when lumping the Markov chain
47
Transition Matrix

Generic transition probability from state of aggregated
Markov chain
Road section
Cell number
48
2
1
2
1
3
4
5
1
6
7
0
8
9
10
For cell 2:
2 = 3
2 = 0
For cell 3:
3 = 5
3 = 0
Borders:
0 = 3
10 = 9
For cell 6:
6 = 7
6 = 5
Probabilistic Measures




Stationary distribution π
Connected states S1
Disconnected states S2
S1US2 =S
Expected duration of connectivity
49
S1∩S2 =Ø
Probabilistic Measures (cont’d)

Expected duration of disconnection

Probability of connection duration
50
Extending Basic Model

Bidirectional Traffic



Each lane is divided in k cells, juxtaposed, independent
Markov chain
Moving endpoints and lane change


Speed relative to source speed
Possible cell values
Lc = 7.5m
51
Evaluation Method and Setup



Simulation to validate
model
Simulate CA freeway
model and SUMO
Large ring layout



Total number of cells = 320 cells
Source
Connectivity of shaded
area is analyzed
Complete ring affects
shaded area
DTMC-CA considers
shaded area only
52
Area of observation
with k cells
Destination
Expected Connectivity Duration
75 vehicles
50 vehicles



DTMC-CA match well with simulation results
Increase in transmission range leads to increase in connectivity
duration (as expected)
Stochastic nature of CA model: 11 cells out of 12 cells for
connectivity leads to average of < 80 sec with 0.23 density
53
Expected Disconnectivity Duration
35 vehicles



50 vehicles
DTMC-CA match well with simulation results
Increasing connectivity range decreases expected disconnectivity
duration
Impact of density on expected disconnectivity duration reduced
compared to impact on expected connectivity duration
54
Probability Connectivity Duration
k = 8 cells


k = 10 cells
Longer uninterrupted connectivity less likely
Larger k leads to smaller probabilities of connectivity
duration
55
Incorporating Path Estimates in RBVT

Road-side sensors or historical data


Improving route selection


How long should the source wait when a route breaks
Determining RBVT-P CP generation interval


Duplicate routes received at the destination
Enhancing route maintenance of RBVT-R


Road segment densities and entry speeds probabilities
Period between CP generation based on connectivity duration
Reducing overhead network traffic

Likelihood of success of 100MB transmission (delay or divide in smaller
chunks)
56
Conclusion



Existing MANET routing protocols do not work well in VANET
Better routing and forwarding possible by integrating VANET
characteristics such as road layouts and node mobility
Contributions:
 RBVT routing: Stable traffic-aware road-based paths
 Distributed VANET next-hop self-election: Significant
overhead reduction in geographical forwarding
 Impact of queuing discipline on latency: LIFO-TD improves
performance for delay sensitive applications
 RBVT paths predictions: Analytically compute path estimates,
which can be used to improve data transfer performance
57
Future Work

Adaptive queuing mechanism

Route lifetime prediction independent of the vehicular
traffic model used

Apply knowledge of expected route duration in RBVT

Security issues in RBVT
58
Thank you!
Acknowledgments: This research was supported by the NSF
grants CNS-0520033 and CNS-0834585
59
Impact of Number of Flows
100
90
Average delivery ratio (%)
80
70
AODV
60
GPSR
RBVT-P
50
OLSR
40
GSR
RBVT-R
30
20
10
0
1
5
10
15
20
Number of concurrent flows


The data rate is fixed at 4 packets/second and the network size is
250 nodes
Delivery ratio is stable in the simulations performed
60
Node Selection Using Waiting Function
61
Overhead


Routing packets exchanged for each received data
packet
Removing “hello” packets essentially eliminates most
overhead
62
Single Queue Analysis




Interested in time elapsed from packet arrival to service
Markov chain model X(t) on the state space {−1, 0, · · · ,N}
If packet arrives when state (k), k < N
 State changes to (k + 1)
 New packet goes in position k+1
If a packet arrives while the system is in state (N)
 System remains in this state
 Under Taildrop, the arriving packet is dropped and all the
other packets remain in their old positions
 Under Frontdrop, the packet in position 1 is dropped, other
packets move up one position (j -> j −1), arriving packet goes
to position N
63
TCP Throughput and Fairness
10 flows, 2MB each



6 flows, 5MB each
Static ad hoc network scenario
Transfers complete at comparable times for LIFO-FD
and FIFO-TD
LIFO-FD does not disadvantage any specific flow in
those simulations
64
DTMC-CA: Effect of Removing Invalid States
65
SUMO Results
66
Different Traffic Models - Different Results
67
Connectivity Window Model



Provide analytical model
independent of the traffic
model
Uses the concept of
connectivity window
Count vehicles in each
window
68
Download