About this Journal Submit a Manuscript Table of Contents
Mathematical Problems in Engineering
VolumeΒ 2012Β (2012), Article IDΒ 743728, 19 pages
http://dx.doi.org/10.1155/2012/743728
Research Article

An Immune Cooperative Particle Swarm Optimization Algorithm for Fault-Tolerant Routing Optimization in Heterogeneous Wireless Sensor Networks

1College of Information Sciences and Technology, Donghua University, Shanghai 201620, China
2Engineering Research Center of Digitized Textile and Fashion Technology, Ministry of Education, Donghua University, Shanghai 201620, China

Received 26 May 2011; Accepted 3 August 2011

Academic Editor: JinlingΒ Liang

Copyright Β© 2012 Yifan Hu et al. 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.

Abstract

The fault-tolerant routing problem is important consideration in the design of heterogeneous wireless sensor networks (H-WSNs) applications, and has recently been attracting growing research interests. In order to maintain π‘˜ disjoint communication paths from source sensors to the macronodes, we present a hybrid routing scheme and model, in which multiple paths are calculated and maintained in advance, and alternate paths are created once the previous routing is broken. Then, we propose an immune cooperative particle swarm optimization algorithm (ICPSOA) in the model to provide the fast routing recovery and reconstruct the network topology for path failure in H-WSNs. In the ICPSOA, mutation direction of the particle is determined by multi-swarm evolution equation, and its diversity is improved by immune mechanism, which can enhance the capacity of global search and improve the converging rate of the algorithm. Then we validate this theoretical model with simulation results. The results indicate that the ICPSOA-based fault-tolerant routing protocol outperforms several other protocols due to its capability of fast routing recovery mechanism, reliable communications, and prolonging the lifetime of WSNs.

1. Introduction

The complex networks have attracted growing research interests in topology structure and dynamic problems. Many kinds of system can be described with the complex network model, and these models are constructed by several nodes connected with each other, such as the Internet and the wireless sensor networks (WSNs). Due to the ability of collecting data from the environment and reporting it back to the sink without human supervision [1, 2], WSNs, especially heterogeneous ones, have come to pervade every aspect of our lives, such as habitat monitoring, industrial sensing, and traffic control [3–5]. The heterogeneous WSNs always deploy an appropriate number of heterogeneous wireless sensor nodes (called macronodes), which contain devices with more capabilities, storage space, and energy than ordinary nodes. They cannot only improve the success rate of data transmission of WSNs, but also reduce the energy consumption of transmission, thus can effectively prolong the network lifetime. The benefits of using heterogeneous WSNs (H-WSNs) have been presented in the literature [6–9]. It is reported that when properly deployed, heterogeneity can triple the average delivery rate and provide a fivefold increase in the network lifetime [6].

However, in practical applications, unpredictable events such as environmental impairment, communication link broken, and battery depletion may cause the sensor devices to fail, partitioning the network and disrupting network functions. Therefore, fault tolerance becomes a critical issue for the successful communication of H-WSNs. It is expected that the network topology broken by software or hardware failure of sensor nodes could be automatically reconstructed and self-healed by the fault-tolerant routing technology so as to be recovered from path failure and ensured the performance of the communication tasks.

The objective of this paper is to solve the fault-tolerant routing problem for the H-WSNs while maintaining π‘˜ disjoint communication paths from each source sensor to the macronode it belongs to (called π‘˜-disjoint-path routing recovery problem). For this purpose, we propose a swarm intelligence algorithm, immune cooperative particle swarm optimization algorithm (ICPSOA), to provide fast recovery from path failure in the H-WSNs. In this way, the network can tolerate the failure of up to π‘˜βˆ’1 sensor paths with reconstructed topology, traditional retransmissions can be decreased, and reliability can be provided with lower energy consumption. Our problem is specifically tailored to the situation that data is forwarded from sensors to macronodes.

The main contributions of this paper are as follows: firstly, we formulate the π‘˜-disjoint-path routing recovery problem for the H-WSNs. Then, in order to maintain π‘˜ disjoint communication paths from each source sensor to the set of macronodes, we propose the ICPSOA-based protocol to reconstruct the network topology and provide fast routing recovery from path failure in the H-WSNs. The proposed method can provide simplicity, robustness, and effectiveness for routing recovery problem of the WSNs.

The remainder of this paper is organized as follows: Section 2 overviews the related work on fault-tolerant routing problem, especially routing recovery problem in the H-WSNs. Then, we propose the H-WSNs architecture and fault model and the ICPSOA-based approach for solving the routing recovery problem in Section 3. The simulation results are presented in Section 4. Section 5 provides a conclusion of our paper and discusses a few future directions for further improving the performance of our approach.

2. Related Work

2.1. The Fault-Tolerant Routing Algorithms of WSNs

Fault-tolerant routing protocols proposed for WSNs can be classified into three groups: (1) proactive routing, called disjoint multipath, in which several paths from source node to sink are calculated, maintained in advance, and stored in a routing table, but greater energy consumption and the requirement to predict the global topology information are the disadvantages [10–12], (2) reactive routing, where all paths are created on demand [7], and (3) hybrid routing, which is a mix of the above two groups [8, 9].

One of the common fault-tolerant routing solutions is to establish disjoint multipath with proactive routing mechanism. Disjoint multipath constructs a number of alternative paths which are node/links disjoint with the primary path and other alternative paths. Thus, a failure in any or all nodes/links on the primary path does not affect the alternative paths. Using this multipath scheme in a network with π‘˜ disjoint paths from source to destination can tolerate at most π‘˜βˆ’1 intermediate network component failures. A secure and energy-efficient multipath routing protocol proposed by Nasser and Chen [10] is effectively resistive to some specific attacks, and has the character of pulling all traffic through the malicious nodes by advertising an attractive route to the destination.

