Next Article in Journal
Compression Helps Deep Learning in Image Classification
Next Article in Special Issue
Low-Latency Short-Packet Transmission over a Large Spatial Scale
Previous Article in Journal
Neural-Network Quantum States for Spin-1 Systems: Spin-Basis and Parameterization Effects on Compactness of Representations
Previous Article in Special Issue
List Decoding of Arıkan’s PAC Codes
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Delay-Sensitive NOMA-HARQ for Short Packet Communications

Centre for IoT and Telecommunications, School of Electrical and Information Engineering, The University of Sydney, Sydney, NSW 2006, Australia
*
Author to whom correspondence should be addressed.
Entropy 2021, 23(7), 880; https://doi.org/10.3390/e23070880
Submission received: 9 May 2021 / Revised: 25 June 2021 / Accepted: 6 July 2021 / Published: 9 July 2021
(This article belongs to the Special Issue Short Packet Communications for 5G and Beyond)

Abstract

:
This paper investigates the two-user uplink non-orthogonal multiple access (NOMA) paired with the hybrid automatic repeat request (HARQ) in the finite blocklength regime, where the target latency of each user is the priority. To limit the packet delivery delay and avoid packet queuing of the users, we propose a novel NOMA-HARQ approach where the retransmission of each packet is served non-orthogonally with the new packet in the same time slot. We use a Markov model (MM) to analyze the dynamics of the uplink NOMA-HARQ with one retransmission and characterize the packet error rate (PER), throughput, and latency performance of each user. We also present numerical optimizations to find the optimal power ratios of each user. Numerical results show that the proposed scheme significantly outperforms the standard NOMA-HARQ in terms of packet delivery delay at the target PER.

1. Introduction

Most of the advancements in wireless cellular communication, such as third-generation (3G), fourth-generation (4G) and 4G long-term evolution (LTE), are primarily focused on the human-centered communication for enabling enhanced mobile broadband (eMBB) communication [1]. The fifth-generation (5G) of mobile standards envisions to include massive machine-type communications (mMTC) and ultra-reliable low-latency communications (URLLC) into its area of focus, apart from eMBB [2,3]. In eMBB, usually, the file size is large, and the packet reliability is given priority over the packet level latency [4]. URLLC would be a key enabler of various mission-critical applications, such as telesurgery, tactile Internet, factory automation, and smart grids [5]. URLLC traffic is delay-sensitive; therefore, a delayed packet is considered as an erroneous packet. URLLC has two conflicting performance requirements, i.e., low latency, which requires user plane latency below 1 ms, and high reliability, which requires a packet error rate (PER) less than 10 6 for a packet of size 32 bytes, with or without retransmission [5,6]. mMTC is the key enabler of the Internet of Things applications, such as smart metering, smart agriculture, etc. These services involve massive connectivity and low-power communications to support billions of devices, mainly transmitting short messages [7]. Energy efficiency and massive connectivity are required to enable mMTC. Therefore, mMTC design should be scalable and supportive of providing various latency and reliability performance [8] to an immense number of devices, which would increase to 50 billion by 2030 [9].
In 5G, short packet communications are considered to be an effective way to enable low-latency communications for URLLC and mMTC applications. Conventional communication protocols are mainly designed based on the Shannon’s capacity formula, which is suitable only when the packet length is considered infinite. Such designs usually lead to significant performance losses when the packet length is short [7]. Recently, several performance bounds have been developed for error rate performance in the finite blocklength regime, e.g., the normal approximation [10]. In particular, the coding gain is reduced at finite blocklengths, as packets experience a finite number of channel observations and the gap to Shannon’s limit is increased [6,10]. To compensate for the coding gain, available diversity sources, such as space and frequency, can be utilized [11,12]. Due to limited resources and the fact that many URLLC applications will operate over unlicensed bands, frequency diversity is not a viable solution. Instead, one can utilize retransmission techniques, such as hybrid automatic repeat request (HARQ) [13,14], which increase latency [15,16].
Non-orthogonal multiple access (NOMA) schemes can be used to exploit channel diversity and resource utilization by simultaneously allocating a channel to multiple users [17]. NOMA has been actively investigated in the past decade, since it can effectively provide higher throughput and flexibility in comparison to orthogonal multiple access (OMA) techniques [7,18,19]. In NOMA, multiple devices can share the same radio resources using the superposition of signals. Successive interference cancellation (SIC) is used to separate the signal of each user at the receiver [20]. NOMA can be implemented by either power or code sharing between users [21]. NOMA is mainly analyzed in the asymptotic blocklength regime and, more recently, in the finite blocklength regime, proving that NOMA effectively provides better resource utilization and energy efficiency [22,23,24]. In [22,25], the authors show that NOMA outperforms OMA and reduces the latency under a finite blocklength regime. In NOMA, more users can be served over limited channel resources, resulting in higher spectral efficiency, which reduces latency as well [22]. These features of NOMA make it a potential candidate technique for URLLC and mMTC scenarios. In HARQ, in case of packet failure, the receiver feedbacks a negative acknowledgment (NACK) and requests for retransmission. In contrast, upon receiving an ACK, the transmitter sends a new packet. Upon a retransmission request, the transmitter can either send a duplicate copy of the packet, known as chase combining HARQ (CC-HARQ), or send more redundancy through forward error correcting code, known as incremental redundancy HARQ (IR-HARQ) [26]. The receiver combines the retransmission with failing packets to increase the decoding reliability. With CC-HARQ, maximum ratio combing (MRC) is used to increase the effective signal-to-noise ratio (SNR), whereas with IR-HARQ, code combing is used to increase reliability.
In the asymptotic blocklength regime, when the channel is perfectly known at the transmitter, rate adaptation via adaptive modulation and coding can be used to reduce the retransmission requests [27]. However, in the finite blocklength regime, the retransmission requests are more probable due to the high error rate of finite length codes [28]. Both IR-HARQ and CC-HARQ are actively being investigated in the finite blocklength regime [13,15]. The delay performance is optimized for single user with HARQ in the finite blocklength regime in the Rayleigh fading channel in [29]. HARQ was recently analyzed with NOMA in the downlink set up with two users in [30,31,32,33], where the outage performance was analyzed in the infinite blocklength regime with rate and power adaptation. HARQ-enabled NOMA is also studied in [22,23] to evaluate its usefulness in enabling URLLC and mMTC. In [34], the authors analyzed HARQ in an uplink NOMA setting, focusing on enabling retransmissions to be distinguishable from the regular transmission to facilitate grant-free HARQ communication. Moreover, in [35], the authors adjust power levels among users to reduce retransmission requests. Retransmission with HARQ causes additional delays in communication. Efforts have been made to improve retransmission quality resulting in throughput gain [36]. However, the throughput gain only translates to average delay performance improvements [37]. URLLC and many mMTC scenarios require low-latency with a per-packet delay guarantee.
In this paper, we consider an uplink NOMA system paired with HARQ for short packet communications, where the target per-packet latency of each user is the priority. Although the HARQ process improves reliability, it increases latency and causes packet queuing. The primary motivation of this work is to increase reliability without causing latency by maintaining per-packet arrival deadlines. We propose a novel NOMA-HARQ approach, where the retransmission of each packet is served non-orthogonally with the new packet in the same time slot. We use a Markov model (MM) to analyze the dynamic of the uplink NOMA-HARQ with one retransmission and characterize the PER, throughput, and latency performance of each user. We also present numerical optimizations to minimize PER and find the optimal power ratios of each user. Numerical results show that the proposed scheme significantly outperforms the standard NOMA-HARQ in terms of the packet delivery latency at the target PER.
The rest of the paper is organized as follows. In Section 2, the system model and preliminaries on NOMA and HARQ are presented. Section 3 presents the proposed delay-sensitive NOMA-HARQ scheme, where its reliability and delay analysis are discussed. Section 4 presents numerical results. Finally, Section 5 concludes the paper.

2. System Model and Preliminaries

