- freely available
- re-usable

*Sensors*
**2012**,
*12*(4),
5067-5104;
doi:10.3390/s120405067

## Abstract

**:**Studies of the IEEE 802.15.4 Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) scheme have been received considerable attention recently, with most of these studies focusing on homogeneous or saturated traffic. Two novel transmission schemes—OSTS/BSTS (One Service a Time Scheme/Bulk Service a Time Scheme)—are proposed in this paper to improve the behaviors of time-critical buffered networks with heterogeneous unsaturated traffic. First, we propose a model which contains two modified semi-Markov chains and a macro-Markov chain combined with the theory of M/G/1/K queues to evaluate the characteristics of these two improved CSMA/CA schemes, in which traffic arrivals and accessing packets are bestowed with non-preemptive priority over each other, instead of prioritization. Then, throughput, packet delay and energy consumption of unsaturated, unacknowledged IEEE 802.15.4 beacon-enabled networks are predicted based on the overall point of view which takes the dependent interactions of different types of nodes into account. Moreover, performance comparisons of these two schemes with other non-priority schemes are also proposed. Analysis and simulation results show that delay and fairness of our schemes are superior to those of other schemes, while throughput and energy efficiency are superior to others in more heterogeneous situations. Comprehensive simulations demonstrate that the analysis results of these models match well with the simulation results.

## 1. Introduction

In recent years, wireless sensor networks (WSNs) have revolutionized the world of distributed systems and enabled many new applications. WSNs play more and more decisive roles in various aspects such as wide-range environmental surveillance, short-range health monitoring, inventory tracking, military locating etc., and touch upon almost all aspects of our life, especially after the successful release of the IEEE 802.15.4 standard [1]. In addition to many of these diverse applications, WSNs have some burning questions. For example, all sensor networks are severely limited in terms of power consumption, which makes energy efficiency a very important design requirement. Besides energy requirements, other metrics of WSN systems such as service time, throughput and packet loss probability need to satisfy actual requirements of many real-time applications. Furthermore, quantities to be measured in the applications can be heterogeneous and unsaturated, such as detections of temperature and humidity in our periodic monitor application for a fire scene, which make existing homogeneous traffic analyses unrealistic. All types of transmitted information are exchanged between the ordinary nodes and the coordinator equally, which makes the access fairness among different types of nodes important. Therefore, understanding the characteristics of the buffered IEEE 802.15.4 networks with heterogeneous unsaturated traffic is essential in order to characterize the fundamental limitations of these networks and optimize deployed parameters accordingly.

In this work, we propose two novel access schemes named OSTS/BSTS to improve the heterogeneous performance of the time-critical network. First, we model these two slotted CSMA/CA schemes for a one-hop, beacon-enabled 802.15.4 star topology combining discrete time Markov chains and the theory of M/G/1/K queues. Nodes in this cluster contain finite buffers, followed heterogeneous and unsaturated traffic. Through these models, we can derive closed expressions for accessing probabilities, channel busy probabilities of clear channel assessments (CCAs), probability distribution of packet size, and then present the general performance metrics such as throughput, access delay and energy consumption. The distinguishing characteristic of these two schemes is that performance metrics are analyzed based on the overall point of view, which means transmitting processes take the dependent interactions of different types of nodes into account. To our best knowledge, there are few schemes dedicated to analyzing the buffered behaviors of networks with heterogeneous unsaturated traffic which have non-preemptive priority over each other, and this is the first comprehensive analysis and improvement for the IEEE 802.15.4 scheme in such a condition. Moreover, we propose comprehensive performance comparisons between our schemes and other schemes in which heterogeneous traffic is also bestowed non-priority, and find that the behaviors of our schemes are largely improved: delay and fairness of our models are superior to those of other schemes, while throughput and energy efficiency are superior to others in more heterogeneous situations.

The rest of this paper is structured as follows: Section 2 gives a summary of related works and analysis premise of our model. In Section 3, a brief overview of slotted CSMA/CA scheme of the IEEE 802.15.4 standard is described. OSTS/BSTS modeled by Markov chains and M/G/1/K queues in which nodes have finite buffers, following heterogeneous and unsaturated traffic are proposed in Section 4. In Section 5, an accurate analysis of throughput, delay and energy consumption is presented. Then, our model validations and comparisons of our model with other models using NS-2 simulator are provided in Section 6. Finally, concluding remarks and future work are presented in Section 7.

## 2. Related Works

Literature reviews presented here are three-fold: (1) references related to the performance analysis using Markov chain model; (2) references related to queuing performance analysis with buffered condition; (3) references related to performance analysis with heterogeneous traffic.

Among performance analyses of CSMA/CA backoff mechanisms using Markov chain models, a relatively early and comprehensive approach is presented in [2], which evaluates the performance of the IEEE 802.11 network. In [3], the 802.15.4 CSMA/CA adopting a similar Markov chain as [2] is analyzed, but using independent probability of sensing the channel instead of the independent probability of accessing the channel presented in [2]. A more intuitive and understandable Markov chain model is presented in [4], but the analysis results for the acknowledged and unacknowledged network deflects slightly with simulation results because of the adoption of a similar model as in [2]. Recently, new analyses taking retry limits into account are presented in [5] and [6], which adopting approximations to reduce complexity for the first time which do not match with simulations for using approximations instead of efforts to model exact behaviors. A hybrid channel access scheme using Markov chains presented in [7] combines CSMA/CA of IEEE 802.15.4 scheme with the Binary Exponential Backoff (BEB) scheme of IEEE 802.11. A certain decoupling approximation is adopted to identify an embedded Markov renewal process whose performance analysis yields a fixed point equation to derive saturation throughput in [8]. A mathematical discrete chain model is used to derive statistical distribution of the traffic in [9,10] to evaluate the access behavior of non-beacon-enabled and beacon-enabled CSMA/CA, respectively, which is based on a discrete chain but not a Markov chain, similar to [2]. As far as performance analysis is concerned, the only one which is based on bidirectional traffic of downlink and uplink is proposed in [11], adopting CSMA/CA Markov chain model building blocks. Two types of Markov chains are developed separately to describe the individual nodes and the channel state transition for determining the fractions of time that a node spends in different states which are then used to determine throughput and energy consumption characteristics in [12], and a geometric random distribution is used to present the number of backoff slots rather than the uniform random distribution as in [2]. Similar models as in [12] are proposed to evaluate the performance of multi-hop buffered IEEE 802.15.4 wireless networks in [13]. More accurate and comprehensive results are obtained for IEEE 802.15.4 transmission in [14] by introducing a new 4D Markov chain, which is used for determining the optimum value of the MAC attribute macSuperframeOrder (SO) required for saving energy, specifying an upper threshold on the number of nodes and the packet length required for achieving acceptable delay. All the aforementioned Markov models rely on solutions of various fixed point formulations without studying the existence and uniqueness of the fixed point, and only consider fixed length data packets without taking the variable packet lengths into account. A simple one-dimensional Markov chain model is proposed in [15] to solve these questions, which consider the existence and uniqueness of the fixed-point and the variable packet length for the saturated or unsaturated networks.

Queue-length distributions at arrival, departure and random epochs are proposed in detail in the serial schemes in [16–18], in which delay metrics are analyzed through various queue models in IEEE 802.11 networks. Delay analysis is also proposed in [19] with different contention window distribution to previous schemes, in which probability mass function (PMF) and probability generating function (PGF) are introduced to derive the performance of the buffered system. Queuing delay and achievable throughput of multi-hop networks are analyzed in [20]. Two Markov chain queuing models are developed to obtain solutions for packet delay and throughput distributions using IEEE 802.11 DCF (Distributed Coordination Function) in [21]. Delay character in non-preemptive priority queuing is presented by [22,23]. The scheme presented in [24] analyzes buffer characteristics of IEEE 802.15.4 queues for the first time, which uses discrete time Markov chains to present CSMA/CA scheme and the theory of M/G/1/K queues to character packet distributions.

Performance analyses of heterogeneous networks are mostly based on priorities, and the first performance analysis and modeling of 802.11 DCF with heterogeneous traffic based on fair contending chance presented in [25], which is based stochastic Markov chains, but these chains are not based on CSMA/CA scheme. The analytical model presented in [26] bestows a high priority to nodes whose contention windows are equal to one, which access the channel early than nodes whose contention windows are equal to two. A multi-level service differentiation scheme is introduced to analyze heterogeneous traffic in [27], which is not consistent with the fact that sensing measured variables of different nodes have the fair chance to be transmitted. Simple performance superposition of all nodes are used to model asymmetry character of IEEE 802.11 scheme in [28], which introduces post-backoff states to state transitions of Markov chain model to describe the unsaturated character. In [29], a 4-D discrete-time Markov chain model is proposed to derive the average service time and the service utilization factor of heterogeneous sensor networks, in which the devices can transmit data packets using CSMA/CA during the CAP or using the GTS during the CFP or both. Two types of nodes distributed over the area using two-dimensional homogeneous Poisson point processes in [30] are clustered two levels concluding different arrival rates, which introduces energy model to constrain arrival rates and minimize the overall cost based on a non-CSMA/CA scheme. The first CSMA/CA scheme analysis model of the IEEE 802.15.4 protocol for transmitting heterogeneous traffic of WSNs is presented in [31], which is based on the Markov chain model of [4], and the performance analysis is simply based on the superposition of two type nodes similar to that of [28]. A subtree-based iterative cascading scheduling mechanism and a workload-aware time slice allocation mechanism are proposed to improve the heterogeneous performance metrics such as energy consumption and latency in [32], and this W-MAC (Workload-Aware Medium Access Control) scheme can extend to dynamic networks, but control messages among parent nodes and children nodes consume a lot of energy. The so-called Differentiated Channel Access Scheme (DiffCA) is proposed in [33] to derive throughput fairness in heterogeneous networks by providing each node with an additional backoff counter, whose value varies according to the size of the packets. DiffCA achieves performance equilibrium resulting from packet size and accessing probability in terms of the service feasibilities, which is not the same fairness attribute as that of the scheme of [28] or our schemes. Two scheduling policies, which refer to a fixed priority scheduler and Earliest Deadline First (EDF) with late packet rescheduling, are implemented on top of a new CSMA/CA access protocol called Collect then Send burst Scheme (CoSenS) [34] to enhance the performance of throughput, end to end delay and reliability of heterogeneous WSN networks.

