- Research Article
- Open Access
Decentralized Detection in IEEE 802.15.4 Wireless Sensor Networks
© Marco Martalò et al. 2010
- Received: 18 February 2010
- Accepted: 23 August 2010
- Published: 29 August 2010
We present a mathematical model to study decentralized detection in clustered wireless sensor networks (WSNs). Sensors and fusion centers (FCs) are distributed with the aim of detecting an event of interest. Sensors are organized in clusters, with FCs acting as cluster heads, and are supposed to observe the same common binary phenomenon. A query-based application is accounted for; FCs periodically send queries and wait for replies coming from sensors. After reception of data, FCs perform data fusion with a majority-like fusion rule and send their decisions to an access point (AP), where a final data fusion is carried out and an estimate of the phenomenon is obtained. We assume that sensors are IEEE 802.15.4-compliant devices and use the medium access control (MAC) protocol defined by the standard, based on carrier-sense multiple access with collision avoidance. Decentralized detection and MAC issues are jointly investigated through analytical modelling. The proposed framework allows the derivation of the probability of decision error at the AP, when accounting for packets' losses due to possible collisions. Our results show that MAC losses strongly affect system performance. The impact of different clustering configurations and of noisy communications is also investigated.
- Wireless Sensor Network
- Medium Access Control
- Access Point
- Medium Access Control Protocol
- Decision Error
Wireless sensor networks (WSNs) have become an interesting research topic, both in military and civilian scenarios . Remote environmental monitoring, such as surveillance of reserved areas, are important fields of application of WSNs. These applications often require very low-power consumption, low-cost hardware , and clustering has been proposed as a possible approach for saving energy. As an example, when contention-based medium access control (MAC) protocols are used, splitting nodes in small clusters not interfering among them allows to decrease the time needed for accessing the channel and, therefore, the energy consumed. In fact, the smaller is the number of nodes competing for the channel, the lower will be the probability to find the channel busy and to delay transmissions. The increasing interest for WSNs has spurred a significant activity on the design of efficient distributed detection techniques, allowing to efficiently detect a physical phenomenon of interest, while keeping the node complexity as low as possible [3–7].
We consider a network performing a specific decentralized detection task: sensor nodes (hereafter denoted as sensors) observe a binary phenomenon that is spatially constant, meaning that each sensor observes (neglecting observation noise) the same value of the phenomenon. Nodes are grouped into clusters and directly connected with local fusion centers (FCs), one per cluster, which send periodic queries to simultaneously poll all sensors in a cluster. The majority-like distributed detection strategy used in this paper leads to estimate the phenomenon status which is observed by the majority of the sensors. This is meaningful, for example, when it is of interest to detect if the phenomenon under observation (e.g., temperature, humidity, pressure, presence of a dangerous gas, etc.) overcomes a critical threshold.
In , a general framework on decentralized detection in clustered WSNs, accounting for communication noises and different clustered topologies, is presented. This analysis was carried out by considering an ideal MAC protocol, that is, in the absence of collisions. In this paper, we extend this approach to scenarios where collisions and MAC failures may occur due to the contention-based nature of the channel access mechanism. The impact of the MAC protocol on decentralized detection in clustered WSNs is analyzed. To the best of the authors' knowledge, there are no works, in the literature, dealing with distributed detection and contention-based MAC protocols jointly. As reference standard for the MAC, we consider the IEEE 802.15.4 . However, the framework presented here can be extended to any MAC protocol.
IEEE 802.15.4 standard refers to a short-range wireless technology intended for Personal Area Networks (PANs). According to the standard, sensors use a carrier-sense multiple access with collision avoidance (CSMA/CA) protocol to access the channel. A recently proposed mathematical model for IEEE 802.15.4 networks is used in this paper to evaluate the Packet Success Probability (PSP), that is, the probability that a sensor can transmit correctly its packet (i.e., without collisions) to the PAN coordinator, when competing with the other sensors in the network [10, 11]. Even though in the literature there exist some models for the IEEE 802.15.4 MAC protocol [12–15], none of these can be applied to query-based applications, where sensors have only one packet per query to be transmitted [10, 11]. All the above mentioned models, in fact, assume that packets transmitted from different sources collide with constant and independent probabilities, regardless of the backoff stage. However, this assumption is not accurate for query-based applications, where the number of sensors accessing the channel varies over time. Moreover, some of these models (e.g., [12, 14]) do not show a good agreement with simulation results. The model used in the current paper, instead, has been validated through simulations [10, 11] and experimental measurements .
Both uniform and nonuniform clustering configurations are analyzed. Our results show a strong impact of the IEEE 802.15.4 MAC protocol on the system performance. While in the case of ideal MAC the best performance is obtained in the absence of clustering, on the opposite, when MAC collisions are considered, splitting sensors in noninterfering clusters allows reducing collisions within clusters and leads to better performance. Finally, the presence of noisy communication links between the sensors and the FCs is considered and its relative impact, with respect to MAC collisions, is analyzed.
The paper is structured as follows. In Section 2, the mathematical framework for decentralized detection is presented. Section 3 describes the IEEE 802.15.4 MAC protocol. In Section 4, a new mathematical model, accounting for decentralized detection and MAC issues jointly, is derived. Finally, Sections 5 and 6 report numerical results and concluding remarks, respectively.
2.1. Preliminaries on Decentralized Detection
In this section, we provide the reader with a few preliminaries on decentralized detection of a common binary phenomenon in the presence of an ideal (collision-less) MAC protocol .
where , being with the probability that the event happens. The sensors are clustered into groups, and each sensor can communicate only with its local FC. The groups may have either the same or different dimensions, depending on the distribution of the sensors among the clusters. In the former case, clustering is referred to as uniform whereas in the latter the topology is referred to as nonuniform.
The FCs collect data from the sensors in their corresponding clusters and make local decisions on the status of the binary phenomenon. Each local FC then transmits to the AP, which makes the final decision. A logical representation of the overall considered architecture is shown in Figure 1(a), whereas Figure 1(b) shows a more detailed view of a scenario with a single cluster and the AP.
Each sensor makes a decision comparing its observation with a threshold value (the same at all sensors, for simplicity) and computes a local decision , where is the unit step function. In particular, is equal to .
In a scenario with noisy communication links, simply modeled as binary symmetric channels (BSCs), the decision sent by the th sensor can be flipped with a probability corresponding to the cross-over probability of the BSC model and denoted as . This simplified model is accurate only in the presence of additive communication noise, without other impairments, such as intersymbol interference and path loss. For instance, when additive white Gaussian noise (AWGN) and binary phase shift keying are considered, it holds that , where is the channel SNR and . The received bit at the FC can be expressed as with probability , and with probability .
where are the binary data ( ) to be fused together and is the decision threshold.
By denoting the number of sensors in the th cluster as ( ), the following decision thresholds will be set: (i) is the decision threshold at the th FC with size ; (ii) is the decision threshold at the AP. In the presence of uniform clustering, for all .
Note that in the absence of clustering, the overall network architecture shown in Figure 1(a) collapses into a single cluster and the AP coincides with the corresponding cluster FC.
2.2. Probability of Decision Error at the AP
When an ideal (collision-less) MAC protocol is considered, the number of data packets received at an FC is equal to the number of sensors in the corresponding cluster, since no losses at MAC level occur. We denote by the -dimensional vector containing the number of decisions received at the FCs.
where ( , resp.) is the probability that the -th FC ( ) decides for when ( , resp.) has happened. The elements of (equivalently, the elements of ) are, in general, different from each other and depend on the particular distribution of the sensors among the clusters. We first consider ideal communication links between the sensors and the FCs. Note that in this case an error may still occur due to the quantization of the sensors' observations and the fusion operation performed by the FCs.
where is the vector of FCs' decisions. The index designates the th configuration, over the possible, with "1"s (and, obviously, "0"s). For example, is the second possible configuration with one "1" (and two "0s"); the "1" is the decision of the second FC. The rationale behind (7) is the following. The first summation at the right-hand side of (7) represents the probability that the AP decision on the phenomenon status is in favor of and is the true status. This happens when at least (over decisions coming from the FCs) are in favor of , due to the majority-like fusion rule. Similarly, the second summation at the right-hand side of (7) represents the probability that the AP decision on the phenomenon status is in favor of and is the true status. This happens when less than (over decisions coming from the FCs) are in favor of .
where depends on the number of packets received at the -th FC. Since the same majority-like fusion rule of the AP is applied to each FC, the same considerations given above for still apply here for the value of .
At the left-hand side of (13), we have explicitly indicated that depends on the observation quality (i.e., ) and the communication quality (i.e., ).
We consider a network composed of IEEE 802.15.4-compliant sensors, working in beacon-enabled mode . Each FC coincides with a PAN coordinator, receiving data from sensors belonging to its PAN (i.e., its cluster). We assume that the different clusters use the same frequency channel, but different resources in terms of time. In other words, a time division between clusters is applied, so that sensors of different clusters do not interfere among them. We evaluate performance by fixing the total time made available to all sensors in the network (i.e., all the clusters) for transmitting data to the FCs. This means that performance is evaluated under a total achievable throughput constraint. In this section, we consider an illustrative cluster composed of (IEEE 802.15.4) sensors transmitting data to the FC. We assume that no connectivity problems exist; each sensor can receive the query (i.e., the beacon packets) from the FC and reach it. Nodes transmit packets with size bytes, being an integer parameter.
Time division between clusters is performed as follows. The application sets the value of , that is the total time made available to the network for transmissions from sensors to FCs. If the AP does not know the clusters size, it allocates the same resource to all the clusters, that is the same value of . In particular, is set accordingly to the value of and the number of clusters, such that all clusters have a portion of the beacon interval allocated. If, instead, the AP is aware of the network topology, it may allocate resources according to the number of sensors in each cluster. In this case, the AP assigns different values of according to the clusters' sizes; the smaller the cluster, the smaller the value of assigned to it. Both the above mentioned resource allocation strategies will be considered in Section 5. The AP communicates to the FCs the values of and and the instant in which the superframe of each FC must start. In this way, the active parts of the superframes defined by the different FCs will not overlap and during transmissions within a given cluster, sensors belonging to the other clusters will be in sleeping mode, being in the inactive part of the superframe of their FCs (see Figure 2). According to our application, each FC will send periodic queries, starting from the instant provided by the AP, and will wait for decisions coming from sensors. The application also requires that the data must be received by the FC by the end of the active part of the superframe defined by the FC. Therefore, each sensor has one packet to be transmitted per beacon received and has to transmit it by the end of the active part of the superframe defined by its FC.
In [10, 11], a mathematical model for the IEEE 802.15.4 MAC protocol in beacon-enabled mode is introduced. This model describes the behavior of a sensor accessing the channel by using the slotted CSMA/CA algorithm and allows the evaluation of the PSP, denoted, hereafter, as , and representing the probability that a sensor transmits successfully the packet to its FC by the end of the active part of the superframe of its FC. A packet could be lost due to the following reasons: (i) a collision, (ii) the channel is sensed busy more than five consecutive times , (iii) the available time ends before the channel is sensed idle. Note that retransmissions are not allowed in our scenario.
In this section, we derive an analytical framework for the computation of the probability of decision error in the presence of the IEEE 802.15.4 MAC protocol. Each FC will receive a number of decisions smaller than the number of sensors in the cluster, owing to the contention-based nature of the protocol, that may cause collisions.
Equation (13) needs to be modified to take into account the presence of a nonideal MAC protocol, characterized, concisely, by .
Being the PSP in a scenario with competing sensors in a cluster and assuming that all transmissions are independent, it follows that the number of successful transmissions in the -th cluster can be modeled as a binomial random variable, denoted as ( ), with parameters and . Referring to the analysis in Section 2, the -dimensional vector, with the numbers of decisions received by the FCs, is a random vector . ( The symbol was used in Section 2.2 for a deterministic vector. With an abuse of notation, it now refers to a random vector. The context eliminates any ambiguity.) Note that even through the clusters are uniform, the number of decisions received at the FCs may vary from cluster to cluster, being such number a random variable. Therefore, the true clustering configuration is nonuniform.
where we have used the fact that , regardless of the (uniform) clustering configuration. It can be observed that expression (18) for is a decreasing function of the number of clusters. On the opposite, in a scenario with an ideal MAC protocol, this limiting probability does not depend on . As an example, in the case , , , when no clustering is applied, will be equal to (see Figure 5(b)). By increasing the number of clusters, gets larger and, therefore, the floor appears at very small (and not practical) values of the probability of decision error (e.g., in the case with eight uniform clusters we have ). Finally, note that the limiting probability (17) equals to zero for any unbalanced configuration with at least one cluster with one sensor. In this case, in fact, the sensor directly connected to its FC always accesses the channel and, therefore, there is always at least one correct decision (sent by the corresponding FC to the AP) on the basis of which the AP can correctly estimate the phenomenon status.
We now investigate the performance of the proposed decentralized detection schemes. In particular, in the presence of IEEE 802.15.4 MAC protocol the value of is determined offline, for a given clustering configuration, by using the analytical framework presented in Section 3. The obtained value is then used in (15) and in our simulator. In particular, our simulator is designed "ad hoc" as follows. The transmissions from the sensors to the FCs are represented as Bernoulli trials, each with parameter . On the basis of the received packets in their cluster, the FCs perform a data fusion (with decision threshold set according to the number of received packets) and transmit their decisions to the AP. Since each sensor must send only its decision (i.e., one bit) and since the model requires that sensors transmit packets of size multiple of 10 bytes , being the packet header equal to 19 bytes, we set , that is, packets of 20 bytes are transmitted. In the following, we set and the MAC parameters to the default values (see ). We first consider uniform resources allocation among clusters. Then, in Figure 7, we extend our approach to a scenario where resources are allocated accordingly to the cluster size. Note that in the first case, uniform clustering will be favored with respect to the nonuniform case, since resources will be better used. By the way, in scenarios where the AP is not aware of the network topology, only the uniform resource allocation can be implemented.
Unless otherwise stated, we set and (apart from Figure 7) we set (i.e., we give to the cluster all the available time) when ; (i.e., two nonoverlapping active parts within the beacon interval are present) when ; when and 4; when and 8. Note that in the cases and part of the beacon interval is not used by any cluster and, therefore, some resources are wasted, due to the constraint that must be an integer.
As expected, a good agreement between simulations and analytical results was found in both cases. In fact, the analysis carried out in Section 4 is exact and the simulator is implemented by exactly replicating the analysis conditions. In other words, this is a "sanity check," which allows us to use the simulator, especially to avoid numerical problems in the evaluation of the analytical formulas.
In Figure 5, the probability of decision error is shown, as a function of the sensor SNR, for different clustering configurations. No noisy communication links are accounted for and ideal MAC is considered in case (a) whereas the IEEE 802.15.4 MAC protocol is accounted for in case (b). The use of the IEEE 802.15.4 MAC protocol leads to a performance degradation with respect to the case of ideal MAC. The highest degradation is achieved with no clustering, since in this case a large number of sensors are competing for the radio resource. The best configuration, in the case with IEEE 802.15.4 MAC protocol is achieved for , where only eight sensors per cluster are competing for the channel, and even though (i.e., sensors have only approx. 15 ms to access the channel), the success probability is the largest. By comparing curves in (a) and (b) we can observe that, while distributed detection is mainly affected by the uniformity or nonuniformity of clusters, rather than by the number of clusters itself, MAC losses strongly depend on the value of . In fact, while in the ideal case the performance of uniform clustering does not depend on the specific configuration, this is no longer true in the presence of contention-based MAC protocols. Moreover, note that the case (40-8-8-8) outperforms the case (32-8-8-8-8), since even though more sensors are competing for the channel (in the largest cluster), sensors have more time to access the channel (i.e., instead of 0). In fact, we have in the cluster with 40 sensors and , and in the cluster with 32 sensors and . This means that the best performance is achieved when a good balance between the number of sensors competing for the channel and the time made available to sensors for transmissions is reached.
In Figure 7, we show the performance achieved when resources (in terms of time) are allocated to clusters depending on their size. In particular, we set and we allocate to clusters with 8 sensors, to clusters with 16 sensors, to clusters with 32 sensors, and to the nonclustering case. In this way, the resource available to each cluster is proportional to the cluster size and also no resources are wasted for the considered set of network topologies. As expected, the performance of the nonuniform cases slightly improve with respect to those with uniform resource allocation (see, e.g., the case (32-8-8-8-8) present in both the figures). In particular, when the weighing strategy is applied, the results related to the nonuniform scenarios are approximatively the same. However, uniform configurations are still to be preferred.
In this paper, we have proposed a mathematical framework to study decentralized detection in IEEE 802.15.4 WSNs. In particular, on the basis of an analytical computation of the probability that a packet is correctly received at the destination when the IEEE 802.15.4 MAC protocol is used, we have evaluated the impact of the MAC protocol on a decentralized detection strategy. This analysis has been carried out considering different clustered topologies. Results show that the MAC protocol has a relevant impact on the performance. In particular, while the absence of clustering guarantees the best performance of a decentralized detection strategy, in the presence of an ideal MAC, this leads to the worst performance with the 802.15.4 MAC protocol. In the latter case, in fact, splitting sensors in clusters noninterfering among them, leads to decreasing the collision probability and, therefore, the error probability on the decision. Finally, the presence of communication noise increases the probability of decision error floor induced by the MAC protocol, and this degradation is more pronounced, the higher is the nonuniformity degree among the clusters.
- Akyildiz IF, Su W, Sankarasubramaniam Y, Cayirci E: A survey on sensor networks. IEEE Communications Magazine 2002, 40(8):102-114. 10.1109/MCOM.2002.1024422View ArticleGoogle Scholar
- Madou M: Fundamentals of Microfabrication. CRC Press, Boca Raton, Fla, USA; 1997.Google Scholar
- Tsitsiklis JN: Advances in statistical signal processing. In Decentralized Detection. Volume 2. Edited by: Poor HV, Thomas JB. JAI Press, Greenwich, Conn, USA; 1993: 297-344.Google Scholar
- Tenney RR, Sandell NR Jr.: Detection with distributed sensors. IEEE Transactions on Aerospace and Electronic Systems 1981, 17(4):501-510.MathSciNetView ArticleGoogle Scholar
- Reibman AR, Nolte LW: Design and performance comparison of distributed detection networks. IEEE Transactions on Aerospace and Electronic Systems 1987, 23(6):789-797.MathSciNetView ArticleGoogle Scholar
- Viswanathan R, Varshney PK: Distributed detection with multiple sensors: part I—fundamentals. Proceedings of the IEEE 1997, 85(1):54-63. 10.1109/5.554208View ArticleGoogle Scholar
- Chamberland J-F, Veeravalli VV: Decentralized detection in sensor networks. IEEE Transactions on Signal Processing 2003, 51(2):407-416. 10.1109/TSP.2002.806982View ArticleGoogle Scholar
- Ferrari G, Martalò M, Pagliari R: Decentralized detection in clustered sensor networks. IEEE Transactions on Aerospace and Electronic Systems. In pressGoogle Scholar
- IEEE 802.15.4 Standard : Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low- Rate Wireless Personal Area Networks (LR-WPANs). Piscataway, New Jersey, 08855-1331: IEEE, 2006, http://standards.ieee.org/getieee802/802.15.html
- Buratti C: A mathematical model for performance of IEEE 802.15.4 beacon-enabled mode. Proceedings of International Conference on Wireless Communications and Mobile Computing (IWCMC '09), June 2009, Leipzig, Germany 1184-1190.Google Scholar
- Buratti C, Verdone R: Performance analysis of IEEE 802.15.4 non beacon-enabled mode. IEEE Transactions on Vehicular Technology 2009, 58(7):3480-3493.View ArticleGoogle Scholar
- Mišić J, Shafi S, Mišić VB: Maintaining reliability through activity management in an 802.15.4 sensor cluster. IEEE Transactions on Vehicular Technology 2006, 55(3):779-788. 10.1109/TVT.2006.873824View ArticleGoogle Scholar
- Pollin S, Ergen M, Ergen S, et al.: Performance analysis of slotted carrier sense IEEE 802.15.4 medium access layer. IEEE Transactions on Wireless Communications 2008, 7(9):3359-3371.View ArticleGoogle Scholar
- Chen Z, Lin C, Wen H, Yin H: An analytical model for evaluating IEEE 802.15.4 CSMA/CA protocol in low rate wireless application. Proceedings of the International Conference on Advanced Information Networking and Applications Workshops (AINAW '07), May 2007, Niagara Falls, Ontario, Canada 899-904.View ArticleGoogle Scholar
- Martalò M, Busanelli S, Ferrari G: Markov Chain-based performance analysis of multihop IEEE 802.15.4 wireless networks. Performance Evaluation 2009, 66(12):722-741. 10.1016/j.peva.2009.08.011View ArticleGoogle Scholar
- Gezer C, Buratti C, Verdone R: Capture effect in IEEE 802.15.4 networks: modelling and experimentation. Proceedings of the IEEE International Symposium on Wireless Pervasive Computing, May 2010, Modena, Italy 204-209.Google Scholar
- Shi W, Sun TW, Wesel RD: Quasi-convexity and optimal binary fusion for distributed detection with identical sensors in generalized Gaussian noise. IEEE Transactions on Information Theory 2001, 47(1):446-450. 10.1109/18.904560MathSciNetView ArticleMATHGoogle Scholar
- Ferrari G, Pagliari R: Decentralized binary detection with noisy communication links. IEEE Transactions on Aerospace and Electronic Systems 2006, 42(4):1554-1563.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.