We consider an uplink power-domain NOMA scenario, where N u users can simultaneously send their messages to the base station (BS). Similar to [38], we consider time division duplex system (TDD) so that BS synchronizes the uplink transmission of each user by sending a beacon signal at the beginning of each time slot. The channel between the i-th user, 1 i N u , and the BS, denoted by g i , is modeled by large-scale path-loss and small-scale Rayleigh fading [39]. We assume that BS knows the channel state information (CSI) of each user perfectly. The i-th user encodes and modulates its k i -bit message into a packet of length n symbols and sends it to the BS. Let y ( t ) denote the received signal at the BS at time t given as:
y ( t ) = i = 1 N u g i x i ( t ) + w ( t ) ,
where x i ( t ) C is the transmitted complex symbols from the i-th user and w ( t ) CN ( 0 , 1 ) is the additive white Gaussian noise (AWGN). We assume that E [ | x i ( t ) | 2 ] = 1 . Let P i be the received power of user i at the BS given as
P i = | g i | 2 P t , i ,
where P t , i is the transmit power of user i, | g i | 2 = h i r i ρ , h i is the small-scale fading with exponential distribution, i.e., h i exp ( 1 ) , r i is the distance between the i-th user and the BS, and ρ is the path-loss exponent. We assume block fading channel model, such that the channel remains constant over a time block and changes independently between the blocks.
The BS can pair users according to their CSIs and SNR levels to meet the desired level of reliability. BS usually pairs near and far users to exploit their power difference for better SIC decoding. We assume that paired users have certain finite channel gains, so that their transmit power does not exceed the maximum energy budget. Let 0 < w i < 1 denote the ratio of powers between the paired users, such that P i = w i P c , where P c denotes the total received power at the BS from paired users, where w 1 + w 2 = 1 (We use parameter w i to simplify presentation regarding effect of power difference in the total received power. Otherwise, if the total transmit power constraint on each user is used we need to specify channel gains while presenting the results.), when N u = 2 . We assume that w 1 > w 2 to treat user 1 as a near user and user 2 as a far user. In practical settings, there may be channel estimation errors that could lead to degradation in optimal user pairing as well as the SIC performance of multiple access systems (In future publications, we would incorporate channel estimation errors and its impact on the performance.). The receiver first decodes user 1 while treating the message of other users as noise. If user 1’s signal is successfully recovered, it is then removed from the received signal and user 2’s signal is then decoded and removed from the received signal. This continues to decode all N u users. Each user reports its decoding status using an instantaneous ACK. Upon receiving an ACK, the user sends a new packet; otherwise, upon receiving a NACK, it retransmits the previous packet, through either CC-HARQ or IR-HARQ, in the next time slot. Generally, user 1 is decoded first due to its higher received power at the BS, unless other users have more copies due to retransmissions. Figure 1a shows packet transmission with NOMA and standard HARQ (S-NOMA-HARQ) [22] when N u = 2 .
We use normal approximation [10], to characterize the PER in the finite blocklength regime. For CC-HARQ, the bound in [10] can be used with accumulated SNR after MRC, as follows:
ϵ cc Γ ( m ) Q n log 2 ( 1 + j = 1 m γ j ) k i + log 2 ( n ) n V ( i = j m γ j ) ,
and the bound in [40] for parallel AWGN channels can be used to calculate the PER for IR-HARQ [40], as follows:
ϵ ir Γ ( m ) Q n j = 1 m log 2 ( 1 + γ j ) k i + log 2 ( m n ) n i = j m V ( γ j ) ,
where Γ ( m ) = [ γ 1 , , γ m ] is the vector of signal to interference plus noise ratios (SINRs) for m copies of a packet, V ( γ j ) = 1 ( 1 + γ j ) 2 log 2 2 ( e ) is the channel dispersion and Q ( . ) is the standard Q-function. k i is the length of user i’s message and n is the length of the codeword in each transmission. Accordingly, the rate of user i in the first transmission is R i = k i / n .

3. Delay-Sensitive NOMA-HARQ

As can be seen in Figure 1a, in S-NOMA-HARQ, each i-th user conducts its retransmission with its maximum power in the new time slot. This causes new arriving packets to be delayed when retransmission is requested. We propose a delay-sensitive NOMA-HARQ (D-NOMA-HARQ) designed for delay-sensitive applications that avoid the excess delay due to retransmissions and adhere to the packet deadlines. More specifically, user i conducts its retransmission with its new arriving packet non-orthogonally. That is, when retransmission is requested from user i, it will superimpose the retransmission packet and new packet with power fractions α i and α i ¯ , respectively, where α i ¯ = 1 α i . The D-NOMA-HARQ scheme for two users with a maximum one retransmission, is shown in Figure 1b.

3.1. Reliability and Throughput Analysis of Two-User D-NOMA-HARQ