A considerable amount of work has also been done on the hybrid routing scheme, which combines multipath scheme and reactive routing scheme. In this scheme, multiple paths are calculated and maintained in advance, and then, alternative paths are created on demand. EARQ (energy-aware routing for real-time and reliable communication) is a hybrid routing scheme proposed by Heo and Hong [9], which selected a path that expended less energy than others, among paths that delivered a packet in time, which enabled even distribution of energy expenditure to sensor nodes. It also provided reliable communication and fast recovery from path failure, because it only sent a redundant packet via an alternative path if the reliability of a path was less than a predefined value. Pandana and Liu [11] sought to propose an algorithm which designed the connectivity weight of each node and established a most reliable path in order to keep the other nodes’ connectivity.

Our work differs from the above existing ones [13–16] by considering a different architecture and routing objective. We consider the H-WSNs architecture with a number of macronodes and concern with providing π‘˜-connectivity from each source node to the set of macronodes, and as such, we provide a hybrid routing scheme to maintain the multipath routing. The H-WSNs usually consist of two types of wireless devices [12]: a large number of resource-constrained wireless sensor nodes deployed randomly and a much smaller number of resource-rich macronodes placed at known locations. The macronode network, which provides more energy, transmission bandwidth, computing ability, and storage space, is used to quickly forward sensor data packets to the sink. With this setting, data gathering in the H-WSNs has two steps. Firstly, sensor nodes transmit and relay information on multihop paths toward any macronode. Then, it is forwarded to the sink using fast macronode-to-macronode communication once a packet encounters a macronode.

The similar hybrid routing schemes for the H-WSNs are as follows: CPEQ (cluster-based periodic, event-driven, and query-based protocol) [17] groups sensor nodes to efficiently relay data to the sink by uniformly distributing energy dissipation among the nodes. It can provide fast broken path reconfiguration and high reliability in the delivery of event packets and speed up new subscriptions by using the reverse path. Cardei and Yang [18] proposed GATCπ‘˜ and DATCπ‘˜ in the H-WSNs, with the objective of minimizing the total energy consumption while providing π‘˜ independent paths from each node to macronodes. Such a topology provides the infrastructure for fault-tolerant data-gathering applications robust to the failure of up to π‘˜βˆ’1 sensors. Boukerche et al. [8] used a protocol of ICE (intercluster communication-based energy-aware and fault-tolerant protocol) by alternating the nodes responsible for intercluster communication inside one cluster. If one of multiple paths has faulty nodes, the other ones will be used for the event notification’s propagation. But the fast routing recovery mechanism for path failure has rarely been considered. Further, as the fault-tolerant optimization problem to find the optimal routing is NP-hard, these heuristic deterministic methods would always get the likely optimal routing result, and is easy to fall into local optimum. So, we employ a swarm intelligence algorithm, the ICPSOA, to improve the performance of solving these problems.

In this paper, we propose an ICPSOA-based fault-tolerant routing algorithm, which reconstructs the network topology of H-WSNs and provides a fast recovery from path failure with alternative path. We also compare the performance of the protocols of EARQ, CPEQ, and ICE with that of our approach. As we known, EARQ is an effective fault-tolerant routing protocol for homogeneous WSNs, while ICE and CPEQ are for H-WSNs to provide routing recovery from path failure. In this way, we can evaluate the fault-tolerant routing recovery mechanism with different network types.

2.2. SPSOA, CPSOA, and ICPSOA

The EA-based bionic randomized algorithm has become the important tools for solving complex optimization problems because of its intelligence and widely used and global search ability. But the algorithm dealing with fault-routing problem of WSNs should support the characteristic of energy saving. In general, better fault-tolerant performance always needs more energy consumption. Therefore, we choose light-weight algorithm based on the particle swarm optimization algorithm (PSOA), which has a simple structure and is easy to realize.

The PSOA is a new EA based method to search an optimal solution in the high-dimensional problem space [13], where each particle is a potential solution to the problem under analysis. In updating a population of particles with regard to their internal position and velocity, the PSOA is informed by the experiences of all the particles. It provides an idea to find solutions to complex problems using group advantage without global model and centralized control and can be suitable to apply in a dynamical modeling environment. It has been applied to many optimization problems, such as control problems and protocol design [14]. A remarkable difference between the PSOA and other EA-based algorithms is that the PSOA is very simple and has few parameters to be adjusted. Therefore, in general, it requires less computational complexity.

In the standard PSOA (SPSOA), each particle is a potential solution to the problem. Assume 𝑁 particles fly in the 𝐷-dimensional search space, the position of the 𝑖th particle is π‘₯𝑑𝑖=(π‘₯𝑑𝑖1,π‘₯𝑑𝑖2,…,π‘₯𝑑𝑖𝐷)𝑇, and its velocity is 𝑣𝑑𝑖=(𝑣𝑑𝑖1,𝑣𝑑𝑖2,…,𝑣𝑑𝑖𝐷)𝑇. 𝑝𝑖=(𝑝𝑑𝑖1,𝑝𝑑𝑖2,…,𝑝𝑑𝑖𝐷) is the best previous position of the particle, and 𝑝𝑔 is the global best position of the whole particle swarm. Therefore, the velocity and position of each particle will be updated according to [15]𝑣𝑑+1𝑖𝑑=𝑀𝑣𝑑𝑖𝑑+𝑐1rand1ξ€·π‘π‘‘π‘–π‘‘βˆ’π‘₯𝑑𝑖𝑑+𝑐2rand2ξ‚€π‘π‘‘π‘”π‘‘βˆ’π‘₯𝑑𝑖𝑑,π‘₯𝑑+1𝑖𝑑=π‘₯𝑑𝑖𝑑+𝑣𝑑+1𝑖𝑑,(2.1) where 1≀𝑑≀𝐷, 𝑐1 and 𝑐2 are learning factors, and usually, we make 𝑐1=𝑐2=2; 𝑀 is the inertia weight and used to control the tradeoff between the global and local exploration ability of the swarm. Random numbers rand1 and rand2 are uniformly distributed in [0,1].

