Optimum Transmission Rate in Fading Channels with Markovian Sources and QoS Constraints Fahad Qasmi, Mohammad Shehab, Hirley Alves, and Matti Latva-aho
arXiv:1808.06839v1 [cs.IT] 21 Aug 2018
Centre for Wireless Communications (CWC), University of Oulu, Finland Email:
[email protected]
Abstract—This paper evaluates the performance of reliability and latency in machine type communication networks, which composed of single transmitter and receiver in the presence of Rayleigh fading channel. The source’s traffic arrivals are modeled as Markovian processes namely Discrete-Time Markov process, Fluid Markov process, and Markov Modulated Poisson process, and delay/buffer overflow constraints are imposed. Our approach is based on the reliability and latency outage probability, where transmitter not knowing the channel condition, therefore the transmitter would be transmitting information over the fixed rate. The fixed rate transmission is modeled as a two state Discrete time Markov process, which identifies the reliability level of wireless transmission. Using effective bandwidth and effective capacity theories, we evaluate the trade-off between reliability-latency and identify QoS requirement. The impact of different source traffic originated from MTC devices under QoS constraints on the effective transmission rate are investigated.
I. I NTRODUCTION Recent trends in research and development suggest that the Fifth Generation (5G) of mobile network may bring technology evolution in the form of expanding broadband capacity, mobility and cloud services. This evolution does not seem to be standalone, but almost every industry may need a redefinition of their business models [1]. 5G is not just extension of the 4G technologies. Therefore it not only focuses on the enhanced coverage, connectivity, data rates and spectral efficiency but also addresses critical and massive traffic generated by machine type devices. Such devices operate with little or no human interaction and called Machine Type Communication (MTC). There are two operating modes proposed by 5G for MTC based applications namely massive MTC (mMTC) and ultra-reliable low latency communication (URLLC) [2]. MTC has attracted much interest in the recent years which promises a huge market growth with expected 50 billion connected devices by 2020 [3]. Furthermore, cellular networks are becoming a more appropriate candidate in order to fulfill the requirements of MTC applications in terms of mobility, coverage, diversity and ease of deployment. A traffic model is a stochastic process that matches the behavior of physical quantities of measured data traffic. Current cellular networks are based on standard traffic model which is designed and optimized for typical behavior of human subscribers. It is worth noting that the traffic behavior of MTC is quite different from the HTC (Human type communication) [4]. For example: ‚
MTC Traffic is mostly uplink dominant.
MTC traffic generation frequency is typically all around the day (i.e, 24 hours) while HTC traffic flow duration is mostly during day or evening time but not at night. ‚ MTC QoS requirement is different from HTC (i.e. different reliability and latency requirements). ‚ MTC traffic is bursty (suddenly the volume of data flow increase in response to trigger of certain events). ‚ MTC uses short as well as small number of packets. New traffic models are needed to capture the behavior of massive MTC traffic and the imposed QoS guarantees. The traffic models are mainly classified into source and aggregated traffic models. It can be said that the source traffic model is usually designed for human generated traffic that is based on Poisson distribution of arrival rate. However, it is not feasible to model the traffic generated by large amount of autonomous machines simultaneously due to the heterogeneous and uncoordinated nature of the traffic. Moreover, Poisson distribution usually fails to capture the burstiness and multimodality of the real traffic sequence. Aggregated traffic models are suitable for MTC network as they capture the traffic properties of a group of users or networks which have homogeneous and coordinated traffic characteristics [5]. In many MTC use cases, QoS is affected by the wireless channel change due to environment and multipath fading. Hence, source characteristics and reliable transmission rate are also time varying. To account for the time variation of service process in the queuing system, we resort to the theory of effective capacity, which is a cross layer model that can ensure QoS in time varying wireless channel. Effective capacity is defined as the maximum constant arrival rate that a given time varying service process can support while providing statistical QoS guarantees [6]. Herein, we are particularly interested in using Markovain source models including discrete time Markov, Markov fluid and Markov modulated Poisson sources with effective capacity to conduct throughput analysis of random and bursty source traffic pattern in MTC framework. Recently effective capacity of wireless communication has attracted much attention to estimate reliability, latency, security, energy efficiency and transmit power. For instance, in [7], the authors considered fixed rate transmission technique and applied effective capacity to evaluate energy efficiency under QoS constraints. The authors used fixed-rate transmission modeled as a two-state (ON/OFF) discrete-time Markov chain. In [8], the authors considered fixed-rate transmission modeled as a two-state (ON/OFF) continuous-time Markov chain and ‚
utilize effective capacity to analyse energy efficiency with Markov arrival under QoS constraint. In [9], the authors considered effective capacity when the transmitter and receiver know the instantaneous channel gain. They derived the optimal power and rate adaptation technique which maximize the throughput under QoS constraint. In this paper, we evaluate the performance of MTC in a point-to-point transmission. Using effective capacity, we design the reliability and latency aware wireless communication link layer model. We incorporate Markovian source arrival processes with reliable wireless communication model as well. Different from [8] and [10], we use fixed-rate transmission, which is modeled as a two-state (ON/OFF) discrete-time Markov chain and effective capacity to analyze reliability and latency with Markovian arrival process under QoS constraint. We build our contribution upon the reliability and latency framework proposed in [7]. In [7], the authors evaluated the impact of the constant source arrival traffic on effective energy efficiency. This framework helps us to determine the level of reliability and latency for each transmission rate. We also extend the work in [6] to incorporate different arrival source traffic models and estimate the reliability of the network. We consider ON and OFF states channel models to investigate the optimum transmission rate of random and bursty sources in order to maximize the system throughput. II. P RELIMINARIES A. System Model In the proposed work, we consider single transmitter and receiver with point-to-point link through Rayleigh block fading channel where fading coefficients vary independently from one frame to another. The discrete time input output relation of the ith symbol is yi “ hi xi ` ni
i “ 1, 2, . . . ,
(1)
where xi and yi are the channel input and output respectively. ni is zero mean, circularly symmetric, complex Gaussian random noise and γ is the average transmitted signal-to-noise ratio. Finally, hi is the channel fading coefficient which is stationary and ergodic discrete time process. zi “ |hi |2 is the squared envelope of Rayleigh fading block coefficients. The instantaneous channel capacity it given by Ci “ log2 p1 ` γzi q bits{s.
(2)
In this paper, we assume that the receiver is able to estimate the channel coefficient hi , whereas the transmitter does not know this information. Therefore the transmitter would be transmitting information over a fixed rate r bits/s. When r ă Ci then the channel is considered in ON state and reliable communication is accomplished. While r ě Ci then the channel is considered in OFF state and we can not acquire reliable communication.
r
TX
X
+
h
n
RX
Q
Fig. 1: System Model. B. Throughput of delay constrained networks It is considered that the data generated by random sources is stored as frames in the First in First out (FIFO) queue buffer before transmission as illustrated in Fig. 1. Thus, the delay may occur in the transmission system because of the long waiting time of data in the buffer. Moreover, the delay overflow probability is given by [11] PrtD ě du « ζe´θapθqd ,
(3)
where D is the queueing delay, d is the delay threshold, θ is the delay QoS constraint, apθq is the effective bandwidth and ζ is the probability of non-empty buffer. It is noted that larger value of θ means that stringent QoS constraint is imposed, while for lose QoS requirement the value θ is small [12]. In this paper, we discuss three types of Markov arrival sources namely Discrete-Time Markov source (DTMS), Fluid Markov source (FMS) and Markov Modulated Poisson source (MMPS). These Markov sources are focusing on two state ON and OFF model where the ON state corresponds to arrival with rate λ bits/block and the OFF state refers to no arrival as illustrated in Fig. 2. For these sources, effective bandwidth provides a mean to characterize the minimum constant service rates required to support the random arrival of data into the buffer constrained to some statistical QoS requirements, namely buffer violation probability in (3). Let the řttime accumulated arrival process at instant t be Aptq “ k“1 apkq. Then the effective bandwidth is defined as [13] 1 loge EteθAptq u , (4) apθq “ lim tÑ8 θt Effective capacity (CE ) is the dual concept of effective bandwidth, where it defines maximum constant arrival rate that a given time-varying service process can support in order to guarantee a statistical QoS requirement specified in the QoS exponent θ. The effective capacity for a given QoS exponent is obtained from [11] 1 CE pγ, θq “ ´ lim loge Ete´θSrts u, (5) tÑ8 θt řt where srts fi k“1 P rks is the time accumulated service process and tP rks, k “ 1, 2, ¨ ¨ ¨ u shows the discrete time stationary and ergodic stochastic service process. So P rks “ r, when it is ON state and otherwise 0 in OFF state. Performance analysis becomes quite important as well as challenging when the data arrival and channel response are random in the presence of QoS constraint. We are interested to find the maximum average arrival rate of Markovian sources that can support fading channel and satisfy the QoS requirement in (3). The QoS requirement is satisfied when effective
P21
1 OFF
2 ON
P12
Fig. 2: ON-OFF state transition model. bandwidth of arrival process is equal to the effective capacity of service process [6], therefore apθq “ CE pγ, θq,
(6)
Then we can find maximum arrival rate that can support fixed rate transmissions at given SNR γ and θ. III. T HROUGHPUT OF M ARKOVIAN S OURCE M ODELS A. Discrete - Time Markov Sources In this model, the arrival of data is discrete in time. We consider two-state simple (ON/OFF) model. When the state is ON, λ bits arrive, while there are no arrivals in the OFF state. Effective bandwidth is expressed by [14] ˆ 1` 1 p11 ` p22 eθλ apθq “ loge θ 2 ˙˙ b θλ 2 θλ ` pp11 ` p22 e q ´ 4pp11 ` p22 ´ 1qe , (7) p11 determines the probability of staying in OFF state, while p22 identifies the probability of ON state as depicted in Fig. 2. The transition probabilities from one state to another are denoted by p21 “ 1 ´ p22 and p12 “ 1 ´ p11 . PON is the probability of ON state in the steady state regime, which is used to the calculate average arrival rate as λavg “ λ ¨ PON “ λ
1 ´ p11 , 2 ´ p11 ´ p22
(8)
which is equal to the depature rate when the queue is in steady state [15]. We substitute the effective bandwidth expression of discrete time Markov source (7) in (6) and simplify as follows pp11 ` p22 eλθ ´ 2eθCE pγ,θq q2 “ pp11 ` p22 eλθ q2
(9) λθ
´ 4pp11 ` p22 ´ 1qe . After solving (9) for λ, we obtain maximum ON state arrival rate as ˆ 2θCE pγ,θq ˙ 1 e ´ p11 eθCE pγ,θq . (10) λ˚ pθq “ loge θ p1 ´ p11 ´ p22 q`p22 eθCE pγ,θq Therefore, using (8) we expresses the maximum average arrival rate in terms of QoS exponent, effective capacity fading channel and state transition probabilities as ˆ 2θCE pγ,θq ˙ PON e ´ p11 eθCE pγ,θq . (11) λ˚avg pγ, θq “ loge θ 1´ p11 ´ p22 ` p22 eθCE pγ,θq
B. Markov Fluid Sources In Fluid Markov Source model, the data arrival is continuous in time and the effective bandwidth is defined by [6] ı a 1 ” apθq “ θλ´pα `βq` pθλ ´ pα ` βqq2 ` 4αθλ , (12) 2θ where α shows the transition rate from OFF state to ON state and β is the transition rate from ON state to OFF state. Then, we attain the steady state probability of being ON as α PON “ . (13) α`β Furthermore, the average arrival rate is α λavg “ λ ¨ PON “ λ ¨ . (14) α`β Similar to the previous source model, we identify the maximum average arrival rate of two state ON and OFF FMS source model as θCE pγ, θq ` α ` β CE pγ, θq. (15) λ˚avg pγ, θq “ PON θCE pγ, θq ` α C. Markov Modulated Poisson Sources In this source model, the data arrival to the buffer is a Poisson process whose arrival intensity is controlled by continuous time Markov chain. Moreover, there is no arrival in OFF state (0 intensity), while in ON state λ is the intensity of the Poisson arrival process. The effective bandwidth in this case is [6] ‰ 1 “ θ pe ´ 1qλ ´ pα ` βq apθq “ 2θ b (16) 1 ` p peθ ´ 1qλ ´ pα ` βqq2 ` 4αpeθ ´ 1qλ. 2θ Similar as for previous sources models, we determine the maximum average arrival rate of two state ON and OFF MMPS source model as θrθCE pγ, θq ` α `βs λ˚avg pγ, θq “ PON θ CE pγ, θq. (17) pe ´ 1qθCE pγ, θq ` α IV. M AXIMIZATION OF E FFECTIVE C APACITY Considering (7) and noting that in our model p11 ` p22 “ 1, we formulate the effective capacity for a given statistical QoS constraint θ, as [7] 1 CE pγ, θq “ ´ loge pp11 ` p22 e´θr q (18) θ 1 “ ´ loge p1 ´ P tz ą Ψup1 ´ e´θr qq, (19) θ r
where Ψ “ 2 γ´1 . Under these assumption the channel ON state probability is equivalent to P tzi ą Ψu and OFF state is P tzi ď Ψu. For Rayleigh fading, the pdf of z is pz “ e´z . Therefore P tz ą Ψu “ p1 ´ P tz ď Ψuq (20) żΨ “ p1 ´ pz pzq dzq ” e´Ψ . (21) 0
Then plugging it into (19), we have 1 CE pγ,θq “ ´ loge p1 ´ e´Ψ p1 ´ e´θr qq. θ
(22)
We formulate the optimization problem to maximize CE subject to a non-negative transmission rate " * 1 ˚ CE pγ, θq “ max ´ loge p1 ´ e´Ψ p1 ´ e´θr qq . (23) rě0 θ
(28) gives a closed form solution of optimum transmission rate r˚ . Plugging this value of r˚ in (23), gives optimum effective ˚ capacity CE , which in turn is used in (11), (15) and (17) to ˚ obtain λavg of different Markov sources.
when QoS constraints are imposed. Therefore, higher arrival ˚ rate is required to achieve CE when the source becomes bursty (i.e PON ă 1). We also observe that MMPS has more tolerance as compare to DTMS and FMS under the arrival of bursty/random source. For instance with γ=10 dB and ˚ PON “ 0.2, DTMS provide CE 1.057 bps with arrival rate of 2.34 bps while, MMPS supports an arrival rate of 1.02 ˚ bps which is closer to CE . Hence DTMS and FMS are more affected by the random/bursty sources as they require a significant adaption of the arrival rate to guarantee QoS when the source is more bursty. So far, we have observed mainly the impact of burstiness/randomness to the effective transmission rate framework. In Fig. 6, we are interested to evaluate effects of latency, where delay violation probability is showed vs γ, θ and PON . We notice that delay violation probability decreases logarithmically with the increase in γ, θ and PON . In Fig. 6(a), as SNR increases, more channel capacity is available for data to fulfill latency requirement of the system. Therefore probability of delay violation is reduced. Fig. 6(b) shows that as QoS requirement increases, the delay violation probability is reduced. In Fig. 6(c), delay violation probability is plotted as a function of PON for fixed arrival rate of 1 bps and fixed target reliability and latency outage probability. Burstiness is measured from the average arrival of data in ON state. It is observed that more bursty sources degrade the maximum average arrival rate, which directly rises delay violation probability. It is clearly noticed that MMPS sources tolerate low delay violation probability in the presence of random/bursty sources as compared DTMS and FMS.
V. RESULTS AND DISCUSSION
VI. C ONCLUSION
Now, we obtain the first derivative of (23) as log p2q 2r e´Ψ pe´r θ ´1q θ e´Ψ e´r θ ` e BCE pγ, θq γ “ Br θ pe´Ψ pe´r θ ´ 1q ` 1q
(24)
and the second derivative is obtained in (25) on the top of the next page. which gives negative values only for rates around the upper contour of CE . It means that CE is quasi concave in r. Therefore, the optimum value of r is obtained by equating (24) to zero and solving for r˚ as follows ` ˘ γ θe´Ψ e´rθ ` 2r e´Ψ loge p2q e´r θ ´ 1 “ 0. γ θ pe´Ψ pe´r θ ´ 1q ` 1q
(26)
After further simplification of (26), we attain 2r loge p2q ; e´rθ then, by taking logarithm in the both sides, we reach ˆ ˙ 1 γθ r˚ “ loge 1 ` r˚ . θ 2 loge p2q γ θ ` 2r loge p2q “
(27)
(28)
The efficient use of transmission rate boosts the performance of communication system. If we transmit the data with fixed rate, it may lead to waste of scarce resources. From Fig. 3, it is clearly seen that λ˚avg of different Markov sources is monotonically increasing function of CE in a linear behaviour. So if we ˚ we also maximize λ˚avg . Thus, there a unique maximize, CE rate which can maximize CE and consequently maximize the λ˚avg . Fig. 4, shows λ˚avg as a function of transmission rate with γ “ 10 dB for different Markovian source models. As already proven, it is obvious that CE and consequently λ˚avg are quasi concave functions of the rate because the upper contour set is convex. Furthermore, we numerically investigate the throughput of effective rate transmission model with ON-OFF Markov arrival processes in the presence of QoS requirements as we assume Rayleigh fading channel. In Fig. 5, we plot the arrival rate ˚ levels vs. PON curves that required to support given CE for different value of γ P t0, 10, 20udB, when QoS exponent θ “ 1. It is noticed that when the source is always ON ˚ i.e, PON “ 1, then the maximum arrival rate equal to CE . We also illustrate that as PON diminishes, arrival rate in ON state needs to increase with a certain level in order to keep average arrival non-decreasing. However, with same departure rate it is difficult to keep throughput non-decreasing,
In this work, we formulated effective transmission rate model to achieve adequate reliability and latency requirement in single point-to-point machine type devices. We incorporated Markov source models to investigate their performance over sources arrival traffic and Rayleigh fading channel. The source, buffer, and channel characteristics have major impact on the performance of model when certain QoS constraints are imposed. Moreover, we introduced a throughput metric that captures the behaviour of sources burstiness and channel condition in the design of effective transmission link when certain level of reliability and latency is required. The results showed that MMPS models is more robust to bursty sources than FMS while DTMS is the least robust. Moreover, increased source burstiness and stringent QoS requirement all need an increase in SNR gain to fulfill reliable communication. ACKNOWLEDGMENTS This work is partially supported by Academy of Finland 6Genesis Flagship (Grant no. 318927), Aka Project SAFE (Grant no. 303532), and by Finnish Funding Agency for Technology and Innovation (Tekes), Bittium Wireless, Keysight Technologies Finland, Kyynel, MediaTek Wireless, and Nokia Solutions and Networks.
ˆ B 2 EC “ Br2 ´
θe
´2r ´ γ
e
´rθ
`
2r e´Ψ logep2q pe´r θ ´1q γ
˙2
2
θ pe´Ψ per θ ´ 1q ` 1q 2r e´Ψ logep2q2 per θ ´1q θ2 e´Ψ er θ ´ ` γ θ
(25) r
22 e´Ψ logep2q2 per θ ´1q γ2 pe´Ψ per θ ´ 1q ` 1q
2. 2r θ e´Ψ er θ logep2q γ
`
DTMS
.
FMS
1
=20dB, C *E =2.171 bps
3
0.7
2.5
6 57 1.0
0.8
=20dB, C *E =2.171 bps
* =10db, C E =1.057 bps
3.5
0.9
=0dB,
2.1
717
C *E =0.315
3.5
bps
1.0576
1 0.3154
2
0.5
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
0 0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
0.31542
0.5
0.31542
0.2
0.1
1.0576
1
0.3
0
1.0576
1.5
0.4
0.1
2.1717
2
1.05 76
2
1.5
154 0.3
2
0.5
=0dB, C *E =0.315 bps 2.1717
2.5
2.1717
0.6
=10db, C *E =1.057 bps
3
0.31542 0.1
0.2
0.3
0.4
0.5
0.6
1
=10db, C *E =1.057 bps
2.1717
=0dB, C *E =0.315 bps
2.1717
1.6
2.1717
1.4
2.1717
2.1717
1.2 1.0576
1.0576 1.0576
0.8 0.6
1.0576
1.0576
0.3154
2
0.4
0.31542
0.31542
0.2
1
0.9
=20dB, C *E =2.171 bps
1.8
1
1.2
0.8
MMPS
2.2 2
Fig. 3: Maximum average arrival rate as a function of effective capacity for different Markovian source models.
0.7
0.1
0.2
0.3
0.4
0.31542
0.5
0.6
0.7
0.31542 0.8
0.9
1
0.8
0.6
Fig. 5: Arrival rate vs PON for different CE of Markovian sources.
0.4
0.2 1
0 0
1
2
3
4
5
6
0.9
1
1
0.9
0.9
0.8
0.8
0.8 0.7
Fig. 4: Maximum average arrival rate as a function of transmission rate for different Markovian source models.
0.7 0.7
0.6 0.6
0.6
0.5
0.5
0.4
0.5 0.4
0.3 0.4
0.3
0.2
R EFERENCES
0.3
0.2 0
[1] Ericsson, “5G systems,” Ericsson White Paper, January 2017. [2] P. Popovski, “Ultra-reliable Communication in 5G Wireless Systems,” in 1st International Conference on 5G for Ubiquitous Connectivity, 2014. [3] Y.Morioka, “LTE for Mobile Consumer Devices,” ETSI Workshops on Machine to Machine standardization, 2011. [4] E. Soltanmohammadi et al., “A Survey of Traffic Issues in Machine-toMachine Communications Over LTE,” IEEE Internet of Things Journal, Dec 2016. [5] E. Grigoreva et al., “Coupled Markovian Arrival Process for Automotive Machine Type Communication Traffic Modeling,” in 2017 IEEE (ICC), May 2017. [6] M. Ozmen and M. C. Gursoy, “Wireless Throughput and Energy Efficiency with Random Arrivals and Statistical Queuing Constraints,” IEEE Transactions on Information Theory, March 2016. [7] D. Qiao et al., “The Impact of QoS Constraints on the Energy Efficiency of Fixed-Rate Wireless Transmissions,” IEEE Transactions on Wireless Communications, December 2009. [8] M. Ozmen and M. C. Gursoy, “Energy Efficiency of Fixed-Rate Transmissions with Markov Arrivals under Queueing Constraints,” IEEE Communications Letters, April 2014. [9] J. Tang et al., “Quality-of-Service Driven Power and Rate Adaptation over Wireless Links,” IEEE Transactions on Wireless Communications, August 2007.
0.2
0.1
5
10
15
20
25
0 0
2
4
6
8
0.1 10 0
0.2
0.4
0.6
0.8
1
Fig. 6: Delay violation probability vs (a) γ, (b) θ and (c) PON . [10] L. Musavian and Q. Ni, “Effective Capacity Maximization With Statistical Delay and Effective Energy Efficiency Requirements,” IEEE Transactions on Wireless Communications, July 2015. [11] Dapeng Wu and R. Negi, “Effective Capacity: a Wireless Link Model for Support of Quality of Service,” IEEE Transactions on Wireless Communications, July 2003. [12] M. Shehab, E. Dosti, H. Alves, and M. Latva-aho, “On the Effective Energy Efficiency of Ultra-reliable Networks in the Finite Blocklength Regime,” in ISWCS, Aug 2017. [13] Cheng-Shang Chang, “Stability, Queue Length, and Delay of Deterministic and Stochastic Queueing Networks,” IEEE Transactions on Automatic Control, 1994. [14] Cheng-Shang, Performance Guarantees in Communication Networks. springer-Verlag,London, U.K., 2000. [15] Cheng-Shang Chang and T. Zajic, “Effective Bandwidths of DeparTure Processes from Queues with Time Varying Capacities,” in INFOCOM ’95. IEEE, 1995.