Comprehensive models adopting Markov chains and M/G/1/K queues are proposed to analyze and improve the performance of IEEE 802.15.4 CSMA/CA scheme. Simple and effective evaluations of throughput, delay and energy consumption are presented in a one-hop, star topology network which considers unsaturated and unacknowledged heterogeneous buffered uplink traffic, and adopting the beacon-enabled mode. Our system involves two different types of nodes, consisting of N_{1}, N_{2} nodes to sense the variables of temperature and humidity in our periodic monitor application and transmit them to a sink, respectively. Packets arrive at the nodes for transmission according to a Poisson process with arrival rate of λ_{1} and λ_{2} for N_{1} and N_{2}, respectively. System heterogeneity can be expressed as the node distributions, and the heterogeneity at the same node distribution can be denoted as the asymmetry which refers to the difference of packet arrival rates. Each node has a buffer with finite capacity K and each packet is fixed to L unit backoff period regardless of types. All nodes regardless of types are bestowed with equal opportunities to try to sense the channel without any priority or service differentiation, and traffic has non-preemptive priority over each other, which means that nodes or queues have fair chance to access the channel for a random period and current transmitting service cannot be interrupted by the new arrivals. We firstly propose two access schemes for our queuing transmission. The one is that a node which obtains the channel can transmit the queue header packet in its queue, and it can again contend for the channel with other nodes to transmit its remaining packets after completing this packet, denoted as one service a time scheme (OSTS). The other is that a node is allowed to transmit all packets with a burst mode once it successfully accesses the channel and reserves it, denoted as bulk service a time scheme (BSTS). Then, we analyze their behaviors and present the performance comparisons with other schemes. When the buffer is empty, the node will not attempt any transmission, while the buffer is full, the node will reject new packets coming from the upper layers.

The main contributions in this paper are threefold. Firstly, two novel schemes—OSTS/BSTS—are proposed to improve the behaviors of time-critical heterogeneous buffered networks with non-priority unsaturated traffic. Secondly, comprehensive models combining Markov chains and M/G/1/K queues are presented to analyze the heterogeneous performance of these schemes adopting a global viewpoint. Finally, performance comparisons are proposed to validate the superiority of these two schemes.

## 3. IEEE 802.15.4 Slotted CSMA/CA Mechanism

First, we briefly explain the slotted CSMA/CA mechanism of the IEEE 802.15.4 MAC [1]. In the beacon-enabled mode, a superframe is bounded by the transmission of a beacon frame and consists of an active part and an optional inactive part in which the coordinator may go to a low-power (sleep) mode. The active part consists of three parts: beacon, contention access period (CAP) and contention free period (CFP). Beacons, which commence at the beginning of the first slot, are used to synchronize attached nodes, identify Personal Area Networks (PANs) and describe the structure of the superframes. The CAP shall start immediately following the beacon and complete before CFP on a superframe slot boundary. All activities for nodes contending to access the channel are within this stage. The CFP, which slots are referred to as guaranteed time slots (GTS), is reserved by the PAN coordinator for dedicated access by some devices to ensure time-critical transmission, that is, the contention-free activities. The basic time unit of the MAC protocol is the duration of the so-called backoff period. Backoff slot boundaries of every node in the PAN are aligned with superframe slot boundaries of the PAN coordinator. The MAC sublayer shall ensure that the Physical (PHY) commences all of its transmissions on the boundary of a backoff period. That is, each time a node wishes to transmit data frames during the CAP, it must locate the boundary of the next slot period. Moreover, before accessing the channel, it should wait a random number of backoff slots. During this period, the node is in a sleeping state to save energy. After a random delay, two slot CCAs are carried out. In this work, we only take the CAP behavior of IEEE 802.15.4 superframe into account for performance analyses, and the CFP and its GTS are used to guarantee time-critical behaviors, such as on-time video streaming data flow in [35]. Of course, GTS scheme is also inferior in bandwidth utilization and the number of supported devices, which is improved largely in the enhanced Low Power Real Time (eLPRT) scheme [36].

The scheme to be implemented before accessing the channel is illustrated in Figure 1 when a node has pending packets to transmit. In the slotted CSMA/CA of the IEEE 802.15.4, the MAC sublayer initializes four variables: number of backoff stage (NB = 0), contention window (CW = 2), retransmission stages (RT = 0) and backoff exponent (BE = BE_{min}) (step 1). Then, the MAC sublayer delays for a random number of periods uniformly distributed in the first backoff range [0, 2^{BE}^{min} − 1] (step 2). When the backoff counter is decreased to 0, the node performs the first CCA (step 3). If the channel is sensed idle after CCA1, CW decreases by one (step 4). If the channel is sensed idle after both consecutive CCAs, the node can access the channel successfully and then transmit packets (step 6). When the channel is sensed busy after either of the two CCAs, MAC sublayer will increase the value of NB and BE by one, respectively, and CW is reset to 2 (step 5). Backoff counters W_{i} in which nodes randomly choose is increased exponentially accordingly (W_{i} = W_{0}2^{(}^{BE}^{+1)}). If NB is less than its max value NB_{m}(m), the scheme must return to step 2, otherwise, the node will access the channel unsuccessfully and drop the packet (step 7). NB and BE values depend on the number of a packet's CCA failures. If the transmitting packet is in collision or transmitted unsuccessfully, the retransmission number of RT is increased by one (step 8). If RT exceeds its max value RT_{m}(r), the packet is discarded due to transmission failure (step 9). Our system can monitor and detect objects periodically with enough nodes which transmit a lot of collected redundant information to coordinator without acknowledgement (ACK). The impacts of ACKs on the access behaviors can be ignored adopting the extra waiting time after a transmission, which is validated as shown in simulation results.

## 4. System Models

Before presenting system analytical models, several assumptions according to our actual applications are proposed.

ACK of MAC-level can be omitted for each packet for we consider two types of nodes transmitting packets to one sink (or coordinator) within one-hop star topology which is also presented in [12,13], and the coordinator can aggregate the received traffic from different types of nodes. The propagation signal effect can be disregarded for our distances among nodes are set to relatively close.

Empty probability denotes μ

_{0}if there is no any packet in node buffer after a packet departure, which is not equal to the idle probability P_{0}at a random period. The node can go to sleep with a probability of μ_{0}if its buffer is empty at any one of such three situations: end of successful transmission; reaching maximum backoff stage; reaching retry limits.Packet arrival process in buffers can be modeled as a Poisson process. Only header packets can contend for the channel every time, which leads to the channel contending analysis partly simple regardless of the queue distributions.

We modify that all nodes contending to the channel should decrease their backoff counters to initial values once one of them transmits successfully or packets are dropped due to channel access unsuccessfully or collision, avoiding nodes with low contention windows always capture the channel once they catch the channel in the case of competing for the channel simultaneously [37].

#### 4.1. Markov Chains

In this section, two novel schemes with semi-Markov chain models describing slotted CSMA/CA scheme of IEEE 802.15.4 with retry limits and one macro-Markov chain model presenting macroscopic state transitions are proposed. The metrics of throughput, packet service time and energy consumption are partly determined by the network operating points α, β and τ_{n} (n = 1, 2) which are derived through these models. We denote these two types of nodes as N_{1} and N_{2}, respectively, for simplification.

First, we study the behaviors of one type of nodes using a three-dimensional Markov chain as in Figure 2. As interpreted above, we know CSMA/CA parameters are similar to each other for different type of nodes, so we can simplify different state transitions of these two types of nodes as one transition procedure of single type expect for the subscript. We define s(t)(s(t) ∈ (0, …, m)) as stochastic processes standing for backoff stage at time t, in which integer time t is corresponding to the beginning of slot times.

When the backoff stage increases to m, the node accesses the channel unsuccessfully and retries to access the channel if the buffer is not empty, otherwise it goes to a sleep state. We denote s = −1, s = −2 as the status of successful transmission and a failed one, respectively, which only appears at the derivation of normalized transition probability. Define c(t)(c(t) ∈ (−2, …, W_{i} − 1)) as stochastic processes standing for backoff counter at time t. When the backoff counter decreases to 0, nodes sense the channel with probability τ_{1} for N_{1}and τ_{2} for N_{2}, respectively. Values c = −1, c = −2 stand for CCA1 and CCA2, respectively. Define r(t)(r(t) ∈ (0, …, r)) as states of retransmission counter at time t. Once transmitted unsuccessfully or when a collision occurs, pending packets can be retransmitted once more and RT is increased by one. When RT increases to r, the node retries to access the channel if its buffer is not empty, otherwise it goes into a sleep state [6]. After a successful transmission, the node also retries to access the channel if its buffer has another packet, otherwise it goes into a sleep state.

We denote actual state transitions by adopting solid ovals and solid arrows for the IEEE 802.15.4 CSMA/CA scheme using a Markov chain, such as N_{2} in Figure 2. In order to demonstrate the access procedure, we can show state transitions of the other node N_{1} using the same Markov scheme paralleled to the actual one with dashed ovals and dashed arrows which do not exist in the actual state transitions seen from Figure 2. All nodes, regardless of type, can sense the channel after random backoff periods with respective probability, and then access the channel with the probability of τ_{1} and τ_{2} after two successive idle backoff periods for N_{1} and N_{2}, respectively. We denote τ_{1} and τ_{2} as presenting the parallel transition procedure for all nodes must perform the common backoff process. Output variables involved in Figure 2 can be expressed intuitively as follows: variables OC_{1}_{r}_{0} ∼ OC_{1}_{rm} and OC_{2}_{r}_{0} ∼ OC_{2}_{rm} are collision outputs at the maximal retry stage for N_{1} and N_{2}, respectively. Variables OF_{10} ∼ OF_{1}_{r} and OF_{20} ∼ OF_{2}_{r} are accessing failure outputs for reaching limited number of backoff stage of N_{1} and N_{2}, respectively. Variables OS_{100} ∼ OS_{10}_{m} to OS_{1}_{r}_{0} ∼ OS_{1}_{rm} and OS_{200} ∼ OS_{20}_{m} to OS_{2}_{r}_{0} ∼ OS_{2}_{rm} are the successful transmission outputs from the first retry stage to the maximal retry stage for N_{1} and N_{2}, respectively. State transition probabilities for any one type of nodes associated with Markov chain of Figure 2 are:

Equation (1) shows the connection between backoff procedure and macroscopic states. The backoff counter decreases one unit with probability one in every time interval, regardless of channel state shown as Equation (2). Equation (3) stands for the probability that a node goes to the next backoff stage after two failed CCA1 and CCA2 and selects a random counter in the next backoff stage. As long as RT is less than r, nodes choose to retransmit pending packets after any collision shown in Equation (4).

#### 4.1.1. Macroscopic State Transition for OSTS

Packet queues in the node buffers are modeled as M/G/1/K queuing systems, and queues in either buffer have non-preemptive priority over each other. Packet arrivals follow a Poisson process with the average arrival rate of λ_{1} and λ_{2}, respectively. The node which obtains the channel firstly can transmit the header packet in its queue, and it can again contend for the channel with other nodes to transmit its remaining packets after completing the current packet, denoted as one service a time scheme (OSTS). Macroscopic state transitions for OSTS are shown in Figure 3 with two types of nodes, in which output variables are intuitively the same as those of Figure 2.