We use an MM, as shown in Figure 2, whose states are represented by a vector J = [ J 1 , J 2 ] , where J i { 0 , 1 , e } is the current state of user i. State 0 refers to a packet success without any retransmission, State 1 refers to a packet success after single retransmission, and State e refers to packet failure after single retransmission.
It is important to note that as each user can be in one of the possible three states, the MM for the proposed D-NOMA-HARQ when N u = 2 with single retransmission will have 9 states. However, since we assume that user 1 is a near user and it will always transmit with a higher power and is decoded first at the receiver, and if unsuccessful user 2 will not be decoded, the number of possible states will reduce to 6. In particular, when J 1 = 0 , J 2 can be 0 , 1 , or e, which corresponds to vector states J 1 , J 2 , and J 3 , respectively. When J 1 = 1 , J 2 can only be 1 or e, which corresponds to states J 4 and J 5 . This is because of the assumption that user 1 is always transmitting with a higher power, i.e., w 1 > w 2 and α 1 > α 2 , where α i is the fraction of retransmission power. This assumption simplifies the SIC decoding order without compromising performance. Otherwise, if each user freely chose w i and α i in the range [ 0 , 1 ] , the BS needs to find the optimal decoding order based on the received powers in each time slot with additional complexity [22]. Therefore, under this assumption, if user 1 is successful only after single retransmission, user 2 cannot be recovered with single transmission. Following a similar argument, when J 1 = e , J 2 can be only e, which corresponds to state J 6 in the MM in Figure 2. The state transition probabilities of the MM are given in the following lemma.
Lemma 1.
For the two-user D-NOMA-HARQ with a maximum of 1 retransmission, i.e., m = 2 , the probability of transitioning from state J u to state J v , denoted by π u v , u , v { 1 , 2 , 3 , 4 , 5 , 6 } is given by
π u v = 1 ϵ γ u ( 1 ) 1 ϵ γ u ( 2 ) , v = 1 1 ϵ γ u ( 1 ) ϵ γ u ( 2 ) ϵ γ u ( 2 ) , γ ˜ 1 ( 2 ) , v = 2 1 ϵ γ u ( 1 ) ϵ γ u ( 2 ) , γ ˜ 1 ( 2 ) , v = 3 ϵ γ u ( 1 ) ϵ γ u ( 1 ) , γ ˜ 1 ( 1 ) 1 ϵ γ u ( 2 ) , γ ˜ 2 ( 2 ) , v = 4 ϵ γ u ( 1 ) ϵ γ u ( 1 ) , γ ˜ 1 ( 1 ) ϵ γ u ( 2 ) , γ ˜ 2 ( 2 ) , v = 5 ϵ γ u ( 1 ) , γ ˜ 1 ( 1 ) , v = 6
where γ u ( i ) denotes the SINR corresponding to the i-th user at the u-th vector state, γ ˜ z ( i ) denotes the SINR of i-th user during retransmission, where z { 1 , 2 } indicates variation in SINR due to different combination of users states. The SINRs are given by γ ˜ 1 ( 1 ) = α 1 P 1 P 2 + α ¯ 1 P 1 + 1 , γ ˜ 1 ( 2 ) = α 2 P 2 P 1 + α ¯ 2 P 2 + 1 , γ ˜ 2 ( 2 ) = α 2 P 2 α ¯ 1 P 1 + α ¯ 2 P 2 + 1 , γ 1 ( 1 ) = P 1 P 2 + 1 , γ 1 ( 2 ) = P 2 , γ 2 ( 1 ) = P 1 α ¯ 2 P 2 + 1 , γ 2 ( 2 ) = α ¯ 2 P 2 , γ 3 ( 1 ) = P 1 P 2 + 1 , γ 3 ( 2 ) = α ¯ 2 P 2 α 2 P 2 + 1 , γ 4 ( 1 ) = α ¯ 1 P 1 α ¯ 2 P 2 + 1 , γ 4 ( 2 ) = γ 2 2 , γ 5 ( 1 ) = α ¯ 1 P 1 P 2 + 1 , γ 5 ( 2 ) = α ¯ 2 P 2 α 2 P 2 + 1 , γ 6 ( 1 ) = α ¯ 1 P 1 P 2 + α 1 P 1 + 1 , and γ 6 ( 2 ) = α ¯ 2 P 2 α 1 P 1 + α 2 P 2 + 1 . Moreover, ϵ ( . ) is given in (3) and (4) for CC-HARQ and IR-HARQ respectively.
Proof 
Similar to ([41], Lemma 1), we know that 1 ϵ γ u ( i ) , ϵ γ u ( i ) ϵ γ u ( i ) , γ ˜ 1 ( 1 ) , and ϵ γ u ( i ) , γ ˜ 1 ( 1 ) are representing the probabilities that packet of user i is decoded without retransmission, with one retransmission, or is failed the decoding, respectively. These correspond to the probabilities of user i being at states J i = 0 , J i = 1 , and J i = e , respectively. Secondly, the state transition probability for states J u ( u = [ 1 , , 6 ] ) is the product of marginal probabilities of each user’s state J i . For example, when J 1 = 0 and J 2 = 0 , 1 or e, the system state transits from J u to J 1 , J 2 and J 3 with probabilities 1 ϵ γ u ( 1 ) 1 ϵ γ u ( 2 ) , 1 ϵ γ u ( 1 ) ϵ γ u ( 2 ) ϵ γ u ( 2 ) , γ ˜ 1 ( 2 ) and 1 ϵ γ u ( 1 ) ϵ γ u ( 2 ) , γ ˜ 1 ( 2 ) respectively. When user 1 is successful after a single retransmission, i.e., J 1 = 1 then user 2 can only be in two states i.e., J 2 = 1 or e. Consequently, the marginal probabilities of J 2 = 1 and J 2 = e when J 1 = 1 are 1 ϵ γ u ( 2 ) , γ ˜ 2 ( 2 ) and ϵ γ u ( 2 ) , γ ˜ 2 ( 2 ) , respectively. Therefore, the system state transits from J u to J 4 and J 5 with probabilities ϵ γ u ( 1 ) ϵ γ u ( 1 ) , γ ˜ 1 ( 1 ) 1 ϵ γ u ( 2 ) , γ ˜ 2 ( 2 ) and ϵ γ u ( 1 ) ϵ γ u ( 1 ) , γ ˜ 1 ( 1 ) ϵ γ u ( 2 ) , γ ˜ 2 ( 2 ) , respectively. Similarly, the system state transits form J u to J e with probability ϵ γ u ( 1 ) , γ ˜ 1 ( 1 ) . This is due to the fact that when user 1 is in error, user 2 is for sure in error.
Note that, in D-NOMA-HARQ, the i-th user conducts its retransmission at power α i P i and the remaining α ¯ i P i is dedicated to the new arriving packet. After retransmission user 1 always decoded under the interference of the other user. Therefore its SINR during retransmission is given as γ ˜ 1 ( 1 ) = α 1 P 1 P 2 + α ¯ 1 P 1 + 1 . The retransmission SINR of user 2 depends on the state of user 1. When receiver has two copies of user 2 and only a single copy of user 1 new transmission, then user 2 can be decoded first considering user 1’s new arriving packet as interference. In this situation, the power of interference signal of user 1 could be P i or α ¯ i P i based on the state of user 1, i.e., J 1 = 0 or J 1 = 1 , respectively. Consequently, the SINR of user 2 during retransmission, when J 1 = 0 and J 1 = 1 , is γ ˜ 1 ( 2 ) = α 2 P 2 P 1 + α ¯ 2 P 2 + 1 and γ ˜ 2 ( 2 ) = α 2 P 2 α ¯ 1 P 1 + α ¯ 2 P 2 + 1 , respectively.
When the system is at state J 1 , the SINR of user 1 is γ 1 ( 1 ) = P 1 P 2 + 1 as user 1 is decoded first. After removing interference of user 1, user 2 is decoded with SNR γ 1 ( 2 ) = P 2 . When the system is at state J 2 , γ 2 ( 1 ) = P 1 α ¯ 2 P 2 + 1 , which indicates that the previous packet of user 2 was recovered after retransmission and the new packet is the only interference. After removing packet of user 1, the new packet of user 2 experiences SNR γ 2 2 = α ¯ 2 P 2 . When the system is at state J 3 , the previous packet of user 2 is not decoded so user 1 experiences a higher interference as γ 3 ( 1 ) = P 1 P 2 + 1 . After removing the interference due to user 1 , user 2 only experiences interference from its retransmission packet, i.e., γ 3 ( 2 ) = α ¯ 2 P 2 α 2 P 2 + 1 . When the system is at state J 4 , γ 4 ( 1 ) = α ¯ 1 P 1 α ¯ 2 P 2 + 1 , γ 4 ( 2 ) = γ 2 2 , since for both users previous packets are decoded successfully, and their interference is removed. At state J 5 , user 2 is in error; therefore user 1 is decoded under its interference as γ 5 ( 1 ) = α ¯ 1 P 1 P 2 + 1 , γ 5 ( 2 ) = α ¯ 2 P 2 α 2 P 2 + 1 . Finally, when the system is at state J 6 user 1 is also not decoded so it causes interference for user 2, i.e., γ 6 ( 1 ) = α ¯ 1 P 1 P 2 + α 1 P 1 + 1   γ 6 ( 2 ) = α ¯ 2 P 2 α 1 P 1 + α 2 P 2 + 1 . □
Remark 1.
Let Π = [ π u v ] denotes the state transition matrix for the D-NOMA-HARQ system for 2 users and 1 retransmission. P stat = [ p 1 , , p 6 ] T denotes the stationary distribution corresponding to the MM in Figure 2. The PER of user i , denoted by ξ i , is given by
ξ i = u E i p u ,
where E 1 = { 6 } and E 2 = { 3 , 5 , 6 } . This follows directly from the fact that the stationary distribution of the system can be characterized by the eigenvector of matrix Π T , corresponds to eigenvalue 1 and the PER is simply the stationary probability of user i being in the error state.
Remark 2.
With D-NOMA-HARQ the throughput of user i , denoted by η i ( n , k i ) , is accordingly given by
η i ( n , k i ) = k i ( 1 ξ i ) n .
This is because with D-NOMA-HARQ, user i sends a new packet of length n with k i message bits in each time slot and received correctly at the receiver with the error rate ξ i .

3.2. Packet Delivery Delay Profile of D-NOMA-HARQ

As with D-NOMA-HARQ there is no queuing, each user sends at most N + 1 packets when N packets are scheduled for the transmission. The delay profile of each user can be characterized as follow
D i D [ d ] = u S i p u δ [ d N ] + ( 1 u S i p u ) δ [ d N 1 ] ,
where S 1 = { 1 , 2 , 3 } and S 2 = { 1 } denote the states of user 1 and 2, respectively, when a packet is successful without any retransmission.

3.3. Packet Delivery Delay Profile of S-NOMA-HARQ

Authors in [22] evaluated S-NOMA-HARQ with single retransmission and derived the PER ([22], Equation (14)) and throughput ([22], Equation (17)) for a given power allocation ratio. In particular, packet success probability of user i without retransmission denoted by p s i is derived in ([22], Equation (16)). Since each retransmission delays the transmission of the new packet by one time slot, the delay profile of S-NOMA-HARQ for delivering N packets can be calculated as follows
D i S [ d ] = j = 0 N N j p s i j ( 1 p s i ) N j δ [ d 2 N + j ] .
Because each packet of user i will be successful with single transmission with probability p s i , and each retransmission causes delay of a time slot with probability 1 p s i . In S-NOMA-HARQ, since packets are orthogonal to each other, the packet delivery delay follows a binomial distribution.

3.4. Generalized N u User Setup