The SPSOA also exhibits several disadvantages: it sometimes posses the problem of converging to undesired local optimum, for the diversity of population decreases in the latter iteration of evolution; optimizing stops when reaching a likely optimal solution, and thus the accuracy of the algorithm is limited. Therefore, a cooperative PSOA (CPSOA), which uses cooperative behavior of multiple swarms to improve the SPSOA, is proposed in [16]. In the CPSOA, limitation of an individual can be compensated by a number of other individuals from other symbiotic groups in the interaction. It can avoid misjudgment caused by single exchange of information [16]. However, it still uses the formula of the SPSOA to evolve. The trajectory of each particle is unable to yield high diversity of particles to increase search space. Therefore, the CPSOA may get a suboptimal solution.

For this reason, we draw on good diversity characteristic of immune mechanism and develop an immune CPSOA (ICPSOA), in which each particle is considered as an antibody. Particle clone is used to generate a new population with offspring. Mutation is used to diversify the search process. Immune restrain is considered to restrain the inferior ones in order to keep the stable population. Immune memory is used to store the feasible solutions [19]. The affinity between antibody and antigen can measure the optimal path, and the affinity between antibodies and antibodies can evaluate the diversity of population [20]. In the ICPSOA, mutation direction of the particle (called antibody) is determined by evolution equation, and its diversity is increased by immune mechanism [21]. Although the addition of the immune mechanism may add more time complexity to the system, the proposed ICPSOA largely improves the capability of jumping out of local optima. The use of the ICPSOA for the fault-tolerant routing problem in H-WSNs has been presented in the following sections.

3. Fault-Tolerant Routing Problem in H-WSNs Based on the ICPSOA

3.1. Model of the Proposed H-WSNs
3.1.1. The Architecture for the Model of H-WSNs

The architecture for the model of H-WSNs contains two types of wireless sensor devices as shown in Figure 1. The lower layer is formed by sensor nodes with constrained resource, including small amount of source nodes and other relay nodes. The main tasks performed by the source nodes are sensing, data processing, and data transmission. The tasks performed by the relay nodes are data processing and relaying. The dominant energy consumer is the radio transceiver. The upper layer consists of resource-rich macronodes overlaid on the H-WSNs. Wireless communication links between macronodes have considerably longer ranges and higher data rates, allowing the macronode network to bridge remote regions of the interest area. The tasks performed by a macronode are data aggregation and transmission, complex computations, and decision making. The ICPSOA is also executed by macronodes.

743728.fig.001
Figure 1: The architecture of H-WSNs.

Therefore, in-network data transmission can be performed by forming a spanning tree among all the tree nodes. As shown in Figure 1, transmission starts with the leaf nodes (source node) of the tree sending their values to their parent nodes (macronode, nodes 1,2,…,12) in the tree, until the final data is obtained at the root node (sink, node 13). Thus, the overall architecture would have a tree of macronodes and then each macronode can serve as the root of a subtree of ordinary nodes. Here, we are only interested in the fault-tolerant routing between sensor-sensor and sensor-macronode communications.

Assume that the network has the following characters: (1) the H-WSNs is a static network, where the nodes will not move after deployment, (2) every node knows its own position and that of the macronodes and the sink. The location can be obtained by GPS or localization protocols for estimating the location of a node, (3) the wireless transmission energy of macronode can be adjusted based on the distance between the receiver and itself, (4) the adjacent nodes would acquire the state information of their 1-hop neighbors and the links between them through periodically broadcast. The meanings of used symbols is provided in Table 1.

tab1
Table 1: The main symbols.
3.1.2. The π‘˜-Disjoint-Path Spanning Graph in the Subtree

The subtree ST𝑖 of the network is modeled as a directed, connected graph 𝐺(𝑉,𝐸), where 𝑉 is a finite set of subtree nodes and 𝐸 is the set of subtree edges representing connection between these nodes, where source node π‘›π‘ βˆˆπ‘‰ and macronode (root) π‘›π‘Ÿβˆˆ{π‘‰βˆ’{𝑛𝑠}}. 𝑝𝑖(𝑠,π‘Ÿ) is a valid path between 𝑛𝑠 and π‘›π‘Ÿ, and 𝑃(𝑠,π‘Ÿ) is the set of all the paths 𝑝𝑖(𝑠,π‘Ÿ).𝑛(π‘›βˆˆπ‘π‘–(𝑠,π‘Ÿ)) represents a node in 𝑝𝑖(𝑠,π‘Ÿ), and 𝑒(π‘’βˆˆπ‘π‘–(𝑠,π‘Ÿ)) represents direct edge between any two adjacent nodes in 𝑝𝑖(𝑠,π‘Ÿ). Then, we can get the π‘˜-disjoint-path spanning graph in the subtree ST𝑖. The factors affecting the choice of path 𝑝𝑖(𝑠,π‘Ÿ) include (1) the available energy function of each node, ene(𝑛), (2) distance function of the edge between adjacent nodes, dist(𝑒), (3) energy consumption function, ene(𝑒), (4) communication delay function of the node, delay(𝑛). Then, these parameters can determine the fitness function of 𝑝𝑖(𝑠,π‘Ÿ), fitness(𝑝𝑖)𝑝fitness𝑖=βˆ‘π‘›βˆˆπ‘π‘–(𝑠,π‘Ÿ)ene(𝑛)πœ”1𝑓1+πœ”2𝑓2+πœ”3𝑓3,𝑓1=βˆ‘π‘’βˆˆπ‘π‘–(𝑠,π‘Ÿ)ene(𝑛)βˆ‘π‘’βˆˆπΈ,𝑓ene(𝑛)2=βˆ‘π‘›βˆˆπ‘π‘–(𝑠,π‘Ÿ)delay(𝑛)βˆ‘π‘›βˆˆπ‘,𝑓delay(𝑛)3=βˆ‘π‘’βˆˆπ‘π‘–(𝑠,π‘Ÿ)dist(𝑒)βˆ‘π‘’βˆˆπΈ,dist(𝑒)(3.1) where 𝑓1 is the ratio of the energy consumed by the edges of path 𝑝𝑖 and the energy consumed by all the edges in the subtree, 𝑓2 is the delay of the edges and nodes of path 𝑝𝑖 versus the delay of all the nodes in the subtree, and 𝑓3 is the distance of the edges of path 𝑝𝑖 versus the distance of all the edges in the subtree. πœ”1,πœ”2,πœ”3 are the weight of effective energy, delay and distance constraints in the fitness function, and πœ”1+πœ”2+πœ”3=1. We set πœ”1=0.4, πœ”2=0.2, πœ”3=0.4. The higher fitness value indicates the more suitable path.