Macroscopic states involving backoff procedures of both types of nodes follow the same algorithm as Figure 2, and we consider them as blocks. Node can go to sleep with the probability of μ_{0}_{n} (n = 1, 2) if there is no packet in the buffers after any one of such three situations: end of successful transmission; reaching maximum backoff stage; reaching retry limits. From Figures 2 and 3, we have the transition probabilities associated with Markov chains:

Equations (5)–(7) stand for the probability that a node goes to sleep after a departure if there is no packet in its buffer after unsuccessfully accessing the channel at each retry, unsuccessful transmission at the maximal retry or successful transmission, respectively. We denote the idle state as a transient state before the actual sleeping state. Equation (8) stands for probability that a node remains in the sleep state at a random slot. Equations (9)–(11) stand for the probability that a node goes to the next retransmission stage if there are other pending packets in the buffer after channel accessing failure, reaching retry limits and successful transmission, respectively. If a packet accesses the channel unsuccessfully or reaches its retry limit, this packet is discarded and the next packet in the buffer is transmitted.

Expressions of independent parameters α, β and τ_{n} (n = 1, 2) can be derived from the formulas mentioned above. Denote b_{i,k,j} = P{s(t), c(t), r(t) = i, k, j} as the steady-state probabilities of Markov chains, for i ∈ (−2, …, m), k ∈ (−2, …, W_{i} − 1) and j ∈ (0, …, r). Owing to the Markov chain regularities and transition probability equations, we obtain:

Through normalized condition of Markov chains and steady-state probabilities according to each type of nodes, we obtain Equation (15). In this proposition, the distinguished character of this normalization probability is derived based on the view of overall instead of respective type of nodes which is related in [11,31]. Equation (16) contains the probability of backoff process, CCA1, CCA2, successful transmission process and unsuccessful transmission process, respectively:

Then, we can derive probability expressions of each block as follows. We assume there is no maximal delay exponent limitation for consideration of evaluation simplification:

Equation (20) denotes the idle probability related with queue character, in which P_{0} is the probability that a node remains in a sleeping state without any packet arrival in a random slot time. From Equation (20) and Figure 3, idle probability consists of four parts which refers to the probability of no packet presenting in any node, successful transmission probability of either node, unsuccessful transmission probability for retry limits of either node and unsuccessful access probability for backoff stage limits of either node respectively, which is also related in [6]:

Substituting Equations (18)–(20) into Equation (15), we can obtain that the normalized probability is related to two Markov chain variables
${b}_{0,0,0}^{{N}_{1}}$ and
${b}_{0,0,0}^{{N}_{12}}$, along with three queue variables μ_{01}, μ_{02} and P_{0}. Variables
${b}_{0,0,0}^{{N}_{1}}$ and
${b}_{0,0,0}^{{N}_{12}}$ related with Markov chains can be derived through previous analysis. Nodes have packets to transmit at the next backoff slot with probabilities P_{1} and P_{2} for N_{1} and N_{2} respectively, which means that nodes in N_{1} can start to access the channel at the boundary of the next slot with probability P_{1} if there are no new packet arrivals of other type of nodes. The next transmission probability P_{2} for N_{2} is derived as the similar way. According to the Markov blocks of the macroscopic state transition in Figure 3, we can derive relations between semi-Markov models of single CSMA/CA scheme and macro-Markov model of integral channel states, that is, the probability P_{in} in Figure 2 and Equation (1) can be presented as P_{1} or P_{2} in Figure 3 intuitively. Consequently, we can express all components of Equation (15) as functions of variable Q_{L0} which refers to idle state length in the state transition.

In such a way, we can derive all parameters in the system using a numerical method that solves the non-linear system equations given by Equations (15), (21), (22), in which T_{trn}(Z) and
$\overline{{\mathit{\text{T}}}_{\mathit{\text{trn}}}}$ (n = 1, 2) are denoted as the distribution and mean value of packet access time, respectively:

We present probability expressions of P_{1} and P_{2} here for an early time, which are deduced elaborately in Section 4.2. Probability P_{0} that there is no packet to send in a random slot, and probabilities μ_{01}, μ_{02} which means that the queue become empty after a departure of N_{1} and N_{2} respectively can be derived through the queuing theory analyzed in the next section.

#### 4.1.2. Macroscopic State Transition for BSTS

The second scheme BSTS, denoting s bulk service a time scheme, means that a node is allowed to transmit all packets in its buffer with a burst mode once it successfully obtains the channel and reserves it. In this scheme, transmission packet length is simply considered as KL units of backoff period. Packets in the buffer queues are transmitted entirely once the node acquires the channel, and then it goes to idle state directly, which means that the node goes to idle (or sleep) state with the probability of 1 after any one of such three situations: end of successful transmission, reaching maximum backoff stage and reaching retry limits.

Performance analysis of this scheme is similar to that of OSTS except for setting the parameter μ_{0}_{n} to one. We can modify the scheme of OSTS for taking no account of parameter μ_{0}_{n}, which simplifies the normalized steady-state probability closed expressions. According to Equations (5)–(7), the transition probability expressions associated macroscopic Markov chain of Figure 4 can be derived by setting parameter μ_{0}_{n} to one, and then Equations (9)–(11) can be omitted accordingly. Other expression definitions correlated with BSTS are similar to OSTS, such as Equations (15)–(20), and thus, the state transition behaviors of this CSMA/CA scheme can be considered as one packet in buffer. This packet is not a real IEEE 802.15.4 packet, but a considered packet sequence which is been successively transmitted in the buffer. Its performance can be easily derived. Equations (21) and (22) can be simplified as follows:

#### 4.2. Queuing Models

We denote T_{trn}(Z) and
$\overline{{\mathit{\text{T}}}_{\mathit{\text{trn}}}}$ (n = 1, 2) as the distribution and mean value of packet access time, respectively. Each queue can accommodate K packets, and those arrivals that find K present in the queue will drop. Packet length distribution of each node can be derived independently and respectively because packets of two types arrive at respective queues of two types independently. We can denote p_{jk} as the state transition probability that the queue length changes from j to k immediately after a packet departure. Probability p_{jk} is independent of K and n, and p_{0}_{k} = a_{k} (0 ≤ k ≤ K − 2), p_{jk} = a_{k}_{-}_{j}_{+1} (0 ≤ j ≤ K − 1) in which a_{kn}(n = 1, 2) is the probability of k packet arrivals to the two queues during the packet access time respectively, which is presented as follows [21,24,38,39]:

We also denote A_{kn}(Z) as the PGF for the number of packet arrivals at the queues during the packet service time, as shown in Equation (25). We denote μ_{kn} as the steady-state probability that there are k packets in queue immediately after a packet departure [21,24,38,39]:

And then, steady-state equations for state transitions are given as follows [21,24]:

We find Equation (27) is redundant, and Equation (26) provides K independent equations for K unknowns μ_{kn} (0 ≤ k ≤ K − 1), so we can solve the system using an efficient algorithm as introducing the substitution
${\mu}_{\mathit{\text{kn}}}^{\prime}={\mu}_{\mathit{\text{kn}}}/{\mu}_{0n}(0\le k\le K-1)$, which is easy to see from Equation (24) that
${\mu}_{\mathit{\text{kn}}}^{\prime}$ (0 ≤ k ≤ K − 1) can be recursively calculated as follows:

From above queue expressions, we can derive the probability μ_{0}_{n} that the queue is empty immediately after a departure, which means any one of such three situations: end of successful transmission; reaching retries limits; reaching maximum backoff stage [21,24]:

The probability P_{0} that the queue is empty at arbitrary time can be derived unlike the way of the probability μ_{0}_{n}, but these two probabilities must both comply with the steady-state equations. Packet can be accepted by the queue with the probability of (1 − P_{Kn}), in which
${P}_{\mathit{\text{Kn}}}=1-{\sum}_{k=0}^{K-1}{\mu}_{\mathit{\text{kn}}}$, and then P_{0} can be derived as follows:

We can derive the closed expressions for system depiction by substituting Equations (29), (30) to Equations (20)–(22) and (15) can be solved by these expressions adopting a mathematic method.

## 5. Performance Analysis

System operating points are determined by parameters α, β and τ_{n} (n = 1, 2), which can be derived from the expressions related above. Actually, operating points used for channel state depictions are related with those packets contending to acquire the channel, which are the exact header packets of these queues in one contending period cycle (CPC). Contending processes have been independent of other remaining packets in the queue buffers. The probability that a node attempts to sense the channel for CCA1 in a randomly chosen time slot is denoted by τ, representing backoff counter decreased to 0:

We analyze the medium behavior based on every CPC for simplification. When the channel is sensed busy after CCA1 with probability α_{1} for N_{1} due to data transmission of other nodes, it means that at least one of (N_{1} − 1) remaining nodes transmits in the same slot with the current transmitting node and none of N_{2} transmit, or none of remaining N_{1} − 1 transmits and at least one of N_{2} transmits [6,12]. Probability α_{2} for N_{2} can be derived in a similar way. In this way, channel sensing probabilities are independent of types such as Equation (32). Probabilities β_{1} and β_{2}, which refer to the channel sensed busy after CCA2 for N_{1} and N_{2} respectively, can be derived in the same way. It can be simplified to Equation (33) which means at least one of N_{1} and N_{2} transmits in current slot:

Network operating points determined by carrier sensing probability τ_{n} (n = 1, 2) and busy channel probabilities α, β are derived from three non-linear expressions of Equations (31)–(33) using a numerical fixed point method. Figure 5(a–d) illustrate the characteristics of parameters α, β and τ_{n} (n = 1, 2) as functions of R = λ_{1}/λ_{2}, in which simulation setup and simulation parameters are presented later in Section 6.

Since parameters α, β and τ_{n} are only related to the exact contending packets in the medium, their characters are similar to those of nodes without buffers in our previous analysis. We only analyze operating points for a network size of 25 nodes with the most heterogeneous traffic, and the other metrics such as throughput, service delay or energy consumption are also taken the least asymmetric traffic condition into account in later analyses.

