Fitting Model For Self-Similar Traffic - Time Dependent Markovian Process and Second Order Statistics
Fitting Model For Self-Similar Traffic - Time Dependent Markovian Process and Second Order Statistics
Abstract
Various self-similar traffic models proposed earlier are asymptotic. In this connection,
many Markovian models are proposed, but the performance analysis was possible only when
the system is in steady state, and such traffic models are not realistic. In this paper, a procedure
is proposed to fit Markov Modulated Poisson Process (MMPP) with time dependent sinusoidal
arrival rates that emulates self-similar traffic. This is done by matching the variance of the
both during prescribed time scales. Numerical results represent what extent MMPP could
reproduce self-similar traffic in specified time scales.
1. Introduction
The pivotal studies at AT&T Bell labs (Leland, et al. 1994; Paxson and Flyod, 1995)
revealed that IP packet traffic over LAN and WWW internet traffic (Crovella and Bestavros,
1997) are self-similar (fractal like behavior), and this behavior effects efficiency of network
nodes such as routers or switches (Misra, et al. 2012). Many traffic models such as Chaotic
maps, FARIMA, and FBM are proposed to emulate the self-similar behavior. These models
are parsimonious, but are asymptotic, hence they are not practically useful (Erramilli, et al.
1996; Norros, 1994). Andersen and Nielsen (1998) used Markovian Arrival Process (MAP) in
particular Switched Poisson Process (SPP) to model the Long Range Dependent (LRD)
characteristics (statistical definition of self-similarity) of traffic over different time scales, and
proposed a fitting procedure wherein covariance of second-order self-similar process, and that
of resultant MAP (superposition of several SPPs) are equated. Kasahara, et al. (2001) proposed
a method based on variance of second-order self-similar traffic using Interrupted Poisson
Process (IPP). Later, Reddy, et al. (2005) extended the work by making modulating parameters
of each IPP unequal, and investigated the relation between traffic parameters, time scale, and
parameters of fitting. In all the above, resultant MAP is homogeneous and the arrival rates
were not functions of time, and queueing behavior of traffic nodes was investigated in the
steady state. Steady state outcomes never give actual queueing behavior, since it relies on a
prolonged performance of system to nullify the initial conditions (Kelton and Law, 1985). In
real time, network traffic is not homogeneous over all time scales, and the modeled system by
no means attains steady state. Because of these reasons, necessity of time dependent (transient)
analysis is warranted. Abate and Whitt (1988) analyzed M/M/1 queue in transient with Poisson
arrivals using Laplace transforms. Eick, et al. (1993) studied the Mt /G/ queue with time
dependent arrival rates, and determined the number of busy servers at time t . Different
methods were developed by Jennings and Massey (1997) for analysis blocking in circuit
switched networks with transient arrival traffic. Massey (2002) proposed canonical queueing
models with time-varying rates, and derived necessary mathematical tools for analysis. Qian
and Tipper (2004) proposed a framework for adaptively determining optimal channel
allocation scheme, and evaluated performance of the scheme under time varying loads. Liu and
Whitt (2014) developed an algorithm to find number of servers required to preserve the
prerformance in a multi server queue with time varying arrival rates for extension of feed-
forward netwoks. Pant and Ghimire (2016) determined the expected queue length and waiting
time of the customers at time t using transient arrival rates. In the papers cited above, authors
worked with various queueing systems using time based sinusoidal arrival rates to address
issues in various domains. These models are based on the fact that many real time arrival
phenomenons are almost periodic in nature. In this paper, procedure to fit Markovian Arrival
Process (MAP) with sinusoidal arrival rates that emulates self-similar traffic over prescribed
time scales is proposed. Variance of number of arrivals due to self-similar traffic, and that of
resultant MAP (superposition of IPPs with sinusoidal arrival rates) are equated at certain time
points in order to compute the MAP parameters.
The remaining part is arranged in the following way. In section 2, outline of second-order
self-similar process and sinusoidal IPP are presented. In section 3, fitting procedure with time
dependent sinusoidal arrival rates is given. Numerical results are demonstrated in section 4.
Finally, some conclusions are given in section 5.
1 r
X t( r ) X (t 1) r i ,
r i 1
t 1, 2, 3,.....
(1)
The obtained sequence is a second order process, and is called exactly second order self-
similar with Hurst Parameter, H 1 / 2, if
Var ( X ( r ) ) 2 r , r 1 (2)
This feature can be emulated by Markov Modulated Poisson Process (MMPP) over the
desired time scale (Reddy, et al. 2005). For the reason mentioned in the introduction, a special
type of two-state IPP is proposed using time dependent arrival rates. The proposed IPP is given
as follows:
d d1 a b sin(t ) 0
Q 1 , R(t )
0
.
d2 d2 0
(3)
2022] FITTING MODEL FOR SELF-SIMILAR TRAFFIC 299
In the above, Q is transition rate matrix with two distinct parameters and R(t ) is arrival
rate matrix, which says that, when Markov process is in state 1, arrival process is with
sinusoidal arrival rate (t ) a b sin(t ) , where a, b are the constants, and b a , 0 1
(Eick, et al. 1993), and when the Markov process in state 2, there are no arrivals. The number
of arrivals in (0, t ] of the said IPP is denoted by N t , and J t be the state of Markov process at
time t . The Generating function P ( z , t ) obtained by forward Chapman-Kolmogorov
equations with time dependent Markovian process (Fischer and Hellstern, 1993) is given by
t
P ( z , t ) Exp Qt (1 z ) R (t ) dt .
(4)
0
E N t Π P ( z, t ) e,
z z 1
Differentiating with respect to z, and solving above equation (Neuts, 1979; Coddington and
Levinson, 1987), one can obtain as
E [ Nt ] Π R (t ) e,
t
d2 (t ) dt
E [Nt ] 0
,
d1 d 2
2
Var N t Π 2 P * ( z, t ) e EN t EN t
2
z z 1
After differentiating with respect to z, and by applying some algebraic manipulation (Neuts,
1979; Coddington and Levinson, 1987), one can obtain as
2
Var[ N t ] E[ N t ] [( E[ N t ]) 2 Π R (t ) (Q eΠ ) 1 R (t )e]
t
2
2 [ Π R (t ) (e Qt I ) R (t ) e],
t
2 2
t
t t
d 2 (t ) dt 2 d1 d 2 (t ) dt
2 d1 d 2 (t ) dt
Var [ N t ] 0
0 0 [1 e ( d1 d 2 )t ],
d1 d 2 t (d1 d 2 ) 3
t (d1 d 2 )
2 4
300 A. VOLLALA AND M. R. PERATI [Vol.20, No. 1
where Π is steady state vector of Markov chain, e is the vector of appropriate dimension
t
with each entry as 1, and R (t ) R(t )dt.
0
Var[ N t ]
IDC (t )
E[ N t ]
t t
2 d 1 (t ) dt 2 d 1 (t ) dt
IDC (t ) 1 0 0 [1 e ( d1 d 2 ) t ].
t (d 1 d 2 ) 2
t (d 1 d 2 )
2 3
(7)
2 d1 a
ii. IDC (t ) 1 , a constant, as t .
(d1 d 2 ) 2
3. Fitting Procedure
Variance based fitting procedure is to obtain the MMPP parameters using time dependent
arrival rates. From earlier, (Reddy, et al. 2005; Kasahara, et al. 2001) it is known that modelling
of self-similar traffic involves superposition of number of two-state MMPPs (in particular
IPPs), and the fundamental requirements for fitting process are
v) 2 : Variance.
d1 j d1 j a b j sin(t ) 0
Qj R j (t ) , 1 j n
d 2 j 0
,
d2 j 0
(8)
2022] FITTING MODEL FOR SELF-SIMILAR TRAFFIC 301
Q Q1 Q2 Qn ,
R(t ) R1 (t ) R2 (t ) R3 (t ) Rn (t ) p (t ). (9)
Here, time dependent arrival rate of classical Poisson Process is denoted by p (t ) , and
indicates the kronecker’s sum, where the resultant of above sum is also an MMPP. The
arrival rate of whole process at time t is given by
n d2 j
w (t ) p (t ) 1 j (t ). (10)
j 1 d1 j d 2 j
Let Yt be the number of arrivals in whole Markovian process, and the arrivals from j th
IPP and Poisson process are denoted by N j,t , N p, t respectively, during t th time slot. The
count of arrivals after the averaging process are Yt (r ) , N ( rj),t and N ( rp),t respectively.
n
Therefore, Yt ( r ) N ( rj),t N ( rp),t .
i 1 (11)
(t ) dt
p
(r ) 0
Var N p ,t . (13)
r2
From Eqs. (11), (12), (13), and using the fact that variance of a resultant process is
preserved by the superposition of distinct sub-processes, the following relation is obtained.
2
w (t ) r
n
Var Yt (r )
j 1 j (t ) dt , (14)
r i 1 0
2 d1 j d 2 j 2 d1 j d 2 j r ( d1 j d 2 j )
where j [1 e ]. (15)
r ( d1 j d 2 j )
3 3
r ( d1 j d 2 j )
4 4
Using (1) and (14), at n different points rj , j 1, 2, 3,.., n variance of both processes are
equated. The time scale over which self-similarity of traffic exhibits is taken as [rmin , rmax ] (i.e.,
rmin r rmax ), then rj is given by
302 A. VOLLALA AND M. R. PERATI [Vol.20, No. 1
r j rmin j 1 , j 1,2,..., n.
(16)
1
r n 1
where max , n 1.
rmin (17)
Consider that r d1 j l1, r d 2 j l 2 and make use of inequality given below in Eq. (15),
(l1 l 2) 2
1 (l1 l 2) e (l1l 2) 1 (l1 l 2) , l1, l 2 0, l1 l 2 1,
2!
One can find that the j lies in between (0, 1), j . Since j is bounded j , Var[Yt (r ) ]
is bounded for t 0 . By virtue of self-similarity, the following relations can be adopted:
rj d1 j d1 (a constant), rj d 2 j d 2 (a constant), j 1, 2, ... , n, where d1 and d 2 are
independent,
r1 r
i.e., d1 j d11 , d 2 j 1 d 21 .
ri ri (18)
The above assumptions are based on the fact that self-similar process is identical for all
time scales. Now the parameters to be obtained are d11 , d 21. Once their values are obtained,
then the values of d1 j and d 2 j can be generated using (18). By using these values, p (t ) can
be obtained from (10). Finally, the required transition parameters d11 , d 21 can be determined,
Var( X
rmax
4. Numerical Results
Accuracy of fitting (self similar traffic as of MMPP) is presented using different samples
given in Table 1. The samples are pertaining to seminal studies at AT& T Bell labs (Leland, et
al. 1994). The number of superposed IPPs n is taken to be 4. The sinusoidal arrival rates are
given in Table 2. The variance versus time curves of resultant MMPPs and self-similar traffic
are shown in Figs.1-12 for n 4 in the time scale ranges [10, 104 ], [102 , 105 ], [102 , 106 ], [102 , 107 ].
The n is taken to be 3 in typical time scale range [102 , 105 ] to represent the effect of the
number of superposed components, and the pertinent results are presented in Figs.13-15. The
results exhibit good agreement with that of self-similar traffic.
0
10
-2
10
Variance
-3
10
-4
10
-5
10
-6
10
1 2 3 4
10 10 10 10
Time
Figure 1: Variance versus time curves with n 4 for sample 1during time scale [10, 10 4 ]
0
10
Self-similar traffic H=0.8
MAP [10, 104 ]
-1
10
-2
10
Variance
-3
10
-4
10
1 2 3 4
10 10 10 10
Time
Figure 2: Variance versus time curves with n 4 for sample2 during time scale [10, 104 ]
304 A. VOLLALA AND M. R. PERATI [Vol.20, No. 1
0
10 Self-similar traffic H=0.9
MAP [10, 104]
-1
10
variance
-2
10
-3
10
-4
10
1 2 3 4
10 10 10 10
Time
Figure 3: Variance versus time curves with n 4 for sample3 during time scale [10, 104 ]
-1
10
Self-similar traffic H=0.7
-2 MAP [102, 105]
10
-3
10
Variance
-4
10
-5
10
-6
10
2 3 4 5
10 10 10 10
Time
Figure 4: Variance versus time curves with n 4 for sample1 during time scale [102 , 105 ]
0
10
Self-similar traffic H=0.8
MAP [102, 105]
-1
10
-2
10
Variance
-3
10
-4
10
-5
10
-6
10
2 3 4 5
10 10 10 10
Time
Figure 5: Variance versus time curves with n 4 for sample2 during time scale [102 , 105 ]
2022] FITTING MODEL FOR SELF-SIMILAR TRAFFIC 305
0
10 Self-similar traffic H=0.9
MAP [102, 105]
-1
10
Variance
-2
10
-3
10
-4
10
2 3 4 5
10 10 10 10
Time
Figure 6: Variance versus time curves with n 4 for sample3 during time scale [102 , 105 ]
0
10
-2
10
Variance
-3
10
-4
10
-5
10
-6
10
2 3 4 5 6
10 10 10 10 10
Time
Figure 7: Variance versus time curves with n 4 for sample1 during time scale [10 2 , 10 6 ]
-1
10
10
-2 MAP [102, 106]
-3
10
Variance
-4
10
-5
10
-6
10
2 3 4 5 6
10 10 10 10 10
Time
Figure 8: Variance versus time curves with n 4 for sample2 during time scale [10 2 , 106 ]
306 A. VOLLALA AND M. R. PERATI [Vol.20, No. 1
-2
10
Variance
-3
10
-4
10
-5
10
-6
10
2 3 4 5 6
10 10 10 10 10
Time
Figure 9: Variance versus time curves with n 4 for sample3 during time scale [10 2 , 106 ]
0
10
-2
MAP [102, 107]
10
Variance
-4
10
-6
10
-8
10
2 3 4 5 6 7
10 10 10 10 10 10
Time
Figure 10: Variance versus time curves with n 4 for sample1 during time [10 2 , 10 7 ]
0
10
Self-similar traffic H=0.8
MAP [102, 107]
-2
10
Variance
-4
10
-6
10
-8
10
2 3 4 5 6 7
10 10 10 10 10 10
Time
Figure 11: Variance versus time curves with n 4 for sample2 during time [10 2 , 10 7 ]
2022] FITTING MODEL FOR SELF-SIMILAR TRAFFIC 307
0
10 Self-similar traffic H=0.9
MAP [102, 107]
-1
10
Variance
-2
10
-3
10
-4
10
2 3 4 5 6 7
10 10 10 10 10 10
Time
Figure 12: Variance versus time curves with n 4 for sample3 during time [10 2 , 10 7 ]
-1
10
Self-similar traffic H=0.7
d=4
-2
10 d=3
-3
10
Variance
-4
10
-5
10
-6
10
2 3 4 5
10 10 10 10
Time
Figure 13: Variance vs time curves with n 3, 4 over time-scale [102 , 105 ] for sample1
0
10
Self-similar traffic H=0.8
d=3
-1
10 d=4
-2
10
Variance
-3
10
-4
10
2 3 4 5
10 10 10 10
Time
Figure 14: Variance vs time curves with n 3, 4 over time-scale [102 , 105 ] for sample2
308 A. VOLLALA AND M. R. PERATI [Vol.20, No. 1
0
10
Self-similar traffic H=0.9
d=4
d=3
-1
10
Variance
-2
10
-3
10
-4
10
2 3 4 5
10 10 10 10
Time
Figure 15: Variance vs time curves with n 3, 4 over time-scale [102 , 105 ] for sample3
5. Conclusion
Self-similar traffic models proposed earlier are independent of time (homogeneous), and
they do not work for time dependent queueing analysis. Here, variance based Markovian fitting
procedure is presented using time dependent arrival rates. For the validation of fitting variance–
time curves are presented, which show how the resultant MMPPs exhibit legitimate agreement
with that of self-similar traffic in specified time scales. In addition, it is seen that the accuracy
improved as number of MMPPs in superposition increases. This model is useful for time
dependent queuing based performance analysis.
Acknowledgement
The authors wish to acknowledge Council of Scientific and Industrial Research (CSIR),
Government of India, for their funding under the Major Research Project (MRP) scheme (File.
No: 25(0301)/19/EMR-II).
References
Abate, J. and Whitt, W. (1988). Transient behavior of the M/M/1 queue via Laplace transforms.
Advances in Applied Probability, 20(1), 145-178.
Andersen, A. T. and Nielsen, B. F. (1998). A Markovian approach for modeling packet traffic
with long-range dependence. IEEE Journal on Selected Areas in Communications, 16(5),
719-732.
Coddington, A. E. and Levinson, N. (1987). Theory of Ordinary Differential Equations. 9th
Reprint, Tata McGraw-Hill.
Crovella, M. E. and Bestavros, A. (1997). Self-similarity in world wide web traffic: evidence
and possible causes. IEEE/ACM Transactions on Networking, 5(6), 835-846.
Eick, S. G., Massey, W. A. and Whitt, W. (1993). Mt/G/∞ Queues with Sinusoidal Arrival
Rates. Management Science, 39(2), 241-252.
Erramilli, A., Narayan, O. and Willinger, W. (1996). Experimental queueing analysis with
long-range dependent packet traffic. IEEE/ACM Transactions on Networking, 4(2), 209-
223.
Fisher, W. and Hellstern, M. K. (1993). The Markov-modulated Poisson process (MMPP) cook
book. Performance Evolution, 18(2), 149-171.
2022] FITTING MODEL FOR SELF-SIMILAR TRAFFIC 309