We can extend the model for general N u users. When single retransmission is allowed, each i-th user, 1 i N u , can have J i { 0 , 1 , e } , packet states. Consequently, there will be maximum 3 N u vector states denoted as J u = [ J 1 , J 2 , , J N u ] , u = [ 1 , , 3 N u ] . We use SIC decoding, where users are decoded based on their level of received powers. We assume user i is relatively closer to the BS than user j, when j > i . For example user 1 is considered near user, and user 2 is considered far user. We assume that with an equal number of received packets, the total received power of user i is always higher than user j. Therefore, the transmit power constraint of each user is implemented as w j w i and α i α j . w i is the fraction of total received power from user i, i.e., i = 1 N u w i = 1 and α i is the power of retransmitting signal, i.e., α i [ 0 , 1 ] . Therefore, when the i-th user is in error, i.e., J i = e the j-th user also cannot be decoded, i.e., J j = e , where i < j N u . As a result, if the BS failed to decode user 1, then all the subsequent users would also fail the decoding due to their less received power than user 1. Similarly, if a user is successfully decoded only after retransmission, no subsequent user can succeed with single transmission. This assumption reduces the total number of states in the Markov model. The reduction in the maximum number of Markov model states denote as U is significant, for example, from 9 to 6 and 27 to 10 for N u = 2 and N u = 3 , respectively.
Lemma 1 can be extended to the general N u users case. Lets consider a Markov model whose states are denoted as J u , for u = [ 1 , , U ] , where U is the total number of states. Let P ( i , u ) denotes the probability of user i transits to state , i.e., J i = , where { 0 , 1 , e } , when the system state is J u . Note that each J u state corresponds to a specific packet state of user i, i.e., J u = [ J i , , J N u ] . For example when N u = 2 , J 1 = [ 0 , 0 ] and J 6 = [ e , e ] . The state transition probability for states J u , is the product of marginal probabilities of each i-th user’s state J i = . We can define the state transition probabilities of a general N u user setup. When a user i, ( 1 i N u ), is decoded with a single transmission, its probability is given as P 0 ( i , u ) = 1 ϵ ( γ u ( i ) ) . Consequently, user j, that comes next in decoding order can be decoded with probabilities P 0 ( j , u ) = 1 ϵ ( γ u ( j ) ) , P 1 ( j , u ) = ϵ ( γ u ( j ) ) ) ϵ ( γ u ( j ) , γ ˜ z ( j ) ) and P e ( j , u ) = ϵ ( γ u ( j ) , γ ˜ z ( j ) ) , respectively, for being in state J j = 0 , J j = 1 and J j = e . If the i-th user is recovered after retransmission, i.e., J i = 1 , whose probability is P 1 ( i , u ) = ϵ ( γ u ( i ) ) ) ϵ ( γ u ( i ) , γ ˜ z ( i ) ) , the subsequent user j can only have two states, i.e., J j = 1 and J j = e , with probabilities P 1 ( j , u ) = 1 ϵ ( γ u ( j ) , γ ˜ z ( j ) ) and P e ( j , u ) = ϵ ( γ u ( j ) , γ ˜ z ( j ) ) , respectively. Finally, when decoding of user i is failed, i.e., J i = e , which happens with probability P e ( i , u ) = ϵ ( γ u ( i ) , γ ˜ z ( i ) ) , subsequent users would definitely fail the decoding, i.e., P e ( j , u ) = 1 . At N u = 3 when all the users are successfully decoded with single transmission, the system transits to stat J v = [ 0 , 0 , 0 ] . In general, the system transits from state J u to J v with probabilities as follows:
π u v = i = 1 N u P J i ( i , u ) , [ J 1 , , J N u ] = J v ,
where γ u ( i ) and γ ˜ z ( i ) are the SINR during first transmission and retransmission.
Now, we provide general guidelines to calculate the associated SINRs of the state transition probabilities for general N u users. The SINRs can be calculated based on the SIC decoding order. In general, a user with the highest received power is decoded first under the interference of other users with less power. Furthermore, if a user’s message is decoded successfully, its interference is removed; otherwise, it causes interference. Furthermore, when BS receives more copies due to the retransmission of a user, it is given priority over usual decoding order. This is because, with more copies, a weaker user could be decoded with better quality than a strong user. For example, when user j is retransmitting and has one more packet due to single retransmission than user i, it is decoded prior to user i. Consequently, if user j is decoded successfully its interference is eliminated, and user i experience less interference. These different states of user refer to the typical state in the Markov model dented as J u . In general, SINR of user i during its first transmission is given as:
γ u ( i ) = α i ¯ P i α i P i + j P j k α k P k + 1 , j I j , k I k
where 1 i N u and I j { i + 1 , , N u + 1 } , P N u + 1 = 0 , α N u + 1 = 0 for notation consistency and I k I j is the set of indices referring to users that are successfully decoded after retransmission. Moreover, P j α j P j = α j ¯ P j . The α i P i term in the denominator of (10) is the interference caused due to i-th user’s previously retransmitting packet. This would be zero if the packet has been decoded successfully. For example, when N u = 2 γ 4 ( 1 ) and γ 5 ( 1 ) shows this case in Lemma 1. If there is no retransmitting packet, then SINR changes due to α i ¯ = 1 , as shown in γ 2 ( 1 ) in Lemma 1 for N u = 2 case. Moreover, k α k P k is the interference removed due to successfully decoding users with index set I k . However, if the decoding failed then the interference cannot be removed. Consequently, the SINR could change to γ u ( i ) = P i j P j + 1 j I j , which shows that the BS decodes the message of the i-th user under the interference of subsequent j users with maximum power.
User i always conducts its retransmission under the interference of its own new arriving packet and packets of subsequent users. The general expression of SINR of user i during retransmission can be written as:
γ ˜ z ( i ) = α i P i α i ¯ P i + j = i + 1 N u P j + 1 , z { 0 , 1 , 2 } ,
where 1 i N u . Upon successful decoding of user i after retransmission, BS can remove its interference amounts to α i P i , i < j for decoding user j. With all the state transition probabilities, the stationary distribution corresponding to the MM can be calculated using standard methods. Finally, accumulating the stationary probabilities corresponding to the erroneous packet states of each user ( J i = e ) , the PER and throughput can be obtained for N u users similar to Equations (5) and (6).
Remark 3.
Note that, in the general N u users case, we keep the maximum allowed retransmission of failing packet to one. In URLLC, the number of retransmissions is kept small to minimize the delay. However, the model in this paper can be extended for maximum M retransmission case with ( M + 2 ) N u MM states, where in general, the success probability of the i-th user at the m-th retransmission can be written as ϵ ( [ γ 1 ( i ) , , γ m 1 ( i ) ] ) ϵ ( [ γ 1 ( i ) , , γ m ( i ) ] ) . Then, various combinations of the product of m terms according to individual user’s states defines the state transition matrix. We skip the details to keep the presentation simple.

4. Numerical Results

In the simulations, we consider an uplink NOMA with two users and allow a maximum of 1 retransmission using HARQ. Using the MM, the PER, delay, and throughput performance are analyzed for each user with various transmission rates R i , SNRs, power-splitting ratios w i for NOMA, and α i for non-orthogonal HARQ and length of packet n. For simplicity of presentation, we set k 1 = k 2 = k , unless specified otherwise. For simulation, we primarily focused on the CC-HARQ scheme for the detailed analysis and compared it with IR-HARQ for some special cases. When IR-HARQ is employed, the retransmission parity length can be adjusted at the cost of a slight signaling overhead. However, this can increase packet-level latency. In contrast, when CC-HARQ is employed, the whole packet is repeated to increase reliability. Therefore, CC-HARQ is more suitable for URLLC applications due to a simpler design with less signaling overhead.

4.1. Effect of SNR and Rate on PER, Throughput, and Delay