In the most heterogeneous condition which refers to the number of two type nodes are comparable to each other, we observe that channel accessing character is dominated by the difference of the two arrival rates. Channel is sensed busy with smaller probability for there are small total pending packets when traffic rate λ_{1} is much smaller than λ_{2}, such as lnR = −2 and vice versa. Probability α of channel being sensed busy for CCA1 increases as the system dissimilarity or asymmetry decreases. Asymmetry refers to the difference of arrival rates λ_{1} and λ_{2}. Probability α arrives at its peak value when traffic rate λ_{1} is equal to λ_{2} at different node distribution, and α increases with the queue length, meaning the buffer capacity. Channel accessing behavior of BSTS is the same as that of OSTS when K = 1. For BSTS scheme, we adopt the fragment indication message passing (FIMP) algorithm presented in [40], in which we can only retransmit the indicated failed packets instead of the whole packets in the queue to reduce energy or delay consumption. We observe that α in BSTS increases more rapidly than that of OSTS with the difference of arrival rates decreasing, that is, the asymmetry in the same node distribution. Due to pending packets increased with the asymmetry decreasing, more time is consumed to transmit or retransmit such long packets accumulated at the boundary of super-frame for BSTS, consequently, the transmitting efficiency of BSTS decreases. Moreover, α for BSTS becomes higher than that for OSTS with the asymmetry decreasing for more time is required to wait for transmit the failed indicated fragments which increase largely with asymmetry decreasing.

Probabilities β and τ_{n} (n = 1, 2) are analyzed in the same way as α. Probability β, for a channel sensed busy for the second CCA, increases to a high value with the difference of arrival rates decreasing, and reaches its peak in the case of λ_{1} = λ_{2}. Decreasing the difference of arrival rates, β for BSTS is higher than that for OSTS. One reason is that the difference of arrival rates increases, meaning that pending packets are almost dominated by the higher rate nodes. Less time is consumed to transmit homogeneous packets regardless of its length, which leads to BSTS suitability. Moreover, failed packets or retransmission packets of BSTS will increase rapidly with asymmetry decreasing due to nodes consume much time to wait for detecting failed indicated packets for adopting FIMP scheme. Consequently, transmission probabilities τ_{1} and τ_{2} of BSTS are less slightly than those of OSTS under more asymmetry conditions.

From these figures, we observe that accessing behaviors are determined by the node distribution and system asymmetry. Analysis results are consistent with simulation results at more symmetry conditions for a great extent, while those of more asymmetry cases are inconsistent with analysis results slightly shown in Figure 5(a–d), and these deflections can be susceptive in our system design.

#### 5.1. Throughput Analysis

We denote S as normalized throughput, which is defined as the fraction of time the channel is used to successfully transmit payload bits in every CPC. A random chosen slot consists of three possibilities: fraction of time for successful transmission, fraction of time for collision and fraction of time for idle or sleeping. We calculate each time fraction for deriving S:

Successful transmission probability P_{s} is given by the probability that exactly one node transmits on the channel, conditioned on the fact that at least one node transmits:

Probabilities that nodes encounter the collisions in a random slot are not similar to successful transmission probabilities as follows:

Thus, throughput expression S is derived through these three parts:

E_{n}[P] is the average packet payload size in number of slots, and average payload information content successfully transmitted in a slot time is P_{trn} P_{sn} E_{n}[P]. At the same time, we can derive three parts in a random slot using the separate probabilities. Successful transmission probability is P_{tr}_{1}P_{s}_{1} + P_{tr}_{2}P_{s}_{2} and collision transmission probability is P_{c}_{1} + P_{c}_{2}, respectively. T_{s} is average time that the channel is sensed busy due to a successful transmission, while T_{c} is time that the channel is sensed busy due to collision. If there is at least one transmission in a random slot, remaining time in a slot is idle period with a length of (1 − P_{tr}_{1}P_{s}_{1} − P_{tr}_{2}P_{s}_{2} − P_{c}_{1} − P_{c}_{2})σ. According to a time-critical and energy efficient redundancy network, the coordinator does not need to acknowledge each packet. Since there is no collision detection in the CSMA/CA mechanism, the channel remains awake after successful and failed state for several slot durations. Thus, after each transmission, we assume that a node keeps at least two slots receiving before next transmission in this occasion. E[P], T_{s}, T_{c}, and σ are independent of system parameters, but, P_{tr}_{1,2}, P_{s}_{1,2} and P_{c}_{1,2} depend on operating point parameters α, β and τ_{1,2} as shown in Equations (31)–(33). Expressions of T_{s} and T_{c} are:

Assume t_{s} = t_{c} = t_{L}, where t_{CCA}, t_{s}, t_{c} and t_{ex} are durations for performing a CCA, transmitting a L-slot packet successfully, transmitting a L-slot packet unsuccessfully and keeping waiting for extra slots, respectively. Without ACK and waiting for ACK, the successful transmission length is as same as the failure one, and delay, energy consumption and throughput design procedures are relatively simple compared to those of different transmission length. After a successful or failed transmission, extra waiting time during which the channel becomes clear again is determined by the practical situation.

#### 5.2. Delay Analysis

In low-rate wireless applications, packet service delay is also an important metric, and we pay more attention to improving the performance of delay in our time-critical applications. Generally, total delay in a communication network includes processing delay, queuing delay, access delay, and propagation delay. In this paper, we focus on average packet service delay which consists of the delay in queue waiting and delay for accessing the channel. Access delay is the time from the instant which the packet is at the head of its MAC queue and ready to be transmitted to the instant when coordinator receives packet, which is also elaborately discussed by many papers such as [6,41,42]. We can denote the PGF of access delay as T_{tr}(Z). The time for packet waiting in its queue is derived through the queuing theory such as [11,21,24]. The PGF of queuing delay can be denoted as T_{q}(Z). We analyze the accessing character of the buffered system and derive the delay metric accordingly. Empty probabilities μ_{0} immediately after a departure and P_{0} at a random period are of our consideration besides the queue distribution involving the tagged packet.

#### 5.2.1. Access Delay T_{tr}(Z)

The PGF of access delay consists of three factors as shown in Equation (39): the first part is the PGF of successful transmission, the second part is the PGF of access failure and the last is the PGF of failure transmission for reaching retry limits. Transmission commences as the channel being sensed idle for two CCAs, as factor Z^{2} in each part of Equation (39). A packet is transmitted successfully with probability of (1 − α)(1 − β)(1 − P_{c}) and transmitted unsuccessfully with probability of (1 − α)(1 − β)P_{c} after j collisions, respectively. Each backoff stage follows by a short turnaround period for we consider nodes sleeping in backoff decrement process, and we denote it as T_{ta} shown in Equation (39):

_{i}(Z) and sensing failure F

_{i}(Z) are derived as the following equations. The PGF of the time for backoff decrement process from first stage to ith stage can be expressed by the product of these (i + 1) stages. A node can choose a random backoff counter W

_{i}in stage i and each with probability 1/W

_{i}for uniform distribution of counter, that is, the node chooses counter as 0 with probability 1/W

_{i}, or 1 with probability 1/W

_{i}and so on, and PGF of each backoff process is the sum of all possibilities. Sensing failure time consists of two parts: CCA1 and CCA2, and the channel is busy with probabilities of α and (1 − α)β, respectively. CCA1 is performed after backoff counter decreased to zero, and CCA2 is only performed as channel being sensed idle after CCA1 with probability of (1 − α). Either of CCAs fails, and the node increases one backoff stage until the maximum stage:

#### 5.2.2. Queuing Delay T_{q}(Z)

We denote the discussed random arrival packet as a tagged packet in either type of nodes to account for packet queuing delay. Tagged packet has a distance of l packets away from the header packet of its queue when it arrives at the queue N_{1} if the analyses base on only N_{1}, shown in Figure 6, denoted as pak_{N1}, and the queue which consists of tagged packet is called tagged queue accordingly. Queuing delay of pak_{N1} consists of three parts: the time for transmitting (l + 1) packets in front of the tagged packet in this queue contained the header packet, the time for transmitting K packets in each of other (N_{1} − 1) nodes and the time for transmitting K packets in each of N_{2} nodes. Access delay for any non-tagged packet is the same as the tagged one analyzed as Equation (39).

According to the probability distribution of queue size at packet departure of Equations (26), (27) and the number of packet arrivals during packet access time, we derive expressions for tagged packet delay distribution at arbitrary time between departures related in [24,38,39]. General queue length distribution will be treated by a joint probability distribution of the number of packets in the device queue and the remaining service time for the packet which is currently being serviced. System steady state can be characterized by introduced three variables: L_{m} which is denoted as the current queue length, T_{t−} and T_{t+} which is denoted as the elapsed service time and remaining service time for the current being serviced packet respectively. We can derive the joint probability distribution of queue size and remaining packet service time as follows:

Now, we consider the tagged queue length distribution based on only N_{1}, and the same analysis process can be applied to that of N_{2}. According to the PGF of accessing time, packets arriving at tagged queue N_{1} consist of two parts: the arrivals l_{1} if the current service packet belongs to (N_{1} − 1) and the arrivals l_{2} if the current service packet belongs to N_{2}. The joint probability distribution consists of two parts as following Equations (40) and (41) [24,38]: arrival length l_{1} in mean packet access time
$\overline{{T}_{tr1}}$ for type of N_{1} if the current service is one of N_{1} − 1 for the first part, and arrival length l_{2} in mean packet access time
$\overline{{T}_{tr2}}$ for type of N_{2} if current service is one of N_{2}:

The probability that l_{1} arrive at queue N_{1} during the service time of N_{1} and the probability that l_{2} arrive at queue N_{1} during the service time of N_{2} are derived as following Equation (42) [39], respectively:

Equations (40) and (41) can be simplified by substituting Equation (42) into them as following Equations (43) and (44) (0 ≤ l_{1,2} ≤ K − 1), in which the first factor denotes l_{1} arriving at queue N_{1} during the service time of N_{1} and the second factor denotes l_{2} arriving at queue N_{1} during the service time of N_{2}:

So, we can substitute Equation (42) and Equations (26), (27) into Equations (43), (44) to obtain the following expressions:

So, we can derive the LST (Laplace-Stieltjes transform) of service delay. Service time is the time from packet arriving at nodes to departure, and we assume that the probability distribution of the queue length at packet arriving epoch is the same as the probability distribution of the queue length at arbitrary epoch [24], so service delay of two queues consists of three parts: the time for transmitting l packets and current being serviced header packet in front of the tagged packet, the time for transmitting l_{1}(l_{1} ≤ K) packets in each of (N_{1} − 1) queues and the time for transmitting l_{2}(l_{2} ≤ K) packets in each of N_{2} queues, which shown in Figure 6. Substituting Equations (26), (27) and Equation (30) into Equation (47), the packet service delay can be derived using a numerical method [24]:

