A Timing Analysis of AODv - Quantitative Analysis and Verification

 !"""
# $ %#&'( $ $ " $ )
) *
+
" , "
-
.
" / & 0 1 1
2
%&012( )
34 %-456(" &012 $ )
. " / )
7
&012 .
7
" 0 %-456))8( $ $ $ $ $
"
! !
" ! # $ ! " !!
% !
! #
"" &' () "" &*+) "" ,(-"
& *
*
+ &*+ ! ./0 ! ! 1 23
(345/6 ! .67 680" &*+ ! ! " &*+ " !
" &*+ 1 2 " #!
6999 ! : !
.680"
! !
1 # " !#
# ! $ ! Æ" ; ! &*+ (345/6 #
!
! "
!
! " <
! !# !
" !! $ "
( :
! !! &*+ !
.8
650 ! ! = " >
!!
!
" !
"" ! &*+ ! #
! " 2 !
"" !!
" ! ! !
!: " ; ! !
1 ! "
2 !
! ! # &*+ ! !" ? &*+ < .77
7=0 " ? ; ! !
&*+ !! !: !" &
&*+ ! 1 # " !
(345/696 ./0 ! 64 (345/699 " @
! !
&*+ .680 : !
! 7 #!" ? !! :
! ! "
@ &*
*
+ &*+ - 2- ! : " &*+ " ""
! " ! !! " &*+ (3 ./0"
! " $ " # ! # ! ! $ " " ) !
"
&*+ ! "
2 ((A " B 2- $ : ((A" ((A $ " ; ((A
!"# $ -* ! " % "& $
&# ((-" 2 ((- ((A ! "
? ! "
? ((A ! ((A " ! " $ (" $ " 2
((A" ! ! ((A" 2 ((A ! ((A
"
2 ! ((
$ " ! ((A" ((- !!
! ! " & ((- !
"
! : " ! ! " 2 " 2 !" ! " "
& !! ! && " !
" <! :
!" 2 ((( " ((( "
(
! !# " 3 !
" ! !
" 3
!
! " Æ ;" $ ! : .7C0 %
2" 2 !
# "
22" ? !
"
-! 22 ! ! !" ! ! D
! " !
" : "
!!
! " D
! !
#% ! E B !
!
# # !
" &
F ! ' #
! () #
!" ! $ !! #! !
" !
: !! !" :
G:
:
: !!
! :
" !
!! !
;" ! !!
( ) ! ! !
! ;"
:
2 .69 650" ! !:
F :
" 2 .690 ! &*+ 7 -2 :
!
! ! @&' !" @ &*+ 5 ! " !
: " !" 3 !! 2 22 ! H I" !
!
; !% #
! " ? #! .780 ) !
" " .690 .!
5//0 &*+ 5 :
" ?
!
! &*+ ./0 < .7=0 !
!
; !! 2 22 !"
! &*+ ! !! !
! .69 650" < .7=0 ! !
!:
" < D $ !
#!" #!
$ < :
:
.740 !# .C0"
% * .6/0 ! ) * + ' ," .790 :) ! .60"
!
! (345/696 " &*+ ! " *&+ " ? : &*+
" &*+ !
< ! "
? : !
./0" ; ! !
!
" 3 ! ((( @''& ! !" 2 !
B #! #
:
" .6=0" &*+ "
./0 " ? ! !:
: ! .690 !!!
! " @ !
#! # 1 :
5" 3 1 :
" ? ! # .650
= .690 4 " ? 1
! !! " 3 ! : ! B !! J ! J "
& !!
Æ !: " : ! !: ! " : !
%
% ((A ((- !
% ((A ((- !
% ((A !
((-"
! $ " .6=0 %
" ((A - ' ((-" 2 ((- % "& $ ((A" ((A " ((A ! " 2 ((- ! ((A " ? !
(( !
" ? #"
" ! ((A
((- !
!
((A ((-G
!
# !
((- " 2 #! ((- !
" 2 !
((A ((- ((A " ((A D
! ((A"
" ! ((A !
$ ((-" ! !
" ? F : !
: !
!"
!
? !
!! ! "" J ! J " 2 !
! ! #
! J ½ ¾ ! ! !
: ½ ¾ !"
!! !
!
#!
"
? : !
: "" " ! : # " ! 1 .760 :) # ! ! " <
! !
!
! " ' ! !! "" J
!
:
J " 2 <
!%
; .7K0" # J 6 7 !
.7 760 %
½
½
½ ¾
¾
½
¾
¾
? ! &*+ ! &*+
"" ! %
½ ½
$ !
%
½ !!
$ .7K0 &*+ # : !
%
2 !: "
? !!
1 ! !!" ? . !! ! : "" J ! J "
: !:
Æ # D
!:
# "
! ""
? ; !! !
" 2 Æ " 2 !
! "
!
!
!
" & !
!
" ? !: :
: ! !! " : #
!! !
!:
" ! ; ! ) ! !
!"
"
? " 2- 9 6" 9 6 2- " 9 6 7 "
&*+ ./0 " ; ! "
:
" : :
" ! ((A
!" 2 ! !
3 6"
RREQ1
intermediate nodes
RREP1
RREP1
RREQ2
sender
RREQ2
intermediate nodes
RREP2
RREQ3
RREP3
RREQ1
destination
RREP2
RREQ3
RREP3
intermediate nodes
&012 3 !
! !: ! " ? ! 67 ! " .6=0"
#
$ 2 !
! &*+ ./0" ? !
% $ * " 1
: # ! ! " !
* F 1" ./0%
% "& $ J 69" ! !
"
J 79" ? 7 "
J / 0 % "& $ 0
% $ " ((-"
! " $J 4999 !"# $
" 1
!"# $ J
7L / 0 % "& $"
" 2 # 4999 64 99"
J 4"
% $
% "& $
! " ? !
%
6" ! ((A 7" ! ((A !"
> ! ((A) !
" ! 9 64 6 67" ? " 9 64 " ? ! ((-" ? : ((- ! #" 2 ((- #" : ; !
!
"
? : !! 2 "" # "
# $ %& < < !! E
B%
" #
#"
>
! ((A ; " !! : ! E!.0JB 2- 2- E!.0JB%
9
9
:8; < 5
:8; < :; < :; < :; < =
:; < 5
3 7 4 : ((A ((A6 64" : ((((-6 " ? ((A6 = B ((A ((A ((A7 "
((A7 66 : ((-6" ((-7 66" B ((A ((A
((A4 " ((A4 C : C ((-6" ((-4 C" ? ((-6 6 " ?
((-7 ((-4 6 #!" 4 ! : #"
3 7 4 "" 6 67" C9 ((A6 ((A7 K" 2 : ! =9 3 7 ((A =9" ((A B ((A K9 7L=9"
2 ! 4 3 7 ((-6 !!
69" ((A7 66" 66 ((-6 !
((A ((-7 66" ((A7 !
" ((A4 7"
/9 3 4 ((-6 5 ((-7 / ((A4
C" C ((-6 ! ((A4" ((-4 " ((A4 !
" 699 3 4 ((A4 ((-6 6 ((-7 ((-4 7 4 !"
3. RREQ_timer = 10ms
1. RREQ_timer=40ms
node 4
RREQ1
RREQ1
node 10
route timers to the sender.
node
1 2 3
4 5
timer 30 20 10
0
RREQ2
6
7
8
9
10 11 12
route timers to the sender.
2. RREQ_timer=70ms
node 13
RREQ1
node 8
RREQ2
1 2 3
4 5
60 50 40 30 20
timer
node
1
2
timer
0
80 70
3
4
5
60 50
6
7
8
9
10 11 12
40 30 20 10 0
0
10
route timers to the destination.
route timers to the sender.
node
node 2
RREQ3
node 13
RREP1
node 11
RREP2
6 7
10 0
8
9 10 11 12
40 30 20 10 0
node
1
2
3
4
5
6
7
8
9
10 11 12
timer
0 10
--> --> --? --? 4. RREQ_timer = 60ms
RREQ1
node 5
RREQ2
node 6
RREQ3
route timers to the sender.
node
1 2 3 4 5 6
timer 50 40 30
20 10 0
node 7
RREP3
7
0
node 13
RREP1
node 11
RREP2
8 9 10 11 12
10 20 30 40 60
route timers to the destination.
node
timer
1
2 3
4 5
6 7
0 0
8 9 10 11 12
10 20 30 40 60
5. RREQ_timer = 100ms
RREQ1
node 1
RREQ2
node 2
RREQ3
node 3
route timers to the sender.
node
1
2
3
4
5
node 13
RREP1
node 11
RREP2
node 7
RREP3
6
90 0 0
0 10 20
route timers to the destination.
timer
node
timer
1
2
0
7
8
9
10
11
30
50
60
70
80 70
9
10
11
60
70
80 100
3
4
5
6
7
0
0
10
20
30
8
50
12
12
--?5 6 89 JK9 ((-6 " ((-7 ((-4 6 #! " #"
# !! 22 "
# %
$
' & ?
!
"
? : !
B : !
" !!
E
B %
"
C :
" ? : !
5 !! :"
> %
9
:8; < 6
9
9
:8; < 8
9
:; < 6
:; < 8
:8; < :=8
:5; < 8
;
:; < 8
:; < 8
:; < 58
:@; < 8
:; < 8
:; < 88
<
#!
! F
((-7" > %
9
:8; < :=8
:5; < 8
;
:; < 8
:@; < 58
:; < 8
:; < 8
69 ! ((- !
=9 5" :
!
5 59 5 699
JK9"
2 !
$ 2 22 :" ? # !! : !
) #
# !:
"
( ) &*+ ! % $ 1" 2
"" " 2 ((A ((- (((
!
! B % $
F % $ ! "
! 1"
? : : ! ((A" .6=0" ? !!
2 22 :) !
!"
:
$ ! "
3 1 !! % $
" # $ : " @ # $ "
%
&'
!
!
! !! # " ? ! &*+ .K0 ! .650" .6K0 &*+ !
!
! !:
((( " 2 .650 #!
((( !" & ! !
!" !
" !
!!
$ .6C0 !" 2 .80 ! !
! @&'" (
! !
"
:
! &*+ #! .780 * ! .660 # # "
! * ! :
! * ! !" &*+ !# "
! !! '<( !
.7C0 < "
% $ D .7/ 750 ! " -
! !!
.64 6=0"
(
? &*+ ! :
$ ! < " ? ! !:
"
! :# ((- $
" ? !! :
&*+ % $ 1 !
" :
!"
2 ! !:
./0 99 .=0 64 .50" # !
; " 7 #! &*+<< !
.490 ! 64 :
!
# " ? : &*+ : ! .40"
" A" &
?" &" B " C" A" ?$ -
&
" 3 58 @D6" 1 EEF"
" A" &
&" " C" A" # -
&
" -
- )E=)E -3 ' EE="
5" " #" )- 3" 1" " ?
) "
@" " #" )- 3" 1" " " ? " & 0)
1 1
2
%&012( -
" ! 885"
9GG$$$"
"G
)
G
) )
))88"
,
"
" " #" )- 3" 1" " " ? " & 0)
1 1
2
%&012( -
" ! 4 885"
9GG
"""G&012G31G
)
)
))5"
,
"
6" " #" )- 3" 1" " " ? " & 0)1 1)
2
%&012( -
" ! H 88@" 3
1
-4
56)8 9GG
"""GG
) )
))8"
,
"
=" H" " C" A 4" A ?" ?
/" I" )
& 2.
-) "
3 ! " " 8E # $ "
D2 # EE"
F" " " &" C
#" 3" A 1" 0 0" #" 2$
" 29 4 & '
$ " 3 %&&& "' () " *" %&&&+ D5 1
& E@58 " "& &
888"
E" " " &" C
3" A 0" #" 1" 0 #" 2$
" 29 4 & '
$ " ,,, , *,+ F%(9ED@ 88"
8" " " &" C
1" 0" 4 2.
1
2
-
?
" - "' @E%@(95FD=6 H
88"
" 1" 1" 1" 1
? " 1
" )
'
"
1 $ 9 9GG$$$"$"
"G G1 G"
" 3" 1" " #" )-" &012 )
" 3 ! " $! * "$+ 6EFD=85 H # 88@"
5" " $ #" J" $
$ " # & 0)1 1
2
%&012( ?
$
&
" 3 !
" ./ *".0&1+ & 885"
@" " $ #" J" $
$ " & ?
&012
??&&A" -
-)8@)@ 0 # 88@"
" &" 1" A" 1 1" -" #" #
1" ? " #9 & ?
& # - " 3 ) 1 88"
6" ?" -" 1K& " " -" H
)?
C" H" " -
?
#
L -
3 E=)85 4
$
'
A
3
233" C EE="
=" " 1 1" A" 1" ), ?
1 ?)
&
" 3 ' " *'"+ %&&% = #
$ ED5 ?
0 & ' 88"
)2"
F" 1" -" #" #
" & $ # 4" 3 ./
' ! " *.'" 0&2+" )2
88@"
E" " '" "
&012)9 &) 0) 1
2
-
"
9GG"
""GB GG"
8" " M " C" A " A &" " 4 # &
&G2 ?
9 & 3
" 3 ,,, 3 D5 4
1 EE=" -3 - )E=)5"
" M" " H " C" A &" " ) &
2.)
-) &
" 3 4 5 *3&&+ E6 # $ ED58 ? 3 888" )2"
" " C" A ?" ?
" " 6 , " =89@8D@@ 4 888" 9GG$$$"""
5" " C" A ?" ?
/" I" #)
-)
" 3 3 078 9 ,,, 3
*3 07+ =6" 3 EE"
3 ' 8)FF6)=55=)8"
@" " C" A ?" ?
/" I" '
" - %)(95@D EE="
" H" # " -N :
; @88 ' " #&' 6 H 88"
# 319 """""88585555888"86=F!"
""""
6" ?" '" 0 ?4 &012 " #&' 5 # 885"
# 319 8=85@5E8=@=888!
$ ""
=" H" ?$ &" ? 0" /" &
2.
& M -
?
" 3 5 $! *)3,+ )3,0%&&2 55 # $ " )2 88@"
F" 1" ?" A" #" " # 2.
3 5E@ -
?
" - 5%@(9@6ED@F 88"
E" -" *" 4 2.
&012" #
K 1
3
? & 88" &
C
"
58" " /" ?
&012) 3
) )
" #
K 1
$ 1 88"