As illustrated in Figure 2, we assume π‘˜=3, the three disjoint paths between source node (node 2) and root (node 30) are 2-3-9-15-20-25-28-30, 2-8-13-18-23-30, and 2-7-12-16-21-27-30, respectively. The detailed protocol dealing with routing recovery problem is presented in the following sections.

743728.fig.002
Figure 2: π‘˜-disjoint-path spanning graph in subtree.
3.1.3. The Proposed Fault Model and Energy Model

We use the simple fault model proposed in [22] and identify the node failure in it. The fault-model should be simple enough to analyze, but also sophisticated enough to capture the fault behavior effectively. The probability of sensor nodes failure of subtree is given by 𝑝node. As we use the more reliable macronodes to sustain the failure during transmission process, the probability of macronode failure is assumed to be 𝑝macroβ‰ˆ0. If any of the sensor nodes fails, our routing recovery approach for node failure in subtree can be implemented.

We introduce the energy model adopted in [18], and the equation of energy model of a sensor node is as follows:ene(π‘š,𝑑)=ene𝑑π‘₯(π‘š,𝑑)+eneπ‘Ÿπ‘₯ξ€·π‘Ž(π‘š)=11+π‘Ž2π‘‘π‘›ξ€Έπ‘š+π‘Ž12π‘š,(3.2) where 𝑑 is the distance from the sensor node to the next-hop node, ene𝑑π‘₯(π‘š,𝑑) and eneπ‘Ÿπ‘₯(π‘š) are the energy consumption of sending and receiving π‘š bits of data, π‘Ž11, π‘Ž2, and π‘Ž12 are energy consumption parameters of sending circuit, sending amplifier, and receiving circuit, and 𝑛 is the channel attenuation index. We also define eneDF as energy consumption of data fusion and eneRT as energy consumption of updating routing table. For the ICPSOA, we define energy consumption of paticle update, immune clone, mutation, particle selection, and restrain per iteration as enePU, eneIC, eneIM, enePS, and enePR, respectively. So, the total consumption of the ICPSOA is according to the actual iterated generations per round.

3.2. Fault-Tolerant Routing Problem Using the ICPSOA

As described in Section 2.2, the ICPSOA is used to provide a fast recovery mechanism from path failure due to physical damage or energy depletion with an alternative path. It chooses a path with optimal fitness from the optional sensor nodes. The ICPSOA is the kernel of our fault-tolerant routing protocol. Its flowchart is shown in Figure 3, and its framework is shown in Algorithm 1. The detailed procedures are described in the following subsections.

alg1
Algorithm 1: The ICPSOA for fault-routing problem.

743728.fig.003
Figure 3: The architecture of the ICPSOA for the H-WSNs.

(1) Initialization
The principle of the ICPSOA is to search, respectively, in different 𝐷-dimensional target spaces using π‘˜ independent particle swarms. To initialize the algorithm, we set the population size of particle 𝑛, the division factor π‘˜, and each particle swarm includes 𝑛/π‘˜ particles. Then, the 𝐷-dimensional vector (vector of particle’s position and velocity) is divided into π‘˜ swarms. We define a matrix by [𝐷×2𝑛] to represent the initial particle swarm, in which the former 𝑛 columns are the position of particle, and the latter 𝑛 columns are the velocity of particle.

In Algorithm 2, 𝑏(𝑔) is a complete vector function consisting of all subswarms’ optimal position vector, π‘₯π‘šπ‘†π‘– represents position vector of the π‘šth particle in the 𝑖th swarm, π‘π‘šπ‘†π‘– is the optimal history position vector of the π‘šth particle in the 𝑖th swarm, and 𝑝𝑔𝑆𝑖 represents optimal experience position vector of the 𝑖th swarm.

alg2
Algorithm 2: Initialization mechanism in the ICPSOA.

(2) Immunization
In this step, each particle can be considered as an antibody, resulting in the clonal mutation set 𝐢. The clone number and the fitness of particle are proportional. The clonal number 𝑁𝑐 is usually calculated as follows: 𝑁𝑐=𝛼𝑁,(3.3) where 𝛼 is the clone factor and is proportional to particle’s fitness value. 𝑁 is the number of particles. Mutation rule can be setup according to experience. The particle mutation rule for the function optimization problem is 𝑐𝑖=π‘₯𝑖+𝛽rand,(3.4) where 𝑐𝑖 is the clonal individual, π‘₯𝑖 is the original antibody, 𝛽 represents the mutation factor, and rand is uniformly distributed in [0,1].