Figure 3 shows error rate performance comparison of proposed D-NOMA-HARQ and S-NOMA-HARQ with different SNRs and rates. We fix the packet length n = 100 and vary k = 100 and k = 50 to model rate R = 1 and R = 0.5 , respectively. As shown in this figure, the PER performance of D-NOMA-HARQ is worse than S-NOMA-HARQ, and there exists an SNR performance gap. More specifically, the SNR gaps for target PER of 10 4 at rate R = 1 are about 6 dB and 8 dB for user 1 and 2, respectively. However, by reducing the rate to R = 0.5 , the PER performance gap reduces to about 3 dB and 1 dB for user 1 and 2, respectively, for the target PER performance range 10 4 to 10 6 . This is because D-NOMA-HARQ is designed for target delay performance and uses less power and time slots by serving retransmission requests non-orthogonally with new arriving packets, whereas in S-NOMA-HARQ the retransmission is conducted with full power in the new time slot. Thus overall, D-NOMA-HARQ conducts its transmissions with efficient power and bandwidth utilization. Another cause of PER performance loss is that in D-NOMA-HARQ, non-orthogonal sharing of packets causes interference if SIC is unsuccessful. On the other hand, S-NOMA-HARQ allocates full resources, i.e., time slots, and the SNR is same for its transmissions and retransmissions. Fortunately, with a lower rate, i.e., R = 0.5 , the non-orthogonal retransmission and new transmission can be decoded with a higher success rate using SIC; therefore, the SNR gap between D-NOMA-HARQ and S-NOMA-HARQ decreases.
Figure 4 shows the throughput versus SNR performance comparison between S-NOMA-HARQ and the proposed D-NOMA-HARQ at two different rates, i.e., R = 1 and R = 0.5 . As can be seen in the figure, S-NOMA-HARQ achieves higher throughput than D-NOMA-HARQ, when the SNR is low. With D-NOMA-HARQ at low SNRs, SIC decoding of packets is more erroneous because of overlapping transmission and retransmission packets. Whereas, the reliability of S-NOMA-HARQ is superior to D-NOMA-HARQ because HARQ retransmissions are conducted independently to regular transmission with maximum power and separate time slot. However, as the SNR increases and the packet can be recovered using SIC more reliably, excessive retransmission of S-NOMA-HARQ results in throughput saturation. On the other hand, D-NOMA-HARQ maintains a steady gain in throughput with SNR and eventually attains the same level of throughput as achieved with S-NOMA-HARQ. Note that D-NOMA-HARQ throughput performance is better than S-NOMA-HARQ at a specific rate point and SNR region, such as R = 1 and SNRs from 8 dB to 15 dB. This throughput gain of D-NOMA-HARQ over S-NOMA-HARQ can be seen in Figure 4 clearly, at SNR = 10 dB and R = 1 . Because at this SNR and rate, the maximum number of retransmitted packets can be recovered using SIC with very high reliability. Finally, the throughput performance of D-NOMA-HARQ and S-NOMA-HARQ eventually becomes similar, when the SNR is very high, such that no retransmission is required and all the packets are successful with only a single transmission.
We present the delay performance comparison between proposed D-NOMA-HARQ and S-NOMA-HARQ in Figure 5. We assume that N = 1000 packets are scheduled to be transmitted, and each packet has a specific deadline to reach the receiver. We assume feedback, decoding, and other processing delays to be zero and only account for the retransmission delay. The overall delay of 1000 packets is normalized to 1. Therefore if all the packets are delivered by their respective deadline, the delay overhead is zero. However, if a packet is received after one unit of delay due to retransmission, it incurs a delay overhead. With a specific retransmission rate R and SNR, each scheduled user has an average PER reliability, as can be seen in Figure 3. On the contrary, packet-level delay derived in (8) is not an average delay measure and depends upon the number of scheduled packets. However, the error rate of each of N scheduled packets can be found by (5). The D-NOMA-HARQ design does not allow a packet to be delayed by more than one time slot. In contrast, each retransmission in S-NOMA-HARQ delays all the subsequent packets by one slot. Therefore the delay performance of D-NOMA-HARQ is much better than S-NOMA-HARQ. In both S-NOMA-HARQ and D-NOMA-HARQ a packet is discarded if the maximum retransmission limit is reached and the receiver is unable to decode.
As shown in Figure 3, at rate R = 1 and SNR = 12 dB, S-NOMA-HARQ achieves PER 10 8 ; however, it delays a significantly high number of packets (shown in Figure 5). In contrast, D-NOMA HARQ provides reliability of PER 10 4 with a much lower packet-level latency guarantee. Also, by increasing the SNR or reducing the rate, D-NOMA-HARQ can provide the desired packet-level performance without violating the packet level delay deadlines. For example, as can be seen in Figure 3, at rate R = 0.5 with SNR ≈ 4 dB, D-NOMA-HARQ achieves PER 10 6 . In contrast, S-NOMA-HARQ achieves a much better PER. However, Figure 5 shows that at rate R = 0.5 and SNR = 4 dB, the delay performance of S-NOMA-HARQ is much inferior than D-NOMA-HARQ. More specifically, S-NOMA-HARQ achieves the delay performance of D-NOMA-HARQ at R = 0.5 at SNR = 8.1 dB (additional 4.1 dB SNR for each user) as shown in Figure 5. Whereas D-NOMA-HARQ achieves the PER performance of S-NOMA-HARQ at R = 0.5 with only 1 dB and 3.5 dB additional SNR for user 1 and 2, respectively, as shown in Figure 3. This proves that D-NOMA-HARQ is much superior to S-NOMA-HARQ in providing a certain level of PER reliability and packet-level delay performance.

4.2. Effect of Packet Length n on PER and Throughput

One can observe the effect of increasing the packet length while keeping the rate R = k / n fixed. Figure 6 shows the PER performance variation of the proposed D-NOMA-HARQ and S-NOMA-HARQ with the increasing packet length. We use two different packet lengths as n = 100 and n = 500 . It is clear from the figure that the reliability performance of both schemes increases with the packet length. This performance gain with increasing length follows the normal approximation and finite packet length assumption [10]. When the packet length is short, i.e., n = 100 , the reliability gain with SNR is small due to poor SIC decoding capability. When the packet length increases, the receiver can utilize longer codewords to decode the packets better and remove the successfully decoded packet from non-orthogonal packets using SIC. Therefore, when the packet length is large, i.e., n = 500 , the PER performance of D-NOMA-HARQ steadily improves with SNR.
Figure 7 shows throughput performance of the proposed D-NOMA-HARQ and baseline S-NOMA-HARQ with packet lengths n = 100 and n = 500 . As shown in this figure, the throughput performance of both schemes improves with increasing packet length, especially in the low SNR regime. When packet length is large, S-NOMA-HARQ performance starts to saturate earlier in the medium SNR range. This saturating performance is because, with S-NOMA-HARQ, the excessive retransmission penalty is larger when n is large. Since D-NOMA-HARQ conducts its retransmission by shared power and time resource, it does not incur retransmission overhead. Therefore, D-NOMA-HARQ achieves steady throughput performance gain even when the packet length is large. Nevertheless, we see user 1’s saturating throughput performance trend with D-NOMA-HARQ. This is mainly because of excessive retransmission power fraction value for user 1, i.e., α 1 , when n is larger. In practice, the user needs to adopt the power of retransmission with packet length. Therefore, when the packet length is larger, smaller values of retransmission powers α i are sufficient and vice versa. The effect of power-sharing parameters and their optimization are discussed in detail in the following

4.3. PER and Throughput Performance for different R 1 and R 2

In practical systems, users adopt the transmission rate according to their respective channel quality to increase reliability. Each user can transmit at a different rate according to their respective quality of service by changing k. We set R 1 = k 1 / n and R 2 = k 2 / n by fixing the blocklength n and varying k 1 and k 2 for user 1 and user 2, respectively. We assume k 1 < k 2 to allow user 1 with higher decoding reliability than user 2.
Figure 8 and Figure 9 show the PER and throughput performance of each user with various k 1 and k 2 . As can be seen in the figure, a higher value of k 1 leads to lower PER reliability. The figures show that by choosing different k for each user, different levels of reliability can be achieved. The PER is reduced with smaller values of k; however, it reduces the maximum achievable throughput as well as can be seen in Figure 9 . This is because at SNR = 4 dB and n = 100 a higher rate can be chosen with an acceptable PER reliability. Also, the throughput steadily increases with k 1 ; however, setting k 1 very high decreases the PER reliability and throughput performance starts to saturate. We can see in Figure 8 that at k j 75 results in severe PER degradation, and consequently, throughput performance starts to saturate for both users. Since user 1 is operating at higher transmission power than user 2 the throughput loss is higher in user 2 when k j is very high.

4.4. PER. Throughput, and Delay Performance When N u = 3

Figure 10 and Figure 11 show respectively the PER and throughput performance of D-NOMA-HARQ when N u = 3 . We show the performance variation with different code rates R. As can be seen in Figure 10, when the code rate is high, the PER performance is poor in low SNRs and reduces slowly in the medium and high SNRs. The corresponding throughput is also poor in low SNRs and increase gradually when R = 0.7 . This is because when the number of users are increased, each user experiences relatively higher interference. However, by reducing the rate, i.e., R = 0.6 and R = 0.5 , the early saturation of PER can be avoided. This results in higher throughput in low SNRs. Therefore, with increasing the number of users with D-NOMA-HARQ, proper code rates should be chosen to achieve the target PER and throughput for all users.

4.5. Effect of Power-Sharing Parameters, w i , α i , on PER, Throughput, and Delay