As we consider the tagged packet in N_{2}, we can derive the service time distribution as that of tagged packet in N_{1} by substituting the queue parameters of N_{2} for that of N_{1} in a similar way. For example, joint probability distribution consists of two parts as shown in the following Equations (48), (49): l_{1} arrives at tagged queue N_{2} in mean packet access time
$\overline{{T}_{tr1}}$ of N_{1} if the current service is one of N_{1} for the first part, and l_{2} arrives at tagged queue N_{2} in mean packet access time
$\overline{{T}_{tr2}}$ of N_{2} if current service is one of N_{2} − 1. Other results can be derived as the similar way as that of N_{1}, and we can omit this repetitive process for
${T}_{q2}^{\ast}(s)$:

#### 5.3. Energy Consumption Analysis

Energy consumption is the most important metric in WSNs, and we also analyze it elaborately. We assume a node is sleeping in a backoff period while it is receiving in extra waiting period after a successful transmission or not. Thus, we assume a node does not consume any energy during backoff procedures. Moreover, energy consumption of turnaround process P_{ta} can be simplified to (P_{RX} + P_{TX})/2, and energy consumption between two consecutive CCA attempts can also be simplified to this value. We can assume each packet transmission consumes the same energy, and mean energy consumptions for packet transmission are derived as Equation (50):

## 6. Model Validations

Now we present extensive simulations of slotted IEEE 802.15.4 to validate our scheme with heterogeneous and unsaturated traffic using the NS-2 simulator [43]. NS-2 is a popular discrete-event simulator which was originally designed for wired networks and has been subsequently extended to support wireless simulations. The accuracy of evaluated expressions for throughput, delay and energy consumption is validated through extensive comprehensive simulations which are derived based on analyses of different parameters such as packet arrival rate, packet size and the node distributions.

Randomly deployed in a circle area of radius 3 meters with one sink in the center receiving data, nodes are all in the range of each other transmitting packets to sink. The transmission range of the transceiver is about 7 m. Node model is initiated as related in [41]. We assume that the entire superframe duration is active, moreover, the effect of beacon receptions set to one backoff period can be neglected for the beacon concluded in the data packet occupies a very small fraction time in a beacon order of 4. We assume each turnaround process consumes the same time and energy for simplification. Parameters used in simulations are listed in Table 1. Experimental setups of NS-2 simulator used to conduct validations are similar to presentations in [44] in detail, and the propagation delay can be ignored in our scheme simulations. We validate the performance of our analyses firstly, and then we compare the performance of our schemes with that of previous schemes such as Ramachandran's [12] and Sarmiento's [31]. Our simulation results are mean values derived from 20 experience values for each scenario.

Packet length is fixed to 7 units of backoff period including the PHY-header and MAC-header period. Backoff stage and retry number are fixed to 5 and 3, respectively. We study the asymmetry or heterogeneity and buffer characteristics of OSTS/BSTS schemes in this paper. We consider that the relative arrival rates λ_{1}, λ_{2} and relative numbers N_{1}, N_{2} which represent the system asymmetry and heterogeneity, and parameter K which represent the system capacity, play important roles on system metrics such as throughput, mean service delay and energy consumption. Furthermore, we can also derive system fairness from these metrics.

Performance is evaluated as the function of the aggregate offered load in different system size. Two different network sizes, N = 10 and N = 25, are considered, and the most heterogeneous distribution N_{1} = 13, N_{2} = 12 and the least one N_{1} = 23, N_{2} = 2 of the network of N = 25 are also considered under the same system offered load. Performance metrics are both sensitive to arrival rates λ_{1}, λ_{2} and numbers N_{1}, N_{2} for the same buffer capacity, and we cannot derive the variation tendency if these four parameters change at the same time without any datum mark. In this way, we can evaluate the performance as the functions of R = λ_{1}/λ_{2} in the datum mark of system aggregate offered load, which is fixed at each buffer length of system size N. In particular, we can define normalized aggregate offered load as G = g_{0}(N_{1}λ_{1} + N_{2}λ_{2}), in which the parameter g_{0} is an impact factor standing for adjustment of system size and transmission arrival rate. Preferable and comprehensive performance metrics as the functions of lnR are evaluated through simulations. Differentiation of some set λ_{1}, λ_{2} may be intuitively large, such as lnR = −2 means that λ_{1} = 0.135λ_{2}, but performance differentiation can be evened largely through node distribution of N_{1} and N_{2} in the same offered load. Performance curves are manifested to smoothness character in function of ln R in our numerical analysis, which is also related in [25].

#### 6.1. Throughput Validation

According to Equation (37), system throughput is determined by packet length, idle period and transmission probabilities in a normalized form in one CPC. This is because transmitted packets are always the header packets of the queues, in which accessing packets are the same as those of the no-buffer system. Figure 7 shows throughput characters as the functions of lnR. We can obtain throughput nature based on two aspects: asymmetry and heterogeneity.

We firstly consider the asymmetry characters for the same heterogeneity conditions shown in Figure 7(a,b). In the same transmission scheme, throughput increases with the asymmetry decreasing which means that throughput increases with the difference of arrival rates decreasing, and arrives at its peak value when λ_{1} is equal to λ_{2}. Node's buffer capacity also plays an important role on throughput illustrated in Figure 7(a–c). With K increasing, throughput increases for the pending packets increasing. We consider that throughput and other metrics such as service delay and energy efficiency in the case of K = 1 for BSTS scheme are the same as those of the case of K = 1 for OSTS scheme, and we can also consider the packet length of BSTS scheme as KL. Throughput for OSTS shows different characteristics from those of BSTS for the different buffer capacity. Throughput of OSTS increases more rapidly with the difference of packet arrival rates decreasing at the same buffer size in that the probability of channel for BSTS scheme sensing busy increases with the difference of arrival rates decreasing. Nodes in BSTS spend much time to wait for being transmitted for the relative long service packets, which leads to transmission inefficient. Moreover, the retransmitted packets accumulate at the boundary of the superframe for offered load increases because FIMP algorithm presented in [40] is adopted in our BSTS scheme. With the number of nodes increasing, throughput also increases at the same ln R for the offered load increasing.

Heterogeneity also plays a decisive role on system performance shown from the curves of Figure 7(b,c). Throughput increases as the heterogeneity increases at lnR < 0, while throughput decreases with the heterogeneity increasing at lnR > 0, meaning that throughput of N_{1} = 13, N_{2} = 12 is higher than that of N_{1} = 23, N_{2} = 2 at each lnR when lnR < 0, while throughput of N_{1} = 13, N_{2} = 12 is lower than that of N_{1} = 23, N_{2} = 2 at each lnR when lnR > 0. Note that ln(λ_{1}/λ_{2}) = 0 means a network consisting of N_{1} + N_{2} identical nodes for λ_{1} equal to λ_{2} for a fixed network size, leading to each curve passing through the same point at λ_{1}/λ_{2} = 1 for the same load, which can be seen from the point of ln(λ_{1}/λ_{2}) = 0 in Figure 7(b,c). For example, throughput is 0.268 for OSTS scheme and 0.251 for BSTS scheme at ln(λ_{1}/λ_{2}) = 0 when K = 4 in network N_{1} = 13, N_{2} = 12, which is the same value of N_{1} = 23, N_{2} = 2 for OSTS and BSTS, respectively, and throughput is 0.308 for OSTS scheme and 0.288 for BSTS scheme at ln(λ_{1}/λ_{2}) = 0 when K = 8 in both distribute networks, respectively. Moreover, throughput of N_{1} = 23, N_{2} = 2 in our system increases to a saturated value with λ_{1}/λ_{2} increasing, and then decreases with a marginal rate shown in Figure 7(c). We observe that the predictions of these models are consistent with simulation results. For OSTS, we can observe that simulation values are lower than analysis results, and the deflection is of 3.542% to 6.334%. Those simulation values of BSTS are lower than analysis values when ln(λ_{1}/λ_{2}) < 0, while simulation results are higher than analysis results when ln(λ_{1}/λ_{2}) > 0, and the deflection is of 2.659% to 5.645%. These deflections are sustainable to our applications.

#### 6.2. Delay Validation

Delay is the most important character in our real-time monitoring system, and we always attempt to improve the behavior of delay in order to obtain the real-time monitoring. From Equations (39) and (47) in Section 5.2, mean delay for transmitting a packet is mostly related to system asymmetry and heterogeneity, along with the buffer size for the same offered load and system scale. For a small size of network N_{1} + N_{2} = 10, mean delay is much lower than that of large size such as N_{1} + N_{2} = 25 for nodes increasing results in more pending packets and more collisions.

Asymmetry and heterogeneity play decisive roles on the system delay performance from the curves in Figure 8. Mean delay increases with the asymmetry decreasing which means the absolute value of lnR decreasing, and reaches its peak when traffic rate λ_{1} is equal to λ_{2} at different node distributions shown in Figure 8(a,b). Mean delay increases with buffer size K increasing for more offered load, more failure packets and consequently more retransmission. When the arrival rates differ much from each other, mean delay of BSTS scheme is lower than that of OSTS scheme at the same system size and same traffic intensity, and then it increases higher than that of OSTS scheme when the difference of packet arrival rates decreases. Adopting the scheme of FIMP for BSTS scheme, nodes wait for a long time to complete the transmission of KL packets which is a large length relative to WSNs, and then detect indicators of packet segments to find out retransmission packets, which consumes much time, leading to delay for BSTS higher than that of OSTS in this case.

Heterogeneity also plays a decisive role on delay performance shown from these curves. Delay increases with the heterogeneity of the network increasing at lnR < 0, while delay decreases with the heterogeneity increasing at lnR > 0 shown in Figure 8(b,c), meaning that delay of N_{1} = 13, N_{2} = 12 is higher than that of N_{1} = 23, N_{2} = 2 at each lnR when lnR < 0, while delay of N_{1} = 13, N_{2} = 12 is much lower than that of N_{1} = 23, N_{2} = 2 at each lnR when lnR > 0. Mean delay is less sensitive to lnR when nodes of N_{1} are much more than those of N_{1} (such as N_{1} = 23, N_{2} = 2) and traffic rate of λ_{1} is much more than that of λ_{2}, which means system packets almost consisting with only N_{1} and delay performance is almost determined by traffic rate λ_{1} of N_{1}, which is presented from the comparison of Figure 8(b,c). Mean delay arrives at the same values for the same load when ln(λ_{1}/λ_{2}) = 0 for the network composed of N_{1} + N_{2} identical nodes related as above.

We can observe that respective delay of N_{1} and N_{2} are not similar to the characters of system total mean delay. Asymmetry and heterogeneity also play important roles on the respective delay behaviors observed from the curves in Figure 9. Delay of N_{1} decreases with increasing λ_{1}/λ_{2}, and its rate of decrease increases with the decreasing asymmetry. Delay of N_{1} at N = 10 for OSTS scheme is more than that of BSTS scheme when lnR < −0.495 in the case of K = 4, while delay of N_{1} for OSTS scheme is less than that of BSTS scheme when lnR > −0.495 shown in Figure 9(a,b).