For the particles replacement rule, we need to calculate the antigen stimulus degree of the original particles and select clonal mutation particles. The Euclidean distance between any particle 𝐢𝑑 and antigen π‘Œπ‘‘ is ξ„Άξ„΅ξ„΅βŽ·π‘‘(𝑖,𝑗)=𝑛𝑖=1ξ€·π‘π‘–π‘‘βˆ’π‘¦π‘—π‘‘ξ€Έ2.(3.5)

Therefore, the stimulus degree of antibody particle is1𝐴(𝑖,𝑗)=𝑑(𝑖,𝑗).(3.6)

After that, each particle is compared with stimulus threshold; the higher one will maintain in the subswarm, and the lower one will be replaced (called restrain). The process of this step is as shown in Algorithm 3. Then, go to Step 2 in Algorithm 1.

alg3
Algorithm 3: Immune mechanism in the ICPSOA.

(3) Termination Criterion
If the solution is satisfied with the termination criterion, fitness(𝑝𝑖) is the optimal fitness or 𝑃Gen decreases to zero, the optimal path 𝑝𝑖 will be the desired optimal solution, and this procedure ends; otherwise, returns to Step 4 in Algorithm 1. Then, the π‘˜th path is established.

(4) Update
In this step, the velocity and position of the particle is updated as (2.1). The process is as shown is Algorithm 4. The updating equation of particles’ optimal position vector in each subswarm is as follows: π‘ξ€·π‘π‘šπ‘†π‘–ξ€Έ=𝑏π‘₯,π‘–π‘šπ‘†π‘–ξ€Έξ€·π‘ξ€·π‘₯,𝑖,fitnessπ‘šπ‘†π‘–ξ€·π‘ξ€·π‘,𝑖β‰₯fitnessπ‘šπ‘†π‘–,𝑏𝑝,π‘–ξ€Έξ€Έπ‘šπ‘†π‘–ξ€Έξ€·π‘ξ€·π‘₯,𝑖,fitnessπ‘šπ‘†π‘–ξ€·π‘ξ€·π‘,𝑖<fitnessπ‘šπ‘†π‘–,,𝑖(3.7) where 1β‰€π‘–β‰€π‘˜. The updating equation of optimal position of each subswarm is 𝑏𝑝𝑔𝑆𝑖,𝑖=arg𝑃(π‘π‘šπ‘†π‘–,𝑖)𝑏𝑝maxfitnessπ‘šπ‘†π‘–π‘›,𝑖,1β‰€π‘šβ‰€π‘˜,1β‰€π‘–β‰€π‘˜.(3.8)

alg4
Algorithm 4: Update mechanism in the ICPSOA.

Equation (3.8) indicates that the optimal position of the π‘šth subswarm will select the personal optimal position with the optimal fitness of particle in the swarm.

Inertia weight 𝑀 plays an important role to the convergence of the result among the adjustable parameters. The larger weight can help the particle escape from the local best solution, and the smaller one is better for the convergence, thus the inertia weight can achieve balance between global search and local search. To overcome the limitations of other general strategies, the linear differential decreasing strategy is used [23]. Here, we select 𝑀start=0.85, 𝑀end=0.35𝑑𝑀(𝑑)=2𝑀𝑑𝑑startβˆ’π‘€end𝑑2max𝑑,𝑀(𝑑)=𝑀startβˆ’ξ€·π‘€startβˆ’π‘€end𝑑2max𝑑2.(3.9)

The computational complexity is an important issue in designing our optimization algorithms. In the 𝑛th iteration of the ICPSOA, the time to calculate fitness function for immune clone is 𝑁𝑐, the time to calculate fitness function for particle mutation and selection is 𝛽𝑁𝑐, and the time to calculate fitness function for particle update is 𝑑𝑁. So the total calculating time 𝑃𝑛 in the 𝑛th iteration should be𝑃𝑛≀𝑁𝑐+𝑁𝑐𝛽+𝑑𝑁=(1+𝛽)𝑁𝑐+𝑑𝑁.(3.10)

Therefore, the computational complexity of the ICPSOA is O(𝑁𝑐), which indicates that the size of clone group has a direct impact on the search speed of the ICPSOA with the same size of particle.

3.3. The ICPSOA-Based Fault-Tolerant Routing Protocol Framework for H-WSNs

The ICPSOA is the kernel of fault-tolerant routing protocol. As shown in Figure 2, once 𝑛fail (node 18) fails, the macronode π‘›π‘Ÿ (node 30) constructs subgraph πΊξ…ž(πΊξ…žβŠ‚πΊ) according to the current topology information of nodes and extracts the set of nodes 𝑁𝑝 which can be used to construct an alternative path 𝑝𝑖(𝑠,π‘Ÿ) from πΊξ…ž. Each node represents a particle, and the population size of particle is 𝑛. Some nodes of 𝑁𝑝 can form a particle sequence {𝑛𝑝𝑖1,𝑛𝑝𝑖2,𝑛𝑝𝑖3…,π‘›π‘π‘–π‘š} (π‘šβ‰€π‘›) according to their order, which can construct a path 𝑝𝑖(𝑠,π‘Ÿ) from source 𝑛𝑠 to π‘›π‘Ÿ. The algorithm ICPSOA would optimize the particle sequence to obtain the optimal path 𝑝𝑏(𝑠,π‘Ÿ) with optimal fitness fitness(𝑝𝑏), and 𝑝𝑏(𝑠,π‘Ÿ) includes the following nodes {𝑛𝑠,𝑛𝑝𝑏1,𝑛𝑝𝑏2,…,π‘›π‘π‘π‘š,π‘›π‘Ÿ}. Each node owns a routing table recording the paths it belongs to and the nodes’ information on these paths. We now demonstrate with an example how the routing recovery process is accomplished in our protocol. In the example (Figure 2), 𝑛fail’s child node 𝑛failβˆ’π‘ and parent node 𝑛failβˆ’π‘ are node 23 and 13.