We use w 1 = 0.6 and 0.51 ( w 2 = 1 w 1 ) to show performance variation of each user with different power fractions. The parameter w i indicates the power fraction of NOMA paired users sending packets on the same channel with either S-NOMA-HARQ or D-NOMA-HARQ. In addition to w i , α i is used to indicate the power fraction of the retransmission packet for D-NOMA-HARQ. First, we present the effect of parameter w i on the performance of S-NOMA-HARQ in the following. Figure 12 shows the PER of S-NOMA-HARQ and D-NOMA-HARQ with different w i . As shown in this figure, with S-NOMA-HARQ, when the power difference between users is small, i.e., w 1 = 0.51 , both users achieve similar PER performance as the SNR increases. More specifically, at SNR ≈ 3 dB, both users achieve PER of about 10 6 with S-NOMA-HARQ. However, by increasing the power difference between users ( w 1 = 0.6 ), user 1 achieves much higher reliability at the cost of a small increase of PER of user 2. When the power difference between users is more considerable ( w 1 = 0.6 ), the SIC is better, resulting in PER and throughput performance improvement. However, increasing w i too much leads to PER performance disparity among users, where a user with higher power get much higher reliability, while the PER reliability of other user decreases. More specifically, at w 1 = 0.6 , the PER of user 1 is less than 10 8 while user 2’s PER is slightly higher than 10 6 . On the other hand, with D-NOMA-HARQ, a larger w i can be placed between users to improve the SIC decoding, while user performance disparity can be reduced with the adjustment of parameter α . As shown in Figure 12, with D-NOMA-HARQ at w 1 = 0.6 both users achieve similar PER performance. Note that another drawback of S-NOMA-HARQ is that a slight increase in PER of a user results in much lower latency performance. Therefore, increasing w i too much is also prohibitive.
Figure 13 shows the delay performance of each user with S-NOMA-HARQ at SNR 4dB with their PER performance. Using higher power difference between users, i.e., larger w 1 , the PER reliability of 1 user increases beyond the need while the other user suffers from slight PER performance degradation. However, the slight PER performance degradation with S-NOMA-HARQ results in significant packet-level latency performance degradation.
Next, we present the effect of parameters w i and α 1 on the PER of D-NOMA-HARQ, when N u = 2 . Figure 14 shows the PER performance of both users with various w i and α i settings. Note that the choice of w i and α i greatly affect the PER performance of D-NOMA-HARQ. By fixing α 1 and w 1 , α 2 is varied to see the performance variation at different settings. As can be seen, at smaller values of w 1 , e.g., 0.55 , both users achieve similar PER performance; however, due to the small power difference among users at w 1 = 0.55 , SIC is not performing well. By Increasing w 1 to 0.6 , PER can be reduced further. Furthermore, when α i is large, e.g., 0.7 , excessive power is assigned to conduct retransmission, leaving insufficient power for new arriving packets to be decoded successfully. However, by reducing α i to 0.6 , a further PER reduction is achieved.

4.6. Optimization of w i and α i

We now consider an optimization problem to find the optimal power-splitting ratios, w i ( w 2 = 1 w 1 ) and α i , to minimize the worst PER among both users when using D-NOMA-HARQ. For a given SNR and rate R = k j / n , the optimization problem is summarized below:
min { w 1 , α 1 , α 2 } max i ξ i s . t . C 1 . 0 α 2 α 1 1 , C 2 . 0.5 < w 1 1 ,
condition C 1 is to limit the search space for practical optimization, and C 2 is to allocate a higher power to user 1.
We numerically solved (12) by fixing w i and finding α 1 and α 2 . Table 1 shows optimal values of α 1 and α 2 when R = 0.5 at different SNRs and w i . As can be seen in the Table, IR-HARQ performance is slightly better than CC-HARQ. Furthermore, as SNR increases, higher values of α i can be chosen to improve the performance. Also, with a higher value of w 1 , PER performance improves due to better SIC, with proper choice of α i . The parameter w i refers to user pairing. As BS is assumed to know the CSI of each user, it can choose w i by pairing user with specific power difference to meet the target PER requirements of each user. As shown in Table 1, when w 1 = 0.55 , the PER of 10 6 can be achieved for both users by choosing α 1 = α 2 = 0.6 . The advantage of D-NOMA-HARQ is that this level of reliability can be achieved with much less latency compared with S-NOMA-HARQ.
Compared to standard NOMA, D-NOMA-HARQ has a higher SIC decoding complexity, which also incurs some delay in the decoding. This is because the S-NOMA-HARQ receiver performs SIC to separate the signals of different users, whereas, in D-NOMA-HARQ, retransmissions and regular packets of a user are also separated using SIC. However, the additional decoding delay is much less than the delay caused due to packet retransmissions, feedback, processing, and queuing delays. Fortunately, the SIC complexity can be significantly reduced using efficient parallel decoding techniques. However, the exact analysis is beyond the scope of this work and would be more relevant when actual encoder and decoder such as low-density parity-check codes (LDPC) are being used. The exact complexity analysis can be performed by adding associating SIC cost to the retransmission states of the MM in Figure 2. The analysis can be extended to incorporate the decoding delay simply by adding delay penalty at packet retransmission state J = 1 of the MM. Furthermore, D-NOMA-HARQ requires multi-bits feedback signaling due to more received signals in a time slot during retransmission than S-NOMA-HARQ.

5. Conclusions

In this paper, we proposed a multiuser uplink strategy for delay-sensitive applications. NOMA was used to allow simultaneous transmission of users’ packets and also to allow retransmission to share resources with new arriving packets to limit delay. In this way, the target reliability is achieved without causing queuing to any of the users. We analyzed the throughput, PER, and delay performance of the proposed scheme by using a MM. We also defined and solved an optimization problem to find power-sharing parameters to minimize the PER. Results show that the proposed scheme significantly outperforms the standard NOMA-HARQ scheme in terms of the packet delivery delay.

Author Contributions