In case of K = 8, delay of N_{1} for OSTS scheme is more than that of BSTS scheme when lnR < −0.865, while the delay of N_{1} for the OSTS scheme is less than that of BSTS scheme when lnR > −0.865. Delay of N_{1} increases with the increasing buffer capacity, and also increases with the network scale. Shown in Figure 9(b,c), the delay of N_{1} is insensitive to the heterogeneity for lnR < 0, while it decreases with the heterogeneity increasing for lnR > 0. The respective curves pass through the same point at ln(λ_{1}/λ_{2}) = 0 for the same load.

Delay analysis of N_{2} is similar to that of N_{1}. We can observe that delay of N_{2} increases with increasing λ_{1}/λ_{2}, and its rate of increase increases with the decreasing asymmetry as shown in Figure 10. Delay of N_{2} at N = 10 for BSTS scheme is more than that of the OSTS scheme when lnR < 0.407 in the case of K = 4, while the delay of N_{2} for the BSTS scheme is less than that of the OSTS scheme when lnR > 0.407 as shown in Figure 10(a,b). In case of K = 8 at N = 10, the delay of N_{2} for the BSTS scheme is more than that of the OSTS scheme when lnR < 0.501, while the delay of N_{2} for the BSTS scheme is less than that of the OSTS scheme when lnR > 0.501. The delay of N_{2} for other node distributions can also be analyzed as shown in Figure 10(b,c). The delay of N_{2} increases with the increasing buffer capacity, and also increases with the network scale. Heterogeneity plays a similar role on delay of N_{2} as on delay of N_{1}.

As shown in Figure 10(b,c), the delay of N_{2} is insensitive to the heterogeneity for lnR > 0, while it increases with the increasing heterogeneity for lnR < 0. The respective curves pass through the same point at ln(λ_{1}/λ_{2}) = 0 for the same load.

#### 6.3. Energy Consumption Validation

Energy is a most important factor considered in WSNs that withdraw energy from batteries, and it is also analyzed elaborately in our time-critical system. We assume that nodes are sleeping in the backoff procedure for energy efficiency, without any energy consumption. Energy analysis is similar to the throughput analysis in a small system size shown in Figure 11(a). Nodes in a system of N = 25 consume much energy than thaose of N = 10 regardless of the most heterogeneous N_{1} = 13, N_{2} = 12 or the least heterogeneous one, which is shown in Figure 11(b,c). Energy consumption is insensitive to the heterogeneity when lnR < 0, while sensitive to the node distribution when lnR > 0. In the case of the least heterogeneous network of N_{1} = 23, N_{2} = 2, much more energy is consumed for more packets generated by N_{1} with higher arrival rate λ_{1} when lnR > 0, and at the same time packets contributed by N_{2} are relatively high, which results in energy consumption always increasing shown in Figure 11(c).

We also analyze system characteristics when the traffic rates are equal to each other, which means the homogeneous or symmetric condition mostly studied before [6,8,12]. Throughput increases rapidly for small values of the offered load, while it arrives at a peak point then decreases slightly or barely for large values of G as shown in Figure 12(a). The offered load will increase rapidly with increasing packet arrival rate, and successful transmission probability will increase slowly when more nodes are contending for the channel. Throughput of OSTS reaches a peak value foremost at λ = 0.573 for K = 1 and decreases slowly until a fixed value, while it reaches its peak at λ = 0.443 for K = 4 and at λ = 0.413 for K = 8, respectively. With packet arrival rate increasing, throughput of BSTS scheme reaches a peak value foremost at λ = 0.515 for K = 4 and decreases slowly to a fixed value, while it reaches its saturation at λ = 0419 for K = 8, respectively.

In the same way, mean delay will increase slowly for small offered load and rapidly for large G as shown in Figure 12(b). Due to less packets contending to transmit when the offered load is small, successful probability becomes high, so less energy consumption ensues. Pending packet accumulating at the beginning of superframe will lead to failed probability and collision probability increasing for offered load increasing, and energy consumption will increase rapidly for large G, as shown in Figure 12(c).

According to the analysis and simulation results, we observe that the heterogeneity and asymmetry play decisive roles in system behavior, and buffer size also impacts largely on the characteristics of the schemes. Performance metrics are demonstrated to have different superiority when adopting different transmission modes, OSTS or BSTS. We can choose the appropriate scheme of OSTS and BSTS according to node distribution of the applications as shown in Figures 7–12. The difference of packet arrival rates is very high, and the performance of BSTS is relatively superior to that of OSTS. Conversely, if the arrival rates are near to each other, the behavior of OSTS excels that of BSTS. We observe that the predictions of these models are consistent with simulation results. For OSTS, we can observe that simulation values of delay have a deflection of 5.634% to 8.242%, and simulation values of energy consumption have a deflection of 4.371% to 6. 427%. For BSTS, the deflections for delay and energy consumption are 4.843% to 7.475% and 4.845% to 7.968%, respectively. The deflections are suitable for our applications.

#### 6.4. Performance Comparisons with Other Schemes

Analysis and simulation results shown above are comprehensive for applications, and we can compare the performance metrics of our mechanism with those of other non-priority heterogeneous schemes. Our schemes are used for time-critical monitoring and detection application, in which minimized delay is the most important target. Different types of nodes contend for the the channel with a fair chance, and the fairness is also an improved requirement. Adopting the distinguished improvement of taking the global viewpoint into account, our schemes OSTS/BSTS excel in WSN networks with non-priority traffic. Through the comprehensive comparisons, we can derive that the delay and fairness performance metrics of our schemes are obviously improved over other schemes such as [12,31], while throughput and energy efficiency are improved over others in more heterogeneous conditions.

A performance analysis model of the IEEE 802.15.4 CSMA/CA scheme with heterogeneous traffic is presented in [31], based on the viewpoint of the respective packet transmission of two types of nodes rather than based on the viewpoint of overall networks, which lead to the competitive packets of these two types being independent of each other. Correspondingly, our model analyzes the performance metrics based on the overall point of view, that is, the packets of two types of nodes are taken account for contending the channel with dependent interactions at the same time. This difference can be obviously expressed using Equation (8) in [31] and Equation (15) in this proposition. We can slightly adjust network parameters and MAC parameters for the model [31] in order to compare the performance metrics with those of our model, which is illustrated in later simulation figures.

The most representative model of CSMA/CA scheme based on IEEE 802.11 with non-priority heterogeneous traffic is presented in [28]. The post-backoff states are introduced to describe the unsaturated character, leading to the fixed idle states rather than dynamic arrival rate-dependent idle states. Moreover, post-backoff states also ensure there is at least one slot before a transmission, which is not similar to the IEEE 802.15.4 mechanism that there is at least one slot before a transmission. These differences lead to the performance comparisons between the IEEE 802.11 scheme of [28] with heterogeneous traffic and other heterogeneous IEEE 802.15.4 schemes such as OSTS/BSTS are not instructive. In comparison with another comprehensive IEEE 802.15.4 scheme presented in [12], Markov models are developed for the channel and node states respectively to determine the fractions of time that a node spends in different states which are then used to determine the throughput and energy consumption characteristics, which can be instructive to our scheme improvements. A geometric random distribution is used to present the number of backoff slots rather than the uniform random distribution as many schemes such as our work or the work of [2], and the initialization of CW with 1 is developed to improve throughput. The scheme assumptions and other application specifications in [12] are similar to those of our schemes, and we can modify this homogeneous IEEE 802.15.4 CSMA/CA scheme as a heterogeneity-like CSMA/CA scheme, denoted as Ramachandran's scheme simply. We evaluate the behaviors of this modified network which combines with another type of node, working as the BSTS scheme. We compare the behaviors of these two IEEE 802.15.4 schemes of [12,31] with our schemes under low traffic rates, and modify the backoff counters as no limitation when increasing of backoff stages for all four schemes. Data length is fixed to seven backoff periods, and the other simulation parameters are presented as the same as our above simulations. CW value of Ramachandran's scheme is denoted as 2 in our comparisons, and the energy models of OSTS/BSTS are developed more comprehensively compared to Ramachandran's seen from Section 5. For the same node distribution, the heterogeneity can be described as the asymmetry.

We can present the access fairness comparisons based on the metrics of respective throughput and transmission probability according to the definition of [28], which considers the scheme to be fair if each node achieves a long-term throughput that is at least either its demand or a1/N share of the total achieved throughput. Throughput and transmission probability of N_{1} are the same as those of N_{2} when λ_{1} = λ_{2} shown in Figure 13(a,b), respectively, which demonstrates the fairness of the system. When the packet arrival rate of a type of node is much lower than that of the other, throughput of the lower one is much lower than that of the other, which denotes that the system is far from being fair. With the difference of packet arrival rate between these two types of nodes decreasing, the fairness of the system increases.

We can see from Figure 13(a) that bandwidth share of BSTS is superior to others when the difference of arrival rate is high and that of OSTS scheme is superior to others when the difference of arrival rate is small for the same network distributions. For example, throughput of BSTS scheme for N_{1} and N_{2} is 0.1098 and 0.1338 at lnR = −2, respectively, while its throughput for N_{1} and N_{2} is 0.1120 and 0.1343 at lnR = −1.5, respectively. Bandwidth share of BSTS scheme is 0.8992/1 at lnR = −2 and 0.9241/1 at lnR = −1.5, which is superior to those of Sarmiento's 0.8721/1 at lnR = −2 and 0.9013/1 at lnR = −1.5 and Ramachandran's 0.8693/1 at lnR = −2 and 0.8892/1 at lnR = −1.5 respectively. Bandwidth share of OSTS scheme is 1/1.0483 at lnR = 1, which is superior to those of Sarmiento's 1/1.0872 at lnR = 1 and Ramachandran's 1/1.1131 at lnR = 1. Packet length of Sarmiento's scheme L_{Sar} or Ramachandran's scheme L_{Ram} can be considered as KL, which is similar to that of the BSTS scheme. Shown from Figure 13(a), the bandwidth share of Sarmiento's is somewhat superior to that of OSTS when the difference of arrival rates is high. Less cooperation among packets of two types shown in Equation (8) of [31] brings out higher transmission efficiency for pending packets are almost dominated by the higher rate nodes for high asymmetry, and fair characters are derived for node transmits all its packets smoothly once it obtains the channel. Bandwidth share of Sarmiento's is some superior to that of BSTS when the difference of arrival rates decreases. For high traffic load, node of Sarmiento's scheme gives up the whole current packet for unsuccessful transmission rather than transmitting failed fractions repeatedly which leads to transmission inefficient. Bandwidth share of Ramachandran's is somewhat inferior to those of BSTS and Sarmiento's when the difference of arrival rates is high for the scheme of Ramachandran's is essentially designed as a homogeneous scheme. We simply combine with another type of nodes in order to compare the performance with these schemes, which results in less behavior interaction with each other. The scheme fairness is also expressed by transmission probability which is presented in Figure 13(b).

Throughput comparisons are shown in Figure 14(a), and we find that throughput of Sarmiento's scheme is some superior to that of OSTS and BSTS when the heterogeneity decreases, such as in the case of |lnR| > 1.446 for OSTS and |lnR| > 2 for BSTS. When pending packets are dominated by one type of node with higher arrival rates, higher transmission efficiency is derived by Sarmiento's model for less cooperation between two types of nodes. When the heterogeneity increases, weaken cooperative transmission of Sarmiento's model brings out more collisions, and then throughput decreasing. Throughput of Ramachandran's scheme is always lower than that of BSTS, and is some superior to that of OSTS when the heterogeneity decreases to the case of lnR > 1.525 and lnR < −1.506 shown in Figure 14(a).

We find that delay metrics of OSTS and BSTS scheme are superior to those of Sarmiento's and Ramachandran's schemes from Figure 4(b) in three aspects. Normalized probability of Markov chain model is presented based on the single type of nodes rather than two types of nodes in Sarmiento's scheme, which leads to operating point parameters overestimation. Nodes transmit packets adopting independent transmission probability rather than the interacted one, which leads to the respective transmission probability underestimation. Moreover, idle process is simply presented by a fixed length rather than a queuing distribution and packet transmission is described without adopting the queuing theory, and we adopt the packet length L_{Sar} or L_{Ram} is simple expressed as KL which is a very large value for the IEEE 802.15.4 transmission scheme. Such a long packet transmission or retransmission consumes much waiting time for other pending packets, which leads to transmission inefficient and then delay increases. With the difference of arrival rate increasing which denotes traffic rate is relatively low, nodes in Ramachandran's scheme need to wait for a longer time to transmit the next frame since they shut down the radio for energy efficiency, resulting in more time consumption compared to the schemes OSTS/BSTS. With the difference of arrival rate decreasing, the time consumed for the radio switches decreases in Ramachandran's scheme, which results in the delay difference between Ramachandran's scheme and that of OSTS/BSTS decreasing.

Ramachandran's scheme consumes less energy than that of OSTS in the case of lnR < −1.672 for the total traffic rate is relatively low, which results in energy efficiency for the former scheme illustrated in Figure 14(c). With the difference of the traffic rate decreasing denoted traffic rate as relatively high, energy efficiency of Ramachandran's scheme decreases in that the receiver shuts down its radio frequently. Analysis results match well with simulation results seen from Figures 13 and 14.

We can find that the heterogeneous performance is improved greatly by adopting the novel schemes of OSTS/BSTS, in which the contending traffic, regardless of type, has no priority over each other. Delay and fairness of OSTS/BSTS are superior to those of other schemes, while throughput and energy efficiency are superior to others in more heterogeneous situations. In such a fair-required time-critical system, the schemes of OSTS/BSTS supply a satisfactory performance.

## 7. Conclusions

In this paper, two transmission schemes—OSTS and BSTS—are proposed to improve the performance of heterogeneous unsaturated networks. At first, accurate and comprehensive analyses for these two slotted CSMA/CA scheme using two semi-Markov and one macro-Markov models are made, along with a queuing model. These models contain a finite number of terminals and ideal channel, in which each node has a finite buffer capacity of K packets and each packet contains L units' backoff period. The probability of the buffer being empty at a departure is not the same with that of a random period, which has not been analyzed before under the heterogonous condition. Throughput, packet delay and energy consumption of heterogeneous and unsaturated networks are predicted, in which packets have non-preemptive priority over each other. Validity of the analytical model demonstrates that its predictions closely match the simulation results, and the heterogeneity and asymmetry play decisive roles on the performance. Homogeneous performance is also analyzed if the network transfers to symmetric condition. Moreover, performance comparisons between OSTS/BSTS schemes with other heterogeneous schemes are presented under fair transmission conditions. Analysis and simulation results demonstrate that our schemes improve the performance of service delay and contending fairness obviously, meanwhile, throughput and energy efficiency are improved largely at the most heterogeneous conditions.

Moreover, we should gain deep insights into several problems in our future works. We know that MAC sublayer needs a finite amount of time to process data received by the PHY. To allow for this, two successive frames transmitted from a device shall be separated by at least an InterFrame Spaces (IFS) period. If the first transmission requires an ACK, the separation between the ACK frame and the second transmission shall be at least an IFS period. Two frames are seldom transmitted successively from a device in these schemes and no ACK is contained in them, therefore, the IFS between two frames can be ignored in our OSTS/BSTS schemes. The IFS should be taken into account for the appropriate successive transmissions/receptions or ACK transmissions in the future studies. Then, it is worth noting that the CFP is considered as the solution to delay-sensitive applications such as video services, and this time-critical mean can be used for our real-time applications in the future. Also, the distances among nodes are relatively close, and the propagation signal effect can be omitted in our current representations. However, the nodes which are used to sense the quantities to be measured can be away from each other for larger distances, and several situations should be taken into considerations. Firstly, the propagation model should be included into the simulation results, which is a major deviation of the analysis and simulation results. Secondly, the distances among nodes go to such an extent as to transmit the packet in two or more hops, which brings out hidden terminals or more complicated pending problems. Furthermore, heterogeneous queues should be resolved by the relay nodes and the coordinator, respectively. Currently, our research focuses on such intractable multi-hop access problems, and we shall devote ourselves to study and then improve the behaviors of these multi-hop wireless sensor networks with buffered heterogeneous traffic in our forthcoming research.

## Acknowledgments

This work was supportted by the National Key Technology Research and Development Program of China (2006BAK03A17). We also wish to thank the anonymous reviewers for their valuable comments on our work.

## References

- IEEE Std 802.15.4-2006, Part 15.4: Wireless Medium Access Control (MAC) and physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (WPANs). Revision of IEEE Std 802.15.4-2003. Available online: http://ieeexplore.ieee.org/xpl/standards.jsp (accessed on 8 March 2012).
- Bianchi, G. Performance analysis of the IEEE 802.11 distributed coordination function. IEEE J. Sel. Areas Commun.
**2000**, 18, 535–547. [Google Scholar] - Park, T.R.; Kim, T.H.; Choi, J.Y.; Choi, S.; Kwon, W.H. Throughput and energy consumption analysis of IEEE 802.15.4 slotted CSMA/CA. IEEE Electron. Lett.
**2005**, 41, 1017–1019. [Google Scholar] - Pollin, S.; Ergen, M.; Ergen, S.; Bougard, B.; der Perre, L.; Moerman, I.; Bahai, A.; Varaiya, P.; Catthoor, F. Performance analysis of slotted carrier sense IEEE 802.15.4 medium access layer. IEEE Trans. Wirel. Commun.
**2008**, 9, 3359–3371. [Google Scholar] - Sahoo, P.K.; Sheu, J.P. Modeling IEEE 802.15.4 based wireless sensor network with packet retry limits. Proceedings of the 5th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Vancouver, BC, Canada, October 2008; pp. 63–70.
- Park, P.; di Marco, P.; Soldati, P.; Fischione, C. A generalized markov chain model for effective analysis of slotted IEEE 802.15.4. Proceedings of the IEEE 6th International Conference on Mobile Ad Hoc and Sensor Systems (MASS '09), Macau, China, October 2009; pp. 130–139.
- Sahoo, P.K.; Sheu, J.P.; Chang, Y.C. Performance evaluation of wireless sensor network with hybrid channel access mechanism. J. Netw. Comput. Appl.
**2009**, 32, 878–888. [Google Scholar] - Singh, C.K.; Kumar, A.; Ameer, P.M. Performance evaluation of an IEEE 802.15.4 sensor network with a star topology. Wirel. Netw.
**2008**, 14, 543–568. [Google Scholar] - Buratti, C.; Verdone, R. A mathematical model for performance of IEEE 802.15.4 beacon-enabled mode. Proceeding of the International Conference on Wireless Communications and Mobile Computing, Leipzig, Germany, June 2008; pp. 1184–1190.
- Buratti, C.; Verdone, R. Performance analysis of IEEE 802.15.4 non-beacon enabled mode. IEEE Trans. Veh. Technol.
**2009**, 58, 3480–3493. [Google Scholar] - Mišić, J.; Shafi, S.; Mišić, V.B. Performance of a beacon enabled IEEE 802.15.4 cluster with downlink and uplink traffic. IEEE Trans. Parallel Distrib. Syst.
**2006**, 17, 361–376. [Google Scholar] - Ramachandran, I.; Das, A.K.; Roy, S. Analysis of the contention access period of IEEE 802.15.4 MAC. ACM Trans. Sens. Netw.
**2007**, 3, 1–29. [Google Scholar] - Martalò, M.; Busanelli, S.; Ferrari, G. Markov chain-based performance analysis of multihop IEEE 802.15.4 wireless networks. Perform. Eval.
**2009**, 66, 722–741. [Google Scholar] - Li, X.Y.; Hunter, D.K. Four-dimensional Markov chain model of single-hop data aggregation with IEEE 802.15.4 in wireless sensor networks. In Wirel. Netw.; 2012. [Google Scholar] [CrossRef]
- Shu, F.; Sakurai, T. A new analytical model for the IEEE 802.15.4 CSMA-CA protocol. Comput. Netw.
**2011**, 55, 2576–2591. [Google Scholar] - Kim, N.K.; Chae, K.C.; Chaudhry, M.L. An invariance relation and a unified method to derive stationary queue-length distributions. Oper. Res.
**2004**, 52, 756–764. [Google Scholar] - Chang, S.H.; Choi, D.W. Performance analysis of a finite-buffer discrete-time queue with bulk arrival, bulk service and vacations. Comput. Oper. Res.
**2005**, 32, 2213–2234. [Google Scholar] - Yi, X.W.; Kim, N.K.; Yoon, B.K.; Chae, K.C. Analysis of the queue-length distribution for the discrete-time batch-service Geo/G
^{a,Y}/1/Y queue. Eur. J. Oper. Res.**2007**, 181, 787–792. [Google Scholar] - Tickoo, O.; Sikdar, B. Modeling queuing and channel access delay in unsaturated IEEE 802.11 random access MAC based wireless networks. IEEE/ACM Trans. Netw.
**2008**, 16, 878–891. [Google Scholar] - Bisnik, N.; Abouzeid, A.A. Queueing network models for delay analysis of multihop wireless ad hoc networks. Ad Hoc Netw.
**2009**, 7, 79–97. [Google Scholar] - Özdemir, M.; McDonald, A.B. On the performance of ad hoc wireless LANs: A practical queuing theoretic model. Perform. Eval.
**2006**, 63, 1127–1156. [Google Scholar] - Walraevens, J.; Steyaert, B.; Bruneel, H. Delay characteristics in discrete-time GI-G-1 queues with nonpreemptive priority queueing discipline. Perform. Eval.
**2002**, 50, 53–75. [Google Scholar] - Kamoun, F. Performance analysis of a non-preemptive priority queuing system subjected to a correlated Markovian interruption process. Comput. Oper. Res.
**2008**, 35, 3969–3988. [Google Scholar] - Mišic, J.; Shafi, S.; Mišic, V.B. Access delay for nodes with finite buffers in IEEE 802.15.4 beacon enabled pan with uplink transmission. Comput. Commun.
**2005**, 28, 1152–1166. [Google Scholar] - Alazemi, H.M.K.; Margolis, A.; Choi, J.; Vijaykumar, R.; Roy, S. Stochastic modeling and analysis of 802.11 DCF with heterogeneous non-saturated nodes. Comput. Commun.
**2007**, 30, 3652–3661. [Google Scholar] - Ndih, E.D.N.; Khaled, N.; de Micheli, G. An analytical model for the contention access period of the slotted IEEE 802.15.4 with service differentiation. Proceedings of the IEEE International Conference on Communications 2009, Dresden, Germany, June 2009; pp. 1–6.
- Kim, M.; Kang, C.H. Priority-based service differentiation scheme for IEEE 802.15.4 sensor networks in non-saturation environments. IEEE Trans. Veh. Technol.
**2010**, 99, 1–10. [Google Scholar] - Malone, D.; Duffy, K.; Leith, D.J. Modeling the 802.11 distributed coordination function in non-saturated heterogeneous conditions. IEEE/ACM Trans. Netw.
**2007**, 15, 159–172. [Google Scholar] - Shrestha, B.; Hossain, E.; Camorlinga, S. IEEE 802.15.4 MAC with GTS transmission for heterogeneous devices with application to wheelchair body-area sensor networks. IEEE Trans. Inf. Technol. Biomed.
**2011**, 15, 767–777. [Google Scholar] - Mhatre, V.P.; Rosenberg, C.; Kofman, D.; Mazumdar, R.; Shroff, N. A minimum cost heterogeneous sensor network with a lifetime constraint. IEEE Trans. Mob. Comput.
**2005**, 4, 4–15. [Google Scholar] - Sarmiento, G.; Grote, W.; Al Agha, K. Performance analysis of slotted CSMA/CA IEEE 802.15.4 with heterogeneous no-acknowledged uplink traffic. Proceedings of the 3rd International Conference on New Technologies, Mobility and Security (NTMS '09), Cairo, Egypt, December 2009; pp. 1–5.
- Xia, M.; Dong, Y.; Lu, D. W-MAC: A workload-aware MAC protocol for heterogeneous convergecast in wireless sensor networks. Sensors
**2011**, 11, 2505–2524. [Google Scholar] - Kim, E.-J.; Shon, T.; Park, J.J.H.; Jeong, Y.-S. Throughput fairness enhancement using differentiated channel access in heterogeneous sensor networks. Sensors
**2011**, 11, 6629–6644. [Google Scholar] - Nefzi, B.; Song, Y.Q. QoS for wireless sensor networks: Enabling service differentiation at the MAC sub-layer using CoSenS. Ad Hoc Netw.
**2012**, 10, 680–695. [Google Scholar] - Garcia-Sanchez, A.J.; Garcia-Sanchez, F.; Garcia-Haro, J.; Losilla, F. A cross-layer solution for enabling real-time video transmission over IEEE 802.15.4 networks. Multimed. Tools Appl.
**2011**, 51, 1064–1104. [Google Scholar] - Afonso, J.A.; Silva, H.D.; Macedo, P.; Rocha, L.A. An enhanced reservation-based MAC protocol for IEEE 802.15.4 networks. Sensor
**2011**, 11, 3852–3873. [Google Scholar] - Bharghavan, V.; Demers, A.; Shenker, S.; Zhang, L. MACAW: A media access protocol for wireless LAN's. Proceedings of the Conference on Communications Architectures, Protocols and Applications, London, UK, September 1994; pp. 212–225.
- Lee, T.T. M/G/1/N queue with vacation time and exhaustive service discipline. Oper. Res.
**1984**, 32, 774–784. [Google Scholar] - Rubin, I.; Wu, J.C.H. Analysis of an M/G/l/N queue with vacations and its iterative application to FDDI timed-token rings. IEEE/ACM Trans. Netw.
**1995**, 3, 842–856. [Google Scholar] - He, C.G.; Sha, X.J. An energy-efficient message passing approach in MAC design for wireless sensor networks. Proceedings of the 4th IEEE International Conference on Circuits and Systems for Communications, Shanghai, China, May 2008; pp. 550–554.
- Koubaa, A.; Alves, M.; Tovar, E. A comprehensive simulation study of slotted CSMA/CA for IEEE 802.15.4 wireless sensor networks. Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS '06), Torino, Italy, 30 June 2006; pp. 183–192.
- Miskowicz, M. Analysis of mean access delay in variable-window CSMA. Sensors
**2007**, 7, 3535–3559. [Google Scholar] - The Network Simulator (NS-2). Available online: http://www.isi.edu/nsnam/ns/ (accessed on 8 March 2012).
- Zheng, J.; Lee, J.M. A comprehensive performance study of IEEE 802.15.4. In Sensor Network Operations; IEEE Press, Wiley Interscience: Hoboken, NJ, USA, 2006; pp. 218–237. [Google Scholar]

**Figure 2.**Markov chain model for slotted IEEE 802.15.4 CSMA/CA scheme. If a tagged node has packets to transmit at the next backoff slot with the probability P

_{in}, the node can access the channel with the slotted IEEE 802.15.4 CSMA/CA scheme. P

_{in}refers to the probability of P

_{1}or P

_{2}. After random delay in range [0, W

_{0}− 1], the node can perform CCA1 with a probability of τ

_{n}(n = 1, 2). It is denoted that probabilities τ

_{1,2}located in the end of backoff is to demonstrate the paralleled access behavior of the different types of nodes since all nodes regardless of types must perform the backoff process.

**Figure 3.**Macroscopic state transitions for OSTS scheme. Outputs within these blocks are those one-to-one corresponding outputs in Figure 2. A node goes to sleep with a probability of μ

_{0}

_{n}(n = 1, 2) after a transmission if its buffer is empty in the three situations: end of successful transmission, reaching maximum backoff stage or reaching retry limits, and it goes to another packet transmission with a probability of 1 − μ

_{0}

_{n}if it has other pending packets in these three situations. Channel keeps idle or sleeping with a probability of P

_{0}if there is no any packet in any node. Nodes have packets to transmit at the next backoff slot with probabilities P

_{1}and P

_{2}for N

_{1}and N

_{2}, respectively.

**Figure 4.**Macroscopic state transitions for BSTS scheme. Outputs within these blocks are those one-to-one corresponding outputs in Figure 2. A node goes to sleep with a probability of one after all packets transmitted with a burst way at three situations: end of successful transmission, reaching maximum backoff stage or reaching retry limits. Channel keeps idle state with probability of P

_{0}if there is no any packet in any node. Nodes have packets to transmit at the next backoff slot with probabilities P

_{1}and P

_{2}for N

_{1}and N

_{2}, respectively.

**Figure 5.**The behavior of parameters α, β and τ

_{n}(n = 1, 2) in heterogeneous system. (

**a**) Relations of α with lnR; (

**b**) Relations of β with lnR; (

**c**) Relations of τ

_{1}with lnR; (

**d**) Relations of τ

_{2}with lnR.

**Figure 6.**The relation between the tagged packet and the header packet in one tagged buffer. After a tagged packet arrives at the tagged queue, it has a distance l away from the header packet. It should wait for the time to be transmitted, which contains three parts.

**Figure 7.**Throughput as a function of λ

_{1}/λ

_{2}for fixed loads; (

**a**) Normalized throughput of the most heterogeneous condition for a size of N = 10; (

**b**) Normalized throughput for the most heterogeneous network of a size of N = 25; (

**c**) Normalized throughput for the least heterogeneous network of a size of N = 25.

**Figure 8.**Delay as a function of λ

_{1}/λ

_{2}for fixed loads. (

**a**) Mean delay for a size of N = 10; (

**b**) Mean delay for the most heterogeneous network of a size of N = 25; (

**c**) Mean delay for the least heterogeneous network of a size of N = 25.

**Figure 9.**Delay for each system size of N

_{1}as a function of λ

_{1}/λ

_{2}for fixed loads. (

**a**) Delay for a size of N = 10; (

**b**) Delay for the most heterogeneous network of a size of N = 25; (

**c**) Delay for the least heterogeneous network of a size of N = 25.

**Figure 10.**Delay for each system size of N

_{2}as a function of λ

_{1}/λ

_{2}for fixed loads. (

**a**) Delay for a size of N = 10; (

**b**) Delay for the most heterogeneous network of a size of N = 25; (

**c**) Delay for the least heterogeneous network of a size of N = 25.

**Figure 11.**Energy consumption as a function of λ

_{1}/λ

_{2}for fixed loads. (

**a**) Energy consumption for a size of N = 10; (

**b**) Energy consumption for the most heterogeneous network of a size of N = 25; (

**c**) Energy consumption for the least heterogeneous network of a size of N = 25.

**Figure 12.**Performance when λ

_{1}/λ

_{2}. (

**a**) Relations of throughput with buffer size and traffic rate; (

**b**) Relations of mean delay with buffer size and traffic rate; (

**c**) Relations of energy consumption with buffer size and traffic rate.

**Figure 13.**(

**a**) Bandwidth share comparisons for four schemes using throughput metric. (

**b**) Bandwidth share comparisons for four schemes using transmission probability metric.

**Figure 14.**(

**a**) Throughput comparisons for different schemes; (

**b**) Mean delay comparisons for different schemes; (

**c**) Energy consumption comparisons for different schemes.

aNumSuperframeSlots | 960 symbols | L_{data} (Packet length) | 2,240 μs |

aUnitBackoffPeriod | 20 symbols | T_{CCA} (Time for CCA) | 640 μs |

aBaseSlotDuration | 60 symbols | T_{slot} (Slot duration) | 320 μs |

DataRate | 250 kbps | T_{ta} (Turnaround time) | 12 symbols |

P_{TX} | 17.4 mA | P_{RX} | 19.7 mA |

P_{CCAs} _{(inte}_{rval}_{)} | 18.5 mA | P_{ta} | 18.5 mA |

© 2012 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).