Step 1. 𝑛failβˆ’π‘ reports the failure of 𝑛fail to π‘›π‘Ÿ, and 𝑛failβˆ’π‘ reports the failure to 𝑛𝑠 (node 2), then 𝑛𝑠 starts up another backup path to transmit data. 𝑛𝑠 broadcasts a path request (PR) packet, with routing table including its own available energy and coordinate.

Step 2. If an intermediate node 𝑛𝑖 receives PR, it will relay the packet according to its own state of information: if 𝑛𝑖 is on one of the other existed π‘˜βˆ’1 paths between 𝑛𝑠 and π‘›π‘Ÿ, it will ignore the packet; else, 𝑛𝑖 will calculate dist(𝑒), ene(𝑒) and delay(𝑒) between 𝑛𝑖 and π‘›π‘–βˆ’1 according to the information provided by π‘›π‘–βˆ’1. Then, it continues to relay packet RP, with routing table including above information, 𝑛𝑖 and π‘›π‘–βˆ’1’s ID, and its ene(𝑛).

Step 3. Each intermediate node in the subtree repeats Step 2 until π‘›π‘Ÿ receives the PR. Then π‘›π‘Ÿ extracts the information, calculates fitness(𝑝𝑖) using the ICPSOA and selects the path 𝑝𝑏 with optimal fitness. Then, it broadcasts packet RP_ACK, including the IDs of selected nodes {𝑛𝑝𝑏1,𝑛𝑝𝑏2,𝑛𝑝𝑏3,…,𝑛𝑝𝑏𝑛} on 𝑝𝑏 (path 2-8-14-19-24-30 in Figure 2) in routing table.

Step 4. If 𝑛𝑝𝑏𝑖 has received PR_ACK, it checks whether its ID is in the packet’s routing table. Then it establishes a connection between child π‘›π‘π‘π‘–βˆ’1 and parent 𝑛𝑝𝑏𝑖+1 and delivers PR_ACK to parent until 𝑛𝑠 receives the packet. Go to Step 5.

Step 5. 𝑛𝑠 broadcasts packet PR_END, and 𝑛𝑝𝑏𝑖 on 𝑝𝑏 delivers it to π‘›π‘Ÿ. Once π‘›π‘Ÿ receives PR_END, the π‘˜th path from source node to its root in the subtree is established, the network topology is reconstructed, and protocol ends.
During this process, π‘›π‘Ÿ will broadcast one packet and receive three packets, 𝑛𝑠 will broadcast two packets and receive two packets, a part of relay nodes 𝑛𝑖 in the subtree will deliver four packets. We assume the number of hops of 𝑝𝑖(𝑠,π‘Ÿ) (π‘–βˆˆ(1,π‘˜βˆ’1)) is 𝑁𝑝𝑖(𝑠,π‘Ÿ)𝑖, then the number of the packets received by π‘›π‘Ÿ before running the ICPSOA is 𝑁=𝑁STπ‘–π‘–βˆ’βˆ‘π‘˜βˆ’1𝑖=1𝑁𝑝𝑖(𝑠,π‘Ÿ)𝑖. In this way the energy consumption of packet receiving and broadcasting of π‘›π‘Ÿ can be calculated.

4. Simulation Results

4.1. Simulation Model

To evaluate the performance of the ICPSOA, we design a corresponding simulation scenario upon Matlab. The simulation experiment is constructed on Windows XP with Intel Pentium 4 processor (2.4 GHz) and 2 GB RAM. The goal of the simulation is to show that the ICPSOA can provide a more stable transport environment in an error-prone network. The results are also compared to the protocols of ICE, CPEQ, and EARQ.

In Table 2, we present the parameters configured for the conducted simulation experiments. The sensor nodes are randomly deployed on area 𝐴, and the macronodes are located at known coordinates. 500 rounds are taken and five packets are delivered in each round. The size of the network is the same for different algorithms and the fitness function is then measured. The parameters used for the ICPSOA are function dimension 𝐷=30, iterated generations 𝑃Gen=1000, division factor π‘˜=5, clone factor 𝛼=4, mutation factor 𝛽=0.5. According to the description of the ICPSOA in Section 3.1.3, we set energy consumption enePU=80 pJ, eneIC=5 pJ, eneIM=10 pJ, enePS=15 pJ, enePR=10 pJ per iteration. The metrics that we use in our experiments are average number of alive nodes per round, average energy depletion ratio per round (measured as the energy dissipation versus the initial energy), average delay of packet delivery, and packet delivery ratio (measured as the number of successfully delivered packet versus required packet).

tab2
Table 2: Simulation parameters.
4.2. Evaluation of the Simulation Results

To illustrate the effect of the proposed protocol, we take a snapshot during a simulation. Figure 4 shows a small area (2000 m Γ— 2000 m), which illustrates a subtree with the existed three paths between source node (node 29) and macronode (node 18). We can see when an intermediate node (node 24) fails, source node immediately establishes an alternative path to connect the macronode in order to replace the previous 3rd path.

743728.fig.004
Figure 4: Snapshot of establishing the alternative path using ICPSOA.

The simulation ends after 1000 rounds. We compare the number of alive nodes per round for these four protocols. As shown in Figure 5 for different network sizes, the number of nodes died in the ICPSOA, ICE, and CPEQ is less than EARQ over the same number of rounds. This is because comparing with heterogonous WSNs, all the nodes only need to transmit data to its root (macronode) of the subtree in the H-WSNs, which indirectly shortens the transmission distance between sensor nodes to the sink, and prolongs their lifetime. The fast routing recovery mechanism of the ICPSOA also makes its number of alive nodes 5%∼10% more than that of ICE, and CPEQ in the same rounds. Then, we would only compare the ICPSOA, ICE, and CPEQ with the same network style (H-WSNs) in the remaining simulation process.

fig5
Figure 5: Experimental results for number of alive nodes per round with variant scale of network. (a) Size of 50 nodes. (b) Size of 250 nodes.

As shown in Figure 6 for different network sizes, energy depletion ratio of the ICPSOA based protocol is 5%∼15% smaller than that of ICE and CPEQ. And the dispersion between them is more obvious as the size of the cluster increases. That is because firstly, each source node has π‘˜ paths to the macronode, and the total energy consumed is minimized; secondly, the ICPSOA can select the nodes with better QoS parameters (such as more available energy and less distance of path) to establish alternative path and construct a more reliable transmission environment to reduce the retransmission caused by unstable paths, therefore, prolong the network lifetime as compared to ICE and CPEQ.

fig6
Figure 6: Experimental results for energy depletion ratio per round with variant scale of networks. (a) Size of 50 nodes. (b) Size of 250 nodes.

Figure 7 shows the average delay of packet delivery (average delay of each packet delivered from source node to the sink). We can observe that the ICPSOA outperforms ICE and CPEQ in terms of average delay for the same networks. The ICPSOA has demonstrated a lower delay when network size grows. A low delay of packets can be explained by the multipath property and shortest alternative path selection of the proposed ICPSOA-based protocol for fault tolerance.

743728.fig.007
Figure 7: Experimental results for average delay of packet delivery.

Figure 8(a) shows that the H-WSNs with the ICPSOA can deliver more packets to the sink than the network with EARQ and ICE with the value of 0.02 of 𝑝node. In most cases, the ICPSOA can send 5%∼15% more packets to the sink. A bigger value of packet delivery ratio indicates a lower packet dropout probability [24, 25] and a better network capability of delivering useful information. This result can be explained by the fact that the ICPSOA provides a fast recovery from path failure with an optimal alternative path, which improves the success rate of data transmission. Note that the packets in the ICPSOA experience a higher delivery ratio as the size of the network grows, which indicates the ICPSOA-based protocol of the H-WSNs is more feasible for practical deployment of large-scale WSNs than ICE and CPEQ.

fig8
Figure 8: Experimental results for average successful packet delivery ratio with variant failure probability. (a) 𝑝node=0.02. (b) 𝑝node=0.04. (c) 𝑝node=0.08.

We should also compare the performance trend of the three algorithms with different probability of node failure 𝑝node. We plot the packet delivery ratio against the number of nodes in Figure 8 for various 𝑝node (value of 0.02, 0.05, and 0.08). As shown in Figure 8(a), 8(b), and 8(c), the observed packet delivery ratio of the proposed schemes degrades as 𝑝node ascends, which means the performance of proposed scheme is reduced as the percentage of failed nodes increases. But the ICPSOA can still deliver more packets than ICE and CPEQ for different size of the sensor network.

5. Conclusions

We propose the ICPSOA-based fault-tolerant routing protocol for H-WSNs, which focuses on a solution to the problem of energy depletion and packet delivery of nodes, by trying to reconstruct the topology structure and recover the routing for the path failure and achieve energy conservation by avoiding unnecessary retransmission. The conserved energy can be used to increase the quantity of information received by the sink. The experiment presents the promising ability of the ICPSOA, and better solutions of fault tolerance and prolonging the network lifetime can be obtained by the ICPSOA-based protocol than the protocols of EARQ, ICE and CPEQ. The results have illustrated the advantage of H-WSNs and backup disjoint multipath, which can reduce the risk of data delivery loss and energy consumption on the path exploring. It also aims at shortening delay of packet delivery, evening energy dissipation among the nodes by constructing the optimal alternative paths in the H-WSNs with the swarm intelligence algorithm. The strength of the ICPSOA is its simplicity, robustness and effectiveness for fast routing recovery compared to other approaches and makes the ICPSOA a potential solution to meet the requirements of critical conditions monitoring applications.

As for future studies, the following directions are under the way: firstly, the proposed protocol ignores the fault-tolerant routing between macronode-macronode communications, which could be considered to form a more complete protocol architecture; secondly, we should further reduce the computational complexity of the proposed ICPSOA such that it converges faster to a better solution, providing robustness against failure in the network.

Acknowledgments

This work was supported in part by the Key Project of the National Nature Science Foundation of China (no. 61134009), the National Nature Science Foundation of China (no. 60975059), Specialized Research Fund for the Doctoral Program of Higher Education from Ministry of Education of China (no. 20090075110002), Specialized Research Fund for Shanghai Leading Talents, Project of the Shanghai Committee of Science and Technology (nos. 11XD1400100, 11JC1400200, 10JC1400200, 10DZ0506500).

References

  1. D. Wang, J. Zheng, Y. Zhou, and J. Li, β€œA scalable support vector machine for distributed classification in ad hoc sensor networks,” Neurocomputing, vol. 74, no. 1–3, pp. 394–400, 2010. View at Publisher Β· View at Google Scholar
  2. J. Liang, Z. Wang, and X. Liu, β€œDistributed state estimation for discrete-time sensor networks with randomly varying nonlinearities and missing measurements,” IEEE Transactions on Neural Networks, vol. 22, no. 3, pp. 486–496, 2011. View at Publisher Β· View at Google Scholar
  3. B. Shen, Z. Wang, and X. Liu, β€œA stochastic sampled-data approach to distributed H-infinity filtering in sensor networks,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 58, no. 9, pp. 2237–2246, 2011. View at Publisher Β· View at Google Scholar
  4. B. Shen, Z. Wang, and Y. S. Hung, β€œDistributed consensus H-infinity filtering in sensor networks with multiple missing measurements: the finite-horizon case,” Automatica, vol. 46, no. 10, pp. 1682–1688, 2010. View at Publisher Β· View at Google Scholar
  5. B. Shen, Z. Wang, Y. S. Hung, and G. Chesi, β€œDistributed H-infinity filtering for polynomial nonlinear stochastic systems in sensor networks,” IEEE Transactions on Industrial Electronics, vol. 58, no. 5, pp. 1971–1979, 2011. View at Publisher Β· View at Google Scholar
  6. C. Laukik, D. Alin, and S. Ranka, β€œFault tolerant aggregation in heterogeneous sensor networks,” Journal of Parallel and Distributed Computing, vol. 69, no. 2, pp. 210–219, 2009. View at Publisher Β· View at Google Scholar
  7. K. Akkaya and M. Younis, β€œA survey on routing protocols for wireless sensor networks,” Ad Hoc Networks, vol. 3, no. 3, pp. 325–349, 2005. View at Publisher Β· View at Google Scholar
  8. A. Boukerche, A. Martirosyan, and R. Pazzi, β€œAn inter-cluster communication based energy aware and fault tolerant protocol for wireless sensor networks,” Mobile Networks and Applications, vol. 13, no. 6, pp. 614–626, 2008. View at Publisher Β· View at Google Scholar
  9. J. Heo and J. Hong, β€œEARQ: energy aware routing for real-time and reliable communication in wireless industrial sensor networks,” IEEE Transactions on Industrial Informatics, vol. 5, no. 1, pp. 3–11, 2009. View at Publisher Β· View at Google Scholar
  10. N. Nasser and Y. F. Chen, β€œSEEM: secure and energy-efficient multipath routing protocol for wireless sensor networks,” Computer Communications, vol. 30, no. 11-12, pp. 2401–2412, 2007. View at Publisher Β· View at Google Scholar
  11. C. Pandana and K. J. R. Liu, β€œRobust connectivity-aware energy-efficient routing for wireless sensor networks,” IEEE Transaction on Wireless Communications, vol. 10, no. 7, pp. 3904–3916, 2008.
  12. X. Han and X. Cao, β€œFault-tolerant relay node placement in heterogeneous wireless sensor networks,” IEEE Transactions on Mobile Computing, vol. 9, no. 5, pp. 643–656, 2010. View at Publisher Β· View at Google Scholar
  13. C. H. Lin, J. L. Chen, and Z. L. Gaing, β€œCombining biometric fractal pattern and particle swarm optimization-based classifier for fingerprint recognition,” Mathematical Problems in Engineering, vol. 2010, Article ID 328676, pp. 1–30, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  14. T. Wimalajeewa and S. K. Jayaweera, β€œOptimal power scheduling for correlated data fusion in wireless sensor networks via constrained PSO,” IEEE Transactions on Wireless Communications, vol. 7, no. 9, pp. 3608–3618, 2008. View at Publisher Β· View at Google Scholar
  15. T. S. Zhan and C. C. Kao, β€œModified PSO method for robust control of 3RPS parallel manipulators,” Mathematical Problems in Engineering, vol. 2010, Article ID 302430, 25 pages, 2010. View at Zentralblatt MATH
  16. C. J. Lin, C. H. Chen, and C. T. Lin, β€œA hybrid of cooperative particle swarm optimization and cultural algorithm for neural fuzzy networks and its prediction applications,” IEEE Transactions on Systems, Man and Cybernetics C, vol. 39, no. 1, pp. 55–68, 2009. View at Publisher Β· View at Google Scholar
  17. A. Boukerche, R. W. N. Pazzi, and R. B. Araujo, β€œFault-tolerant wireless sensor network routing protocols for the supervision of context-aware physical environments,” Journal of Parallel and Distributed Computing, vol. 66, no. 4, pp. 586–599, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  18. M. Cardei and S. H. Yang, β€œAlgorithms for fault-tolerant topology in heterogeneous wireless sensor networks,” IEEE Transactions on Parallel and Distributed Systems, vol. 19, no. 4, pp. 545–558, 2008. View at Publisher Β· View at Google Scholar
  19. Y. S. Ding, Z. H. Hu, and W. B. Zhang, β€œMulti-criteria decision making approach based on immune co-evolutionary algorithm with application to garment matching problem,” Expert Systems with Applications, vol. 38, no. 8, pp. 10377–10383, 2011. View at Publisher Β· View at Google Scholar
  20. Y. S. Ding, X. J. Lu, K. R. Hao, L. F. Li, and Y. F. Hu, β€œTarget coverage optimization of wireless sensor networks using multi-objective immune co-evolutionary algorithms,” International Journal of Systems Science, vol. 42, no. 9, pp. 1531–1541, 2011. View at Publisher Β· View at Google Scholar
  21. Z. Hu and Y. S. Ding, β€œImmune co-evolutionary algorithm based partition balancing optimization for tobacco distribution system,” Expert Systems with Applications, vol. 36, no. 3, pp. 5248–5255, 2009. View at Publisher Β· View at Google Scholar
  22. L. Chitnis and A. Dobra, β€œAggregation methods for large-scale sensor networks,” ACM Transactions on Sensor Networks, vol. 4, no. 2, pp. 1–36, 2008.
  23. S. Q. Ren and J. Park, β€œFault-tolerance data aggregation for clustering wireless sensor network,” Wireless Personal Communications, vol. 51, no. 1, pp. 179–192, 2009. View at Publisher Β· View at Google Scholar
  24. H. Dong, Z. Wang, D. W. C. Ho, and H. Gao, β€œRobust H-infinity fuzzy output-feedback control with multiple probabilistic delays and multiple missing measurements,” IEEE Transactions on Fuzzy Systems, vol. 18, no. 4, pp. 712–725, 2010. View at Publisher Β· View at Google Scholar
  25. B. Shen, Z. Wang, H. Shu, and G. Wei, β€œRobust H-infinity finite-horizon filtering with randomly occurred nonlinearities and quantization effects,” Automatica, vol. 46, no. 11, pp. 1743–1751, 2010. View at Publisher Β· View at Google Scholar