Conceptualization, F.N. and M.S.; Formal analysis, F.N.; Investigation, F.N.; Methodology, F.N. and M.S.; Project administration, M.S., Y.L. and B.V.; Supervision, M.S., Y.L. and B.V.; Validation, M.S., Y.L. and B.V.; Writing—original draft, F.N.; Writing—review and editing, M.S., F.N. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the Australian Research Council through the Discovery Projects under Grants DP180100606 and DP190101988.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Rumney, M. LTE and the Evolution to 4G Wireless: Design and Measurement Challenges; Wiley Publishing: Chichester, West Sussex, UK, 2013. [Google Scholar]
  2. Holma, H.; Toskala, A.; Nakamura, T. 5G Technology: 3GPP New Radio; John Wiley & Sons: Hoboken, NJ, USA, 2020. [Google Scholar]
  3. Shafi, M.; Molisch, A.F.; Smith, P.J.; Haustein, T.; Zhu, P.; De Silva, P.; Tufvesson, F.; Benjebbour, A.; Wunder, G. 5G: A tutorial overview of standards, trials, challenges, deployment, and practice. IEEE J. Sel. Areas Commun. 2017, 35, 1201–1221. [Google Scholar] [CrossRef]
  4. Huang, J.; Qian, F.; Guo, Y.; Zhou, Y.; Xu, Q.; Mao, Z.M.; Sen, S.; Spatscheck, O. An in-depth study of LTE: Effect of network protocol and application behavior on performance. ACM SIGCOMM Comput. Commun. Rev. 2013, 43, 363–374. [Google Scholar] [CrossRef]
  5. Chen, H.; Abbas, R.; Cheng, P.; Shirvanimoghaddam, M.; Hardjawana, W.; Bao, W.; Li, Y.; Vucetic, B. Ultra-reliable low latency cellular networks: Use cases, challenges and approaches. IEEE Commun. Mag. 2018, 56, 119–125. [Google Scholar] [CrossRef] [Green Version]
  6. Shirvanimoghaddam, M.; Mohammadi, M.S.; Abbas, R.; Minja, A.; Yue, C.; Matuz, B.; Han, G.; Lin, Z.; Liu, W.; Li, Y.; et al. Short Block-Length Codes for Ultra-Reliable Low Latency Communications. IEEE Commun. Mag. 2019, 57, 130–137. [Google Scholar] [CrossRef] [Green Version]
  7. Shirvanimoghaddam, M.; Dohler, M.; Johnson, S.J. Massive non-orthogonal multiple access for cellular IoT: Potentials and limitations. IEEE Commun. Mag. 2017, 55, 55–61. [Google Scholar] [CrossRef] [Green Version]
  8. Durisi, G.; Koch, T.; Popovski, P. Toward massive, ultrareliable, and low-latency wireless communication with short packets. Proc. IEEE 2016, 104, 1711–1726. [Google Scholar] [CrossRef] [Green Version]
  9. IHS Statista. Number of Internet of Things (IoT) Connected Devices Worldwide in 2018, 2025 and 2030 (in Billions). Available online: https://www.statista.com/statistics/802690/worldwide-connected-devices-by-access-technology (accessed on 15 May 2019).
  10. Polyanskiy, Y.; Poor, H.V.; Verdú, S. Channel coding rate in the finite blocklength regime. IEEE Trans. Inf. Theory 2010, 56, 2307. [Google Scholar] [CrossRef]
  11. Nouri, P.; Alves, H.; Uusitalo, M.A.; López, O.A.; Latva-aho, M. Machine-type Wireless Communications Enablers for Beyond 5G: Enabling URLLC via diversity under hard deadlines. Comput. Netw. 2020, 174, 107227. [Google Scholar] [CrossRef]
  12. Makki, B.; Behravan, A.; Hashemi, M. Hybrid Automatic Repeat Request Using an Adaptive Multiple Access Scheme. U.S. Patent 10,868,641, 15 December 2020. [Google Scholar]
  13. Sahin, C.; Liu, L.; Perrins, E.; Ma, L. Delay-Sensitive Communications Over IR-HARQ: Modulation, Coding Latency, and Reliability. IEEE J. Sel. Areas Commun. 2019, 37, 749–764. [Google Scholar] [CrossRef]
  14. Devassy, R.; Durisi, G.; Ferrante, G.C.; Simeone, O.; Uysal, E. Reliable transmission of short packets through queues and noisy channels under latency and peak-age violation guarantees. IEEE J. Sel. Areas Commun. 2019, 37, 721–734. [Google Scholar] [CrossRef] [Green Version]
  15. Makki, B.; Svensson, T.; Caire, G.; Zorzi, M. Fast HARQ over finite blocklength codes: A technique for low-latency reliable communication. IEEE Trans. Wirel. Commun. 2018, 18, 194–209. [Google Scholar] [CrossRef] [Green Version]
  16. 3GPP TS 22.261 Service Requirements for the 5G Systems; Stage 1 (Release 17). Technical Report, 3rd Generation Partnership Project, Technical Specification Group Services and System Aspects. 2020. Available online: https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx?specificationId=3107 (accessed on 10 July 2021).
  17. Elbayoumi, M.; Kamel, M.; Hamouda, W.; Youssef, A. NOMA-assisted machine-type communications in UDN: State-of-the-art and challenges. IEEE Commun. Surv. Tutor. 2020, 22, 1276–1304. [Google Scholar] [CrossRef]
  18. Ding, Z.; Liu, Y.; Choi, J.; Sun, Q.; Elkashlan, M.; Chih-Lin, I.; Poor, H.V. Application of non-orthogonal multiple access in LTE and 5G networks. IEEE Commun. Mag. 2017, 55, 185–191. [Google Scholar] [CrossRef] [Green Version]
  19. Dai, L.; Wang, B.; Yuan, Y.; Han, S.; Chih-Lin, I.; Wang, Z. Non-orthogonal multiple access for 5G: Solutions, challenges, opportunities, and future research trends. IEEE Commun. Mag. 2015, 53, 74–81. [Google Scholar] [CrossRef]
  20. Liu, Y.; Qin, Z.; Elkashlan, M.; Ding, Z.; Nallanathan, A.; Hanzo, L. Non-orthogonal multiple access for 5G and beyond. Proc. IEEE 2017, 105, 2347–2381. [Google Scholar] [CrossRef] [Green Version]
  21. Liu, Z.; Yang, L.L. Sparse or dense: A comparative study of code-domain NOMA systems. IEEE Trans. Wirel. Commun. 2021. [Google Scholar] [CrossRef]
  22. Ghanami, F.; Hodtani, G.A.; Vucetic, B.; Shirvanimoghaddam, M. Performance analysis and optimization of NOMA with HARQ for short packet communications in massive IoT. IEEE Internet Things J. 2020, 8, 4736–4748. [Google Scholar] [CrossRef]
  23. Kotaba, R.; Manchón, C.N.; Balercia, T.; Popovski, P. How URLLC can Benefit from NOMA-based Retransmissions. IEEE Trans. Wirel. Commun. 2020, 20, 1684–1699. [Google Scholar] [CrossRef]
  24. Maatouk, A.; Assaad, M.; Ephremides, A. Minimizing the age of information: NOMA or OMA? In Proceedings of the IEEE INFOCOM 2019—IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Paris, France, 29 April–2 May 2019; pp. 102–108. [Google Scholar]
  25. Amjad, M.; Musavian, L.; Aïssa, S. NOMA versus OMA in Finite Blocklength Regime: Link-Layer Rate Performance. IEEE Trans. Veh. Technol. 2020, 69, 16253–16257. [Google Scholar] [CrossRef]
  26. Shafique, T.; Zia, M.; Han, H.D.; Mahmood, H. Cross-layer Chase combining with selective retransmission, analysis, and throughput optimization for OFDM systems. IEEE Trans. Commun. 2016, 64, 2311–2325. [Google Scholar] [CrossRef] [Green Version]
  27. Sassioui, R.; Jabi, M.; Szczecinski, L.; Le, L.B.; Benjillali, M.; Pelletier, B. HARQ and AMC: Friends or foes? IEEE Trans. Commun. 2016, 65, 635–650. [Google Scholar] [CrossRef] [Green Version]
  28. Avranas, A.; Kountouris, M.; Ciblat, P. The Influence of CSI in Ultra-Reliable Low-Latency Communications with IR-HARQ. In Proceedings of the 2019 IEEE Global Communications Conference (GLOBECOM), Waikoloa, HI, USA, 9–13 December 2019; pp. 1–6. [Google Scholar]
  29. Nadeem, F.; Shirvanimoghaddam, M.; Li, Y.; Vucetic, B. Non-orthogonal HARQ for URLLC: Design and Analysis. IEEE Internet Things J. 2021. [Google Scholar] [CrossRef]
  30. Xu, Y.; Cai, D.; Fang, F.; Ding, Z.; Shen, C.; Zhu, G. HARQ-CC enabled NOMA designs with outage probability constraints. arXiv 2019, arXiv:1911.01167. [Google Scholar]
  31. Cai, D.; Ding, Z.; Fan, P.; Yang, Z. On the performance of NOMA with hybrid ARQ. IEEE Trans. Veh. Technol. 2018, 67, 10033–10038. [Google Scholar] [CrossRef] [Green Version]
  32. Cai, D.; Xu, Y.; Fang, F.; Yan, S.; Fan, P. Outage probability of noma with partial HARQ over time-correlated fading channels. In Proceedings of the 2018 IEEE Globecom Workshops (GC Wkshps), Abu Dhabi, United Arab Emirates, 9–13 December 2018; pp. 1–6. [Google Scholar]
  33. Xu, Y.; Cai, D.; Ding, Z.; Shen, C.; Zhu, G. Average power minimization for downlink NOMA transmission with partial HARQ. In Proceedings of the 2018 IEEE Globecom Workshops (GC Wkshps), Abu Dhabi, United Arab Emirates, 9–13 December 2018; pp. 1–5. [Google Scholar]
  34. Jabbarvaziri, F.; Balasubramanya, N.M.; Lampe, L. HARQ-Based Grant-Free NOMA for mMTC Uplink. IEEE Internet Things J. 2020, 8, 8372–8386. [Google Scholar] [CrossRef]
  35. Chandran, R.; Pal, S.R. A Novel Retransmission Scheme for HARQ Enhancement in NOMA Based LTE systems. In Proceedings of the 2019 IEEE Wireless Communications and Networking Conference (WCNC), Marrakesh, Morocco, 15–18 April 2019; pp. 1–5. [Google Scholar]
  36. Muhammad, Z.; Mahmood, H.; Ahmed, A.; Saqib, N.A. Selective HARQ transceiver design for OFDM system. IEEE Commun. Lett. 2013, 17, 2229–2232. [Google Scholar] [CrossRef]
  37. Cardwell, N.; Savage, S.; Anderson, T. Modeling TCP latency. In Proceedings of the IEEE INFOCOM 2000 Conference on Computer Communications, Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No. 00CH37064), Tel Aviv, Israel, 26–30 March 2000; Volume 3, pp. 1742–1751. [Google Scholar]
  38. Choi, J. NOMA-based random access with multichannel ALOHA. IEEE J. Sel. Areas Commun. 2017, 35, 2736–2743. [Google Scholar] [CrossRef] [Green Version]
  39. Zeng, M.; Yadav, A.; Dobre, O.A.; Poor, H.V. Energy-efficient joint user-RB association and power allocation for uplink hybrid NOMA-OMA. IEEE Internet Things J. 2019, 6, 5119–5131. [Google Scholar] [CrossRef] [Green Version]
  40. Erseghe, T. Coding in the finite-blocklength regime: Bounds based on Laplace integrals and their asymptotic approximations. IEEE Trans. Inf. Theory 2016, 62, 6854–6883. [Google Scholar] [CrossRef]
  41. Nadeem, F.; Shirvanimoghaddam, M.; Li, Y.; Vucetic, B. Non-orthogonal HARQ for Delay Sensitive Applications. In Proceedings of the IEEE International Conference on Communications (ICC), Dublin, Ireland, 7–11 June 2020; pp. 1–6. [Google Scholar]
Figure 1. Packetization model of two-user NOMA-HARQ with single retransmission.
Figure 1. Packetization model of two-user NOMA-HARQ with single retransmission.
Entropy 23 00880 g001
Figure 2. Markov model of the proposed D-NOMA-HARQ with two users and a single retransmission.
Figure 2. Markov model of the proposed D-NOMA-HARQ with two users and a single retransmission.
Entropy 23 00880 g002
Figure 3. Packet error rate performance comparison between D-NOMA-HARQ and S-NOMA-HARQ with w 1 = 0.6 ( w 2 = 1 w 1 ) with CC-HARQ, when m = 1 , α 1 = 0.5 , and α 2 = 0.4 , at various rates.
Figure 3. Packet error rate performance comparison between D-NOMA-HARQ and S-NOMA-HARQ with w 1 = 0.6 ( w 2 = 1 w 1 ) with CC-HARQ, when m = 1 , α 1 = 0.5 , and α 2 = 0.4 , at various rates.
Entropy 23 00880 g003
Figure 4. Throughput performance comparison between D-NOMA-HARQ and S-NOMA-HARQ with w 1 = 0.6 and w 1 = 0.6 ( w 2 = 1 w 1 ) with CC-HARQ, when m = 1 , α 1 = 0.5 , and α 2 = 0.4 , at various rates.
Figure 4. Throughput performance comparison between D-NOMA-HARQ and S-NOMA-HARQ with w 1 = 0.6 and w 1 = 0.6 ( w 2 = 1 w 1 ) with CC-HARQ, when m = 1 , α 1 = 0.5 , and α 2 = 0.4 , at various rates.
Entropy 23 00880 g004
Figure 5. Delay performance comparison between D-NOMA-HARQ and S-NOMA-HARQ with w 1 = 0.6 ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , and α 2 = 0.4 , at various SNRs and rates.
Figure 5. Delay performance comparison between D-NOMA-HARQ and S-NOMA-HARQ with w 1 = 0.6 ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , and α 2 = 0.4 , at various SNRs and rates.
Entropy 23 00880 g005
Figure 6. Packet error rate performance comparison between D-NOMA-HARQ and S-NOMA-HARQ at setting w 1 = 0.6 , ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for various packet lengths n.
Figure 6. Packet error rate performance comparison between D-NOMA-HARQ and S-NOMA-HARQ at setting w 1 = 0.6 , ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for various packet lengths n.
Entropy 23 00880 g006
Figure 7. Throughput performance comparison between D-NOMA-HARQ and S-NOMA-HARQ at setting w 1 = 0.6 , ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for various packet lengths n.
Figure 7. Throughput performance comparison between D-NOMA-HARQ and S-NOMA-HARQ at setting w 1 = 0.6 , ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for various packet lengths n.
Entropy 23 00880 g007
Figure 8. Packet error rate performance of each user with different k for each user at setting w 1 = 0.6 , w 2 = 0.4 with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for packet lengths n = 100 and SNR = 4 dB.
Figure 8. Packet error rate performance of each user with different k for each user at setting w 1 = 0.6 , w 2 = 0.4 with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for packet lengths n = 100 and SNR = 4 dB.
Entropy 23 00880 g008
Figure 9. Throughput variation with different k for each user at setting w 1 = 0.6 , ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for packet lengths n = 100 and SNR = 4 dB.
Figure 9. Throughput variation with different k for each user at setting w 1 = 0.6 , ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , for packet lengths n = 100 and SNR = 4 dB.
Entropy 23 00880 g009
Figure 10. PER performance of D-NOMA-HARQ with CC-HARQ serving maximum 3 users at w 1 = 0.43 , w 2 = 0.37 , w 3 = 0.2 , α 1 = 0.8 , α 2 = 0.6 , α 3 = 0.4 , and n = 200 .
Figure 10. PER performance of D-NOMA-HARQ with CC-HARQ serving maximum 3 users at w 1 = 0.43 , w 2 = 0.37 , w 3 = 0.2 , α 1 = 0.8 , α 2 = 0.6 , α 3 = 0.4 , and n = 200 .
Entropy 23 00880 g010
Figure 11. Throughput performance of D-NOMA-HARQ with CC-HARQ serving maximum 3 users at w 1 = 0.43 , w 2 = 0.37 , w 3 = 0.2 , α 1 = 0.8 , α 2 = 0.6 , α 3 = 0.4 , and n = 200 .
Figure 11. Throughput performance of D-NOMA-HARQ with CC-HARQ serving maximum 3 users at w 1 = 0.43 , w 2 = 0.37 , w 3 = 0.2 , α 1 = 0.8 , α 2 = 0.6 , α 3 = 0.4 , and n = 200 .
Entropy 23 00880 g011
Figure 12. PER and throughput performance comparison between D-NOMA-HARQ setting w 1 = 0.6 , and S-NOMA-HARQ setting w 1 = 0.51 , 0.6 ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , n = 100 , k = 50 .
Figure 12. PER and throughput performance comparison between D-NOMA-HARQ setting w 1 = 0.6 , and S-NOMA-HARQ setting w 1 = 0.51 , 0.6 ( w 2 = 1 w 1 ) with CC-HARQ when m = 1 , α 1 = 0.5 , α 2 = 0.4 , n = 100 , k = 50 .
Entropy 23 00880 g012
Figure 13. Effect of w i over delay performance of S-NOMA-HARQ with CC-HARQ at R = 0.5 and SNR = 4 dB.
Figure 13. Effect of w i over delay performance of S-NOMA-HARQ with CC-HARQ at R = 0.5 and SNR = 4 dB.
Entropy 23 00880 g013
Figure 14. Effect of w i , α 1 and α 2 on the PER performance of D-NOMA-HARQ with CC-HARQ at R = 0.5 and SNR = 4 dB.
Figure 14. Effect of w i , α 1 and α 2 on the PER performance of D-NOMA-HARQ with CC-HARQ at R = 0.5 and SNR = 4 dB.
Entropy 23 00880 g014
Table 1. Optimal parameters for D-NOMA-HARQ.
Table 1. Optimal parameters for D-NOMA-HARQ.
CC-HARQIR-HARQ
w 1 SNR( α 1 , α 2 ) ( min max i ξ i ) ( α 1 , α 2 ) ( min max i ξ i )
3 dB 0.5 , 0.5 0.00117 0.5 , 0.5 0.00058
0.55 4 dB 0.6 , 0.57 5.67 × 10 5 0.6 , 0.57 1.58 × 10 5
5 dB 0.6 , 0.6 1.197 × 10 6 0.6 , 0.6 4.4 × 10 7
3 dB 0.5 , 0.3 0.000165 0.5 , 0.3 6.68 × 10 5
0.6 4 dB 0.55 , 0.4 3.023 × 10 6 0.6 , 0.4 1.03 × 10 6
5 dB 0.6 , 0.5 5.839 × 10 8 0.6 , 0.4 1.22 × 10 8
3 dB 0.6 , 0.36 0.00058 0.7 , 0.4 0.0003
0.65 4 dB 0.6 , 0.45 4.8 × 10 6 0.7 , 0.46 1.98 × 10 6
5 dB 0.6 , 0.44 1.313 × 10 8 0.7 , 0.46 5.75 × 10 9
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Nadeem, F.; Shirvanimoghaddam, M.; Li, Y.; Vucetic, B. Delay-Sensitive NOMA-HARQ for Short Packet Communications. Entropy 2021, 23, 880. https://doi.org/10.3390/e23070880

AMA Style

Nadeem F, Shirvanimoghaddam M, Li Y, Vucetic B. Delay-Sensitive NOMA-HARQ for Short Packet Communications. Entropy. 2021; 23(7):880. https://doi.org/10.3390/e23070880

Chicago/Turabian Style

Nadeem, Faisal, Mahyar Shirvanimoghaddam, Yonghui Li, and Branka Vucetic. 2021. "Delay-Sensitive NOMA-HARQ for Short Packet Communications" Entropy 23, no. 7: 880. https://doi.org/10.3390/e23070880

APA Style

Nadeem, F., Shirvanimoghaddam, M., Li, Y., & Vucetic, B. (2021). Delay-Sensitive NOMA-HARQ for Short Packet Communications. Entropy, 23(7), 880. https://doi.org/10.3390/e23070880

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop