]> AND Private Git Repository - UIC2013.git/blob - bare_conf.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
3a76a980948e33de658834076fa999df91b536f0
[UIC2013.git] / bare_conf.tex
1  
2 \documentclass[conference]{IEEEtran}
3
4 \ifCLASSINFOpdf
5   
6 \else
7   
8 \fi
9
10 \hyphenation{op-tical net-works semi-conduc-tor}
11
12 \usepackage{float}
13 \usepackage{epsfig}
14 \usepackage{calc}
15  \usepackage{times,amssymb,amsmath,latexsym}
16 \usepackage{graphics}
17 \usepackage{graphicx}
18 \usepackage{amsmath}
19 %\usepackage{txfonts}
20 \usepackage{algorithmic}
21 \usepackage[T1]{fontenc}
22 \usepackage{tikz}
23 %\usepackage{algorithm}
24 %\usepackage{algpseudocode}
25 %\usepackage{algorithmwh}
26 \usepackage{subfigure}
27 \usepackage{float}
28 \usepackage{xspace}
29 \usepackage[linesnumbered,ruled,vlined,commentsnumbered]{algorithm2e}
30 \usepackage{epsfig}
31 \usepackage{caption}
32 \usepackage{multicol}
33
34
35 \begin{document}
36
37 \title{Energy-Efficient Activity Scheduling in Heterogeneous Energy Wireless Sensor Networks}
38
39 % author names and affiliations
40 % use a multiple column layout for up to three different
41 % affiliations
42 \author{\IEEEauthorblockN{Ali Kadhum Idrees, Karine Deschinkel, Michel Salomon, and Rapha\"el Couturier }
43 \IEEEauthorblockA{FEMTO-ST Institute, UMR 6174 CNRS, University of Franche-Comte, Belfort, France \\
44 Email: ali.idness@edu.univ-fcomte.fr, $\lbrace$karine.deschinkel, michel.salomon, raphael.couturier$\rbrace$@univ-fcomte.fr}
45 %\email{\{ali.idness, karine.deschinkel, michel.salomon, raphael.couturier\}@univ-fcomte.fr}
46 %\and
47 %\IEEEauthorblockN{Homer Simpson}
48 %\IEEEauthorblockA{FEMTO-ST Institute, UMR CNRS, University of Franche-Comte, Belfort, France}
49 %\and
50 %\IEEEauthorblockN{James Kirk\\ and Montgomery Scott}
51 %\IEEEauthorblockA{FEMTO-ST Institute, UMR CNRS, University of Franche-Comte, Belfort, France}
52 }
53
54 \maketitle
55
56 \begin{abstract}
57 One of  the fundamental challenges in Wireless  Sensor Networks (WSNs)
58 is  the coverage  preservation  and  the extension  of  the  network  lifetime
59 continuously  and  effectively  when  monitoring a  certain  area  (or
60 region) of interest. In this paper a coverage optimization protocol to
61 improve the lifetime in  heterogeneous energy wireless sensor networks
62 is proposed.   The area of  interest is first divided  into subregions
63 using a  divide-and-conquer method and then the scheduling  of sensor node
64 activity  is  planned for  each  subregion.   The proposed  scheduling
65 considers  rounds during  which  a small  number  of nodes,  remaining
66 active  for  sensing, is  selected  to  ensure  coverage.  Each  round
67 consists  of   four  phases:  (i)~Information   Exchange,  (ii)~Leader
68 Election, (iii)~Decision,  and (iv)~Sensing.  The  decision process is
69 carried  out  by  a  leader  node which  solves  an  integer  program.
70 Simulation  results show that  the proposed  approach can  prolong the
71 network lifetime and improve the coverage performance.
72 \end{abstract}
73
74 %\keywords{Area Coverage, Wireless Sensor Networks, lifetime Optimization, Distributed Protocol.}
75  
76 \IEEEpeerreviewmaketitle
77
78 \section{Introduction}
79
80 \noindent Recent years have witnessed significant advances in wireless
81 communications and embedded micro-sensing MEMS technologies which have
82 led to the  emergence of wireless  sensor networks  as one  of the  most promising
83 technologies~\cite{asc02}.   In fact, they  present huge  potential in
84 several  domains ranging  from  health care  applications to  military
85 applications.  A sensor network is  composed of a large number of tiny
86 sensing  devices deployed  in a  region of  interest. Each  device has
87 processing  and wireless communication  capabilities, which  enable it to
88 sense its environment, to compute, to store information and to deliver
89 report messages to a base station.
90 %These sensor nodes run on batteries with limited capacities. To achieve a long life of the network, it is important to conserve battery power. Therefore, lifetime optimisation is one of the most critical issues in wireless sensor networks.
91 One of the main design issues in Wireless Sensor Networks (WSNs) is to
92 prolong the  network lifetime,  while achieving acceptable  quality of
93 service for applications.  Indeed, sensor nodes have limited resources
94 in terms of memory, energy and computational power.
95
96 Since sensor nodes have limited battery life and without being able to
97 replace batteries,  especially in remote and  hostile environments, it
98 is desirable that  a WSN should be deployed  with high density because
99 spatial redundancy can  then be exploited to increase  the lifetime of
100 the network. In such a high  density network, if all sensor nodes were
101 to be  activated at the same  time, the lifetime would  be reduced. To
102 extend the lifetime  of the network, the main idea  is to take advantage
103 of  the overlapping  sensing regions  of some  sensor nodes  to save
104 energy  by  turning  off  some  of  them  during  the  sensing  phase.
105 Obviously, the deactivation of nodes  is only relevant if the coverage
106 of the monitored area  is not affected.  Consequently, future softwares
107 may  need to  adapt  appropriately to  achieve  acceptable quality  of
108 service  for  applications.  In  this  paper  we  concentrate on  the area
109 coverage  problem,  with  the  objective  of  maximizing  the  network
110 lifetime  by using  an adaptive  scheduling. The  area of  interest is
111 divided into subregions and an activity scheduling for sensor nodes is
112 planned for  each subregion. 
113  In fact, the nodes in a  subregion can be seen as a cluster where
114   each node sends  sensing data to the cluster head  or the sink node.
115   Furthermore, the activities in a subregion/cluster can continue even
116   if another cluster stops due to too many node failures.
117 Our scheduling  scheme considers rounds,  where a round starts  with a
118 discovery  phase  to  exchange  information  between  sensors  of  the
119 subregion,  in order to  choose in  a suitable manner  a sensor  node to
120 carry  out a coverage  strategy. This  coverage strategy  involves the
121 solving of  an integer  program which provides  the activation  of the
122 sensors for the sensing phase of the current round.
123
124 The remainder of the paper is organized as follows.  The next section
125 % Section~\ref{rw}
126 reviews the related work in the field.  Section~\ref{pd} is devoted to
127 the    scheduling     strategy    for    energy-efficient    coverage.
128 Section~\ref{cp} gives the coverage model formulation which is used to
129 schedule  the  activation  of  sensors.  Section~\ref{exp}  shows  the
130 simulation  results obtained  using  the discrete  event simulator  on
131 OMNET++  \cite{varga}. They  fully demonstrate  the usefulness  of the
132 proposed  approach.   Finally, we  give  concluding  remarks and  some
133 suggestions for future works in Section~\ref{sec:conclusion}.
134
135 \section{Related Works}
136 \label{rw}
137
138 \noindent This section is dedicated to the various approaches proposed
139 in  the literature  for  the coverage  lifetime maximization  problem,
140 where the  objective is to  optimally schedule sensors'  activities in
141 order to  extend network lifetime  in a randomly deployed  network. As
142 this problem is subject to a wide range of interpretations, we have chosen
143 to recall the main definitions and assumptions related to our work.
144
145 %\begin{itemize}
146 %\item Area Coverage: The main objective is to cover an area. The area coverage requires
147 %that the sensing range of working Active nodes cover the whole targeting area, which means any
148 %point in target area can be covered~\cite{Mihaela02,Raymond03}.
149
150 %\item Target Coverage: The objective is to cover a set of targets. Target coverage means that the discrete target points can be covered in any time. The sensing range of working Active nodes only monitors a finite number of discrete points in targeting area~\cite{Mihaela02,Raymond03}. 
151
152 %\item Barrier Coverage An objective to determine the maximal support/breach paths that traverse a sensor field. Barrier coverage is expressed as finding one or more routes with starting position and ending position when the targets pass through the area deployed with sensor nodes~\cite{Santosh04,Ai05}.
153 %\end{itemize}
154 {\bf Coverage}
155
156 The most  discussed coverage problems in literature  can be classified
157 into two types \cite{ma10}: area coverage (also called full or blanket
158 coverage) and target coverage.  An  area coverage problem is to find a
159 minimum number of sensors to work, such that each physical point in the
160 area is within the sensing range  of at least one working sensor node.
161 Target coverage problem  is to cover only a  finite number of discrete
162 points  called targets.   This type  of coverage  has  mainly military
163 applications. Our work will concentrate on the area coverage by design
164 and implementation of a  strategy which efficiently selects the active
165 nodes   that  must   maintain  both   sensing  coverage   and  network
166 connectivity and at the same time improve the lifetime of the wireless
167 sensor  network.   But  requiring  that  all physical  points  of  the
168 considered region are covered may  be too strict, especially where the
169 sensor network is not dense.   Our approach represents an area covered
170 by a sensor as a set of primary points and tries to maximize the total
171 number  of  primary points  that  are  covered  in each  round,  while
172 minimizing  overcoverage (points  covered by  multiple  active sensors
173 simultaneously).
174
175 {\bf Lifetime}
176
177 Various   definitions   exist   for   the   lifetime   of   a   sensor
178 network~\cite{die09}.  The main definitions proposed in the literature are
179 related to the  remaining energy of the nodes or  to the coverage percentage. 
180 The lifetime of the  network is mainly defined as the amount
181 of  time during which  the network  can  satisfy its  coverage objective  (the
182 amount of  time that the network  can cover a given  percentage of its
183 area or targets of interest). In this work, we assume that the network
184 is alive  until all  nodes have  been drained of  their energy  or the
185 sensor network becomes disconnected, and we measure the coverage ratio
186 during the WSN lifetime.  Network connectivity is important because an
187 active sensor node without  connectivity towards a base station cannot
188 transmit information on an event in the area that it monitors.
189
190 {\bf Activity scheduling}
191
192 Activity scheduling is to  schedule the activation and deactivation of
193 sensor nodes.  The  basic objective is to decide  which sensors are in
194 what states (active or sleeping mode)  and for how long, so that the
195 application  coverage requirement  can be  guaranteed and  the network
196 lifetime can be  prolonged. Various approaches, including centralized,
197 distributed, and localized algorithms, have been proposed for activity
198 scheduling.  In  distributed algorithms, each node  in the network
199 autonomously makes decisions on whether  to turn on or turn off itself
200 only using  local neighbor information. In  centralized algorithms, a
201 central controller  (a node or  base station) informs every  sensors of
202 the time intervals to be activated.
203
204 {\bf Distributed approaches}
205
206 Some      distributed     algorithms      have      been     developed
207 in~\cite{Gallais06,Tian02,Ye03,Zhang05,HeinzelmanCB02}  to perform the
208 scheduling.   Distributed algorithms typically  operate in  rounds for
209 a predetermined  duration. At  the  beginning of  each  round, a  sensor
210 exchanges information with its neighbors and makes a decision to either
211 remain turned  on or to  go to sleep  for the round. This  decision is
212 basically made on simple greedy criteria like  the largest uncovered
213 area   \cite{Berman05efficientenergy},   maximum   uncovered   targets
214 \cite{1240799}.   In \cite{Tian02}, the  scheduling scheme  is divided
215 into rounds, where each round  has a self-scheduling phase followed by
216 a sensing phase.  Each sensor  broadcasts a message containing the node ID
217 and the node location  to its neighbors at the beginning  of each round. A
218 sensor determines  its status by  a rule named off-duty  eligible rule
219 which tells  him to  turn off if  its sensing  area is covered  by its
220 neighbors. A  back-off scheme is  introduced to let each  sensor delay
221 the decision process  with a random period of time,  in order to avoid
222 simultaneous conflicting decisions between nodes and  lack of coverage on any area.
223 \cite{Prasad:2007:DAL:1782174.1782218}  defines a model  for capturing
224 the dependencies  between different cover sets  and proposes localized
225 heuristic  based on this  dependency.  The  algorithm consists  of two
226 phases, an initial  setup phase during which each  sensor computes and
227 prioritizes the  covers and  a sensing phase  during which  each sensor
228 first decides  its on/off status, and  then remains on or  off for the
229 rest  of the  duration.  Authors  in \cite{chin2007}  propose  a novel
230 distributed  heuristic named  Distributed  Energy-efficient Scheduling
231 for k-coverage  (DESK) so  that the energy  consumption among  all the
232 sensors  is balanced,  and  network lifetime  is  maximized while  the
233 coverage requirement  is being  maintained.  This algorithm  works in
234 round, requires only  1-sensing-hop-neighbor information, and a sensor
235 decides  its status  (active/sleep)  based on  its perimeter  coverage
236 computed  through the k-Non-Unit-disk  coverage algorithm  proposed in
237 \cite{Huang:2003:CPW:941350.941367}.
238
239 Some other approaches do  not consider a synchronized and predetermined
240 period  of time  where the  sensors are  active or  not.  Indeed, each
241 sensor  maintains its  own timer  and its  wake-up time is randomized
242 \cite{Ye03} or regulated \cite{cardei05} over time.
243 %A ecrire \cite{Abrams:2004:SKA:984622.984684}p33
244
245 %The scheduling information is disseminated throughout the network and only sensors in the active state are responsible
246 %for monitoring all targets, while all other nodes are in a low-energy sleep mode. The nodes decide cooperatively which of them will remain in sleep mode for a certain
247 %period of time.
248
249  %one way of increasing lifeteime is by turning off redundant nodes to sleep mode to conserve energy while active nodes provide essential coverage, which improves fault tolerance. 
250
251 %In this paper we focus on centralized algorithms because distributed algorithms are outside the scope of our work. Note that centralized coverage algorithms have the advantage of requiring very low processing power from the sensor nodes which have usually limited processing capabilities. Moreover, a recent study conducted in \cite{pc10} concludes that there is a threshold in terms of network size to switch from a localized to a centralized algorithm. Indeed the exchange of messages in large networks may consume  a considerable amount of energy in a localized approach compared to a centralized one. 
252
253 {\bf Centralized approaches}
254
255 Power  efficient  centralized  schemes  differ  according  to  several
256 criteria \cite{Cardei:2006:ECP:1646656.1646898},  such as the coverage
257 objective  (target coverage  or  area coverage),  the node  deployment
258 method (random or deterministic) and the heterogeneity of sensor nodes
259 (common sensing range, common battery lifetime). The major approach is
260 to divide/organize  the sensors into  a suitable number of  set covers
261 where each  set completely covers  an interest region and  to activate
262 these set covers successively.
263
264 The first algorithms  proposed in the  literature consider that  the cover
265 sets  are  disjoint: a  sensor  node appears  in  exactly  one of  the
266 generated  cover  sets.    For  instance,  Slijepcevic  and  Potkonjak
267 \cite{Slijepcevic01powerefficient}   propose    an   algorithm   which
268 allocates sensor nodes in mutually independent sets to monitor an area
269 divided into  several fields.  Their algorithm builds  a cover  set by
270 including in  priority the sensor  nodes which cover  critical fields,
271 that  is to  say fields  that are  covered by  the smallest  number of
272 sensors. The time complexity of  their heuristic is $O(n^2)$ where $n$
273 is the number of  sensors.  \cite{cardei02}~describes a graph coloring
274 technique  to achieve energy  savings by  organizing the  sensor nodes
275 into a maximum number of  disjoint dominating sets which are activated
276 successively. The dominating sets do not guarantee the coverage of the
277 whole        region        of        interest.        Abrams        et
278 al.~\cite{Abrams:2004:SKA:984622.984684}  design  three  approximation
279 algorithms  for a  variation of  the  set k-cover  problem, where  the
280 objective is to partition the sensors into covers such that the number
281 of covers that  includes an area, summed over  all areas, is maximized.
282 Their        work        builds        upon       previous        work
283 in~\cite{Slijepcevic01powerefficient} and the  generated cover sets do
284 not provide complete coverage of the monitoring zone.
285
286 %examine the target coverage problem by disjoint cover sets but relax the requirement that every  cover set monitor all the targets and try to maximize the number of times the targets are covered by the partition. They propose various algorithms and establish approximation ratio.
287
288 In~\cite{Cardei:2005:IWS:1160086.1160098},   the  authors   propose  a
289 heuristic  to compute  the  disjoint  set covers  (DSC).  In order  to
290 compute the maximum number of  covers, they first transform DSC into a
291 maximum-flow problem, which  is then formulated  as a  mixed integer
292 programming  problem (MIP).  Based on  the solution  of the  MIP, they
293 design a heuristic to compute  the final number of covers. The results
294 show  a slight  performance  improvement  in terms  of  the number  of
295 produced  DSC in comparison  to~\cite{Slijepcevic01powerefficient}, but
296 it incurs  higher execution  time due to  the complexity of  the mixed
297 integer      programming     solving.       %Cardei      and     Du
298 \cite{Cardei:2005:IWS:1160086.1160098} propose a method to efficiently
299 compute the maximum  number of disjoint set covers  such that each set
300 can  monitor all  targets. They  first  transform the  problem into  a
301 maximum  flow   problem  which  is  formulated  as   a  mixed  integer
302 programming (MIP). Then their heuristic  uses the output of the MIP to
303 compute  disjoint  set  covers.  Results  show  that  these  heuristic
304 provides  a   number  of  set  covers  slightly   larger  compared  to
305 \cite{Slijepcevic01powerefficient}  but with  a larger  execution time
306 due  to the complexity  of the  mixed integer  programming resolution.
307 Zorbas  et  al.  \cite{Zorbas2007}  present  B\{GOP\},  a  centralized
308 coverage   algorithm  introducing   sensor   candidate  categorization
309 depending on their  coverage status and the notion  of critical target
310 to  call  targets   that  are  associated  with  a   small  number  of
311 sensors. The total running time of their heuristic is $0(m n^2)$ where
312 $n$ is the number of sensors,  and $m$ the number of targets. Compared
313 to    algorithm's    results     of    Slijepcevic    and    Potkonjak
314 \cite{Slijepcevic01powerefficient},  their   heuristic  produces  more
315 cover sets with a slight growth rate in execution time.
316 %More recently Manju and Pujari\cite{Manju2011}
317
318 In the  case of non-disjoint algorithms  \cite{Manju2011}, sensors may
319 participate  in more  than  one cover  set.   In some  cases this  may
320 prolong  the lifetime  of the  network in  comparison to  the disjoint
321 cover set algorithms, but  designing algorithms for non-disjoint cover
322 sets  generally induces a  higher order  of complexity.   Moreover, in
323 case of a sensor's  failure, non-disjoint scheduling policies are less
324 resilient and less  reliable because a sensor may  be involved in more
325 than one  cover sets.  For instance,  Cardei et al.~\cite{cardei05bis}
326 present a  linear programming (LP)  solution and a greedy  approach to
327 extend the  sensor network lifetime  by organizing the sensors  into a
328 maximal  number of  non-disjoint cover  sets. Simulation  results show
329 that by allowing sensors to  participate in multiple sets, the network
330 lifetime         increases        compared         with        related
331 work~\cite{Cardei:2005:IWS:1160086.1160098}.   In~\cite{berman04}, the
332 authors  have formulated  the lifetime  problem and  suggested another
333 (LP)  technique to  solve this  problem. A  centralized  provably near
334 optimal      solution     based      on      the     Garg-K\"{o}nemann
335 algorithm~\cite{garg98} is also proposed.
336
337 {\bf Our contribution}
338
339 There are  three main questions which  should be addressed  to build a
340 scheduling strategy. We  give a brief answer to  these three questions
341 to describe our  approach before going into details  in the subsequent
342 sections.
343 \begin{itemize}
344 \item {\bf How must the  phases for information exchange, decision and
345   sensing be planned over time?}   Our algorithm divides the time line
346   into a number  of rounds. Each round contains  4 phases: Information
347   Exchange, Leader Election, Decision, and Sensing.
348
349 \item {\bf What are the rules to decide which node has to be turned on
350   or off?}  Our algorithm tends to limit the overcoverage of points of
351   interest  to avoid  turning on  too much  sensors covering  the same
352   areas  at the  same time,  and tries  to prevent  undercoverage. The
353   decision  is  a  good   compromise  between  these  two  conflicting
354   objectives.
355
356 \item {\bf  Which node  should make such  decision?}  As  mentioned in
357   \cite{pc10}, both centralized  and distributed algorithms have their
358   own  advantages and  disadvantages. Centralized  coverage algorithms
359   have the advantage  of requiring very low processing  power from the
360   sensor  nodes which  have usually  limited  processing capabilities.
361   Distributed  algorithms  are  very  adaptable  to  the  dynamic  and
362   scalable nature of sensors network.  Authors in \cite{pc10} conclude
363   that there is a threshold in  terms of network size to switch from a
364   localized  to  a  centralized  algorithm.  Indeed  the  exchange  of
365   messages  in large  networks may  consume a  considerable  amount of
366   energy in  a localized approach  compared to a centralized  one. Our
367   work does not  consider only one leader to  compute and to broadcast
368   the  schedule decision  to all  the sensors.  When the  network size
369   increases,  the  network  is  divided  in many  subregions  and  the
370   decision is made by a leader in each subregion.
371 \end{itemize}
372
373 \section{Activity Scheduling}
374 \label{pd}
375
376 We consider  a randomly and  uniformly deployed network  consisting of
377 static  wireless sensors. The  wireless sensors  are deployed  in high
378 density to ensure initially a full coverage of the interested area. We
379 assume that  all nodes are  homogeneous in terms of  communication and
380 processing capabilities and heterogeneous in term of energy provision.
381 The  location  information is  available  to  the  sensor node  either
382 through hardware  such as embedded  GPS or through  location discovery
383 algorithms.   The   area  of  interest   can  be  divided   using  the
384 divide-and-conquer strategy  into smaller areas  called subregions and
385 then  our coverage  protocol  will be  implemented  in each  subregion
386 simultaneously.   Our protocol  works in  rounds fashion  as  shown in
387 figure~\ref{fig1}.
388
389 %Given the interested Area $A$, the wireless sensor nodes set $S=\lbrace  s_1,\ldots,s_N \rbrace $ that are deployed randomly and uniformly in this area such that they are ensure a full coverage for A. The Area A is divided into regions $A=\lbrace A^1,\ldots,A^k,\ldots, A^{N_R} \rbrace$. We suppose that each sensor node $s_i$ know its location and its region. We will have a subset $SSET^k =\lbrace s_1,...,s_j,...,s_{N^k} \rbrace $ , where $s_N = s_{N^1} + s_{N^2} +,\ldots,+ s_{N^k} +,\ldots,+s_{N^R}$. Each sensor node $s_i$ has the same initial energy $IE_i$ in the first time and the current residual energy $RE_i$ equal to $IE_i$  in the first time for each $s_i$ in A. \\ 
390
391 \begin{figure}[ht!]
392 \centering
393 \includegraphics[width=85mm]{FirstModel.eps} % 70mm
394 \caption{Multi-round coverage protocol}
395 \label{fig1}
396 \end{figure} 
397
398 Each round  is divided  into 4 phases  : Information  (INFO) Exchange,
399 Leader  Election, Decision,  and  Sensing.  For  each  round there  is
400 exactly one set cover responsible  for sensing task.  This protocol is
401 more reliable  against the unexpectedly node failure  because it works
402 in rounds.   On the  one hand,  if a node  failure is  detected before
403 taking the decision, the node will not participate to this phase, and,
404 on the other hand, if the  node failure occurs after the decision, the
405 sensing task of the network  will be affected temporarily: only during
406 the period of sensing until a  new round starts, since a new set cover
407 will take  charge of the  sensing task in  the next round.  The energy
408 consumption  and  some other  constraints  can  easily  be taken  into
409 account  since  the  sensors   can  update  and  then  exchange  their
410 information (including their residual energy) at the beginning of each
411 round.  However,   the  pre-sensing  phases   (INFO  Exchange,  Leader
412 Election,  Decision) are energy  consuming for  some nodes,  even when
413 they do not  join the network to monitor the  area. Below, we describe
414 each phase in more detail.
415
416 \subsection{INFOrmation Exchange Phase}
417
418 Each sensor node $j$ sends  its position, remaining energy $RE_j$, and
419 the number of local neighbors  $NBR_j$ to all wireless sensor nodes in
420 its subregion by using an INFO  packet and then listens to the packets
421 sent from  other nodes.  After that, each  node will  have information
422 about  all the  sensor  nodes in  the  subregion.  In  our model,  the
423 remaining energy corresponds to the time that a sensor can live in the
424 active mode.
425
426 %\subsection{\textbf Working Phase:}
427
428 %The working phase works in rounding fashion. Each round include 3 steps described as follow :
429
430 \subsection{Leader Election Phase}
431 This  step includes choosing  the Wireless  Sensor Node  Leader (WSNL)
432 which  will  be  responsible  of executing  coverage  algorithm.  Each
433 subregion  in  the   area  of  interest  will  select   its  own  WSNL
434 independently  for each  round.  All the  sensor  nodes cooperate  to
435 select WSNL.  The nodes in the  same subregion will  select the leader
436 based on  the received  information from all  other nodes in  the same
437 subregion.  The selection criteria  in order  of priority  are: larger
438 number  of neighbors,  larger remaining  energy, and  then in  case of
439 equality, larger index.
440
441 \subsection{Decision Phase}
442 The  WSNL will  solve an  integer  program (see  section~\ref{cp})  to
443 select which sensors will be  activated in the following sensing phase
444 to cover  the subregion.  WSNL will send  Active-Sleep packet  to each
445 sensor in the subregion based on algorithm's results.
446 %The main goal in this step after choosing the WSNL is to produce the best representative active nodes set that will take the responsibility of covering the whole region $A^k$ with minimum number of sensor nodes to prolong the lifetime in the wireless sensor network. For our problem, in each round we need to select the minimum set of sensor nodes to improve the lifetime of the network and in the same time taking into account covering the region $A^k$ . We need an optimal solution with tradeoff between our two conflicting objectives.
447 %The above region coverage problem can be formulated as a Multi-objective optimization problem and we can use the Binary Particle Swarm Optimization technique to solve it. 
448
449 \subsection{Sensing Phase}
450 Active  sensors  in the  round  will  execute  their sensing  task  to
451 preserve maximal  coverage in the  region of interest. We  will assume
452 that the cost  of keeping a node awake (or sleep)  for sensing task is
453 the same  for all wireless sensor  nodes in the  network.  Each sensor
454 will receive  an Active-Sleep  packet from WSNL  informing it  to stay
455 awake or  go sleep  for a time  equal to  the period of  sensing until
456 starting a new round.
457
458 %\subsection{Sensing coverage model}
459 %\label{pd}
460
461 %\noindent We try to produce an adaptive scheduling which allows sensors to operate alternatively so as to prolong the network lifetime. For convenience, the notations and assumptions are described first.
462 %The wireless sensor node use the  binary disk sensing model by which each sensor node will has a certain sensing range is reserved within a circular disk called radius $R_s$.
463 \noindent We consider a boolean  disk coverage model which is the most
464 widely used sensor coverage model in the literature. Each sensor has a
465 constant sensing range $R_s$. All  space points within a disk centered
466 at  the sensor with  the radius  of the  sensing range  is said  to be
467 covered by this sensor. We also assume that the communication range is
468 at   least  twice   of  the   sensing  range.   In  fact,   Zhang  and
469 Zhou~\cite{Zhang05} prove that if  the transmission range fulfills the
470 previous  hypothesis, a  complete coverage  of a  convex  area implies
471 connectivity among the working nodes in the active mode.
472 %To calculate the coverage ratio for the area of interest, we can propose the following coverage model which is called Wireless Sensor Node Area Coverage Model to ensure that all the area within each node sensing range are covered. We can calculate the positions of the points in the circle disc of the sensing range of wireless sensor node based on the Unit Circle in figure~\ref{fig:cluster1}:
473
474 %\begin{figure}[h!]
475 %\centering
476 %\begin{tabular}{cc}
477 %%\includegraphics[scale=0.25]{fig1.pdf}\\ %& \includegraphics[scale=0.10]{1.pdf} \\
478 %%(A) Figure 1 & (B) Figure 2
479 %\end{tabular}
480 %\caption{Unit Circle in radians. }
481 %\label{fig:cluster1}
482 %\end{figure}
483
484 %By using the Unit Circle in figure~\ref{fig:cluster1}, 
485 %We choose to representEach wireless sensor node will be represented into a selected number of primary points by which we can know if the sensor node is covered or not.
486 % Figure ~\ref{fig:cluster2} shows the selected primary points that represents the area of the sensor node and according to the sensing range of the wireless sensor node.
487
488 \noindent Instead of working with  area coverage, we consider for each
489 sensor a set of points called  primary points. We also assume that the
490 sensing disk defined  by a sensor is covered if  all primary points of
491 this sensor are covered.
492 %\begin{figure}[h!]
493 %\centering
494 %\begin{tabular}{cc}
495 %%\includegraphics[scale=0.25]{fig2.pdf}\\ %& \includegraphics[scale=0.10]{1.pdf} \\
496 %%(A) Figure 1 & (B) Figure 2
497 %\end{tabular}
498 %\caption{Wireless Sensor Node Area Coverage Model.}
499 %\label{fig:cluster2}
500 %\end{figure}
501 By  knowing the  position (point  center: ($p_x,p_y$))  of  a wireless
502 sensor node  and its $R_s$,  we calculate the primary  points directly
503 based on the proposed model. We  use these primary points (that can be
504 increased or decreased if necessary)  as references to ensure that the
505 monitored  region  of interest  is  covered  by  the selected  set  of
506 sensors, instead of using all points in the area.
507
508 \noindent  We can  calculate  the positions  of  the selected  primary
509 points in  the circle disk of  the sensing range of  a wireless sensor
510 node (see figure~\ref{fig2}) as follows:\\
511 $(p_x,p_y)$ = point center of wireless sensor node\\  
512 $X_1=(p_x,p_y)$ \\ 
513 $X_2=( p_x + R_s * (1), p_y + R_s * (0) )$\\           
514 $X_3=( p_x + R_s * (-1), p_y + R_s * (0)) $\\
515 $X_4=( p_x + R_s * (0), p_y + R_s * (1) )$\\
516 $X_5=( p_x + R_s * (0), p_y + R_s * (-1 )) $\\
517 $X_6= ( p_x + R_s * (\frac{-\sqrt{2}}{2}), p_y + R_s * (0)) $\\
518 $X_7=( p_x + R_s *  (\frac{\sqrt{2}}{2}), p_y + R_s * (0))$\\
519 $X_8=( p_x + R_s * (\frac{-\sqrt{2}}{2}), p_y + R_s * (\frac{-\sqrt{2}}{2})) $\\
520 $X_9=( p_x + R_s * (\frac{\sqrt{2}}{2}), p_y + R_s * (\frac{-\sqrt{2}}{2})) $\\
521 $X_{10}=( p_x + R_s * (\frac{-\sqrt{2}}{2}), p_y + R_s * (\frac{\sqrt{2}}{2})) $\\
522 $X_{11}=( p_x + R_s * (\frac{\sqrt{2}}{2}), p_y + R_s * (\frac{\sqrt{2}}{2})) $\\
523 $X_{12}=( p_x + R_s * (0), p_y + R_s * (\frac{\sqrt{2}}{2})) $\\
524 $X_{13}=( p_x + R_s * (0), p_y + R_s * (\frac{-\sqrt{2}}{2})) $.
525
526  \begin{figure}[h!]
527 %\centering
528 % \begin{multicols}{6}
529 \centering
530 %\includegraphics[scale=0.10]{fig21.pdf}\\~ ~ ~(a)
531 %\includegraphics[scale=0.10]{fig22.pdf}\\~ ~ ~(b)
532 \includegraphics[scale=0.25]{principles13.eps}
533 %\includegraphics[scale=0.10]{fig25.pdf}\\~ ~ ~(d)
534 %\includegraphics[scale=0.10]{fig26.pdf}\\~ ~ ~(e)
535 %\includegraphics[scale=0.10]{fig27.pdf}\\~ ~ ~(f)
536 %\end{multicols} 
537 \caption{Wireless sensor node represented by 13 primary points}
538 \label{fig2}
539 \end{figure}
540
541 \section{Coverage Problem Formulation}
542 \label{cp}
543 %We can formulate our optimization problem as energy cost minimization by minimize the number of active sensor nodes and maximizing the coverage rate at the same time in each $A^k$ . This optimization problem can be formulated as follow: Since that we use a homogeneous wireless sensor network, we will assume that the cost of keeping a node awake is the same for all wireless sensor nodes in the network. We can define the decision parameter  $X_j$ as in \eqref{eq11}:\\
544
545
546 %To satisfy the coverage requirement, the set of the principal points that will represent all the sensor nodes in the monitored region as $PSET= \lbrace P_1,\ldots ,P_p, \ldots , P_{N_P^k} \rbrace $, where $N_P^k = N_{sp} * N^k $ and according to the proposed model in figure ~\ref{fig:cluster2}. These points can be used by the wireless sensor node leader which will be chosen in each region in A to build a new parameter $\alpha_{jp}$  that represents the coverage possibility for each principal point $P_p$ of each wireless sensor node $s_j$ in $A^k$ as in \eqref{eq12}:\\
547
548 \noindent   Our   model   is   based   on  the   model   proposed   by
549 \cite{pedraza2006} where the objective is  to find a maximum number of
550 disjoint  cover sets.   To accomplish  this goal,  authors  propose an
551 integer program which forces undercoverage and overcoverage of targets
552 to  become  minimal at  the  same  time.   They use  binary  variables
553 $x_{jl}$ to indicate  if sensor $j$ belongs to cover  set $l$.  In our
554 model,  we  consider  binary  variables $X_{j}$  which  determine  the
555 activation of  sensor $j$ in the  sensing phase of the  round. We also
556 consider  primary points  as targets.   The set  of primary  points is
557 denoted by $P$ and the set of sensors by $J$.
558
559 \noindent  For  a primary  point  $p$,  let  $\alpha_{jp}$ denote  the
560 indicator function of whether the point $p$ is covered, that is:
561 \begin{equation}
562 \alpha_{jp} = \left \{ 
563 \begin{array}{l l}
564   1 & \mbox{if the primary point $p$ is covered} \\
565  & \mbox{by sensor node $j$}, \\
566   0 & \mbox{otherwise.}\\
567 \end{array} \right.
568 %\label{eq12} 
569 \end{equation}
570 The number of active sensors that cover the primary point $p$ is equal
571 to $\sum_{j \in J} \alpha_{jp} * X_{j}$ where:
572 \begin{equation}
573 X_{j} = \left \{ 
574 \begin{array}{l l}
575   1& \mbox{if sensor $j$  is active,} \\
576   0 &  \mbox{otherwise.}\\
577 \end{array} \right.
578 %\label{eq11} 
579 \end{equation}
580 We define the Overcoverage variable $\Theta_{p}$ as:
581 \begin{equation}
582  \Theta_{p} = \left \{ 
583 \begin{array}{l l}
584   0 & \mbox{if point $p$ is not covered,}\\
585   \left( \sum_{j \in J} \alpha_{jp} * X_{j} \right)- 1 & \mbox{otherwise.}\\
586 \end{array} \right.
587 \label{eq13} 
588 \end{equation}
589 \noindent More precisely, $\Theta_{p}$ represents the number of active
590 sensor  nodes  minus  one  that  cover the  primary  point  $p$.\\
591 The Undercoverage variable $U_{p}$ of the primary point $p$ is defined
592 by:
593 \begin{equation}
594 U_{p} = \left \{ 
595 \begin{array}{l l}
596   1 &\mbox{if point $p$ is not covered,} \\
597   0 & \mbox{otherwise.}\\
598 \end{array} \right.
599 \label{eq14} 
600 \end{equation}
601
602 \noindent Our coverage optimization problem can then be formulated as follows\\
603 \begin{equation} \label{eq:ip2r}
604 \left \{
605 \begin{array}{ll}
606 \min \sum_{p \in P} (w_{\theta} \Theta_{p} + w_{U} U_{p})&\\
607 \textrm{subject to :}&\\
608 \sum_{j \in J}  \alpha_{jp} X_{j} - \Theta_{p}+ U_{p} =1, &\forall p \in P\\
609 %\label{c1} 
610 %\sum_{t \in T} X_{j,t} \leq \frac{RE_j}{e_t} &\forall j \in J \\
611 %\label{c2}
612 \Theta_{p}\in \mathbb{N} , &\forall p \in P\\
613 U_{p} \in \{0,1\}, &\forall p \in P \\
614 X_{j} \in \{0,1\}, &\forall j \in J
615 \end{array}
616 \right.
617 \end{equation}
618 \begin{itemize}
619 \item $X_{j}$  : indicates whether or  not the sensor  $j$ is actively
620   sensing in the round (1 if yes and 0 if not);
621 \item $\Theta_{p}$  : {\it overcoverage}, the number  of sensors minus
622   one that are covering the primary point $p$;
623 \item $U_{p}$  : {\it undercoverage},  indicates whether or  not point
624   $p$ is being covered (1 if not covered and 0 if covered).
625 \end{itemize}
626
627 The first group  of constraints indicates that some  primary point $p$
628 should be covered by at least one  sensor and, if it is not always the
629 case,  overcoverage  and  undercoverage  variables  help  balance  the
630 restriction  equation by taking  positive values.  There are  two main
631 objectives.  First we limit overcoverage of primary points in order to
632 activate a minimum number of sensors.  Second we prevent that parts of
633 the  subregion are  not  monitored by  minimizing undercoverage.   The
634 weights  $w_\theta$  and  $w_U$  must  be properly  chosen  so  as  to
635 guarantee that  the maximum number  of points are covered  during each
636 round.
637  
638 %In equation \eqref{eq15}, there are two main objectives: the first one using  the Overcoverage parameter to minimize the number of active sensor nodes in the produced final solution vector $X$ which leads to improve the life time of wireless sensor network. The second goal by using the  Undercoverage parameter  to maximize the coverage in the region by means of covering each primary point in $SSET^k$.The two objectives are achieved at the same time. The constraint which represented in equation \eqref{eq16} refer to the coverage function for each primary point $P_p$ in $SSET^k$ , where each $P_p$ should be covered by
639 %at least one sensor node in $A^k$. The objective function in \eqref{eq15} involving two main objectives to be optimized simultaneously, where optimal decisions need to be taken in the presence of trade-offs between the two conflicting main objectives in \eqref{eq15} and this refer to that our coverage optimization problem is a multi-objective optimization problem and we can use the BPSO to solve it. The concept of Overcoverage and Undercoverage inspired from ~\cite{Fernan12} but we use it with our model as stated in subsection \ref{Sensing Coverage Model} with some modification to be applied later by BPSO.
640 %\subsection{Notations and assumptions}
641
642 %\begin{itemize}
643 %\item $m$ : the number of targets
644 %\item $n$ : the number of sensors
645 %\item $K$ : maximal number of cover sets
646 %\item $i$ : index of target ($i=1..m$)
647 %\item $j$ : index of sensor ($j=1..n$)
648 %\item $k$ : index of cover set ($k=1..K$)
649 %\item $T_0$ : initial set of targets
650 %\item $S_0$ : initial set of sensors
651 %\item $T $ : set of targets which are not covered by at least one cover set
652 %\item $S$ : set of available sensors
653 %\item $S_0(i)$ : set of sensors which cover the target $i$
654 %\item $T_0(j)$ : set of targets covered by sensor $j$
655 %\item $C_k$ : cover set of index $k$
656 %\item $T(C_k)$ : set of targets covered by the cover set $k$
657 %\item $NS(i)$ : set of  available sensors which cover the target $i$
658 %\item $NC(i)$ : set of cover sets which do not cover the target $i$
659 %\item $|.|$ : cardinality of the set
660
661 %\end{itemize}
662
663 \section{Simulation Results}
664 \label{exp}
665
666 In this section, we conducted  a series of simulations to evaluate the
667 efficiency  and relevance of  our approach,  using the  discrete event
668 simulator  OMNeT++  \cite{varga}. We  performed  simulations for  five
669 different densities varying from 50 to 250~nodes. Experimental results
670 were  obtained from  randomly generated  networks in  which  nodes are
671 deployed over a  $(50 \times 25)~m^2 $ sensing  field. 
672 More precisely, the deployment is controlled at a coarse scale in
673   order to ensure that the  deployed nodes can fully cover the sensing
674   field with the given sensing range.
675 10~simulation  runs  are performed  with
676 different  network  topologies for  each  node  density.  The  results
677 presented hereafter  are the  average of these  10 runs.  A simulation
678 ends  when  all the  nodes  are dead  or  the  sensor network  becomes
679 disconnected (some nodes may not be  able to sent to a base station an
680 event they sense).
681
682 Our proposed coverage protocol uses the radio energy dissipation model
683 defined by~\cite{HeinzelmanCB02} as  energy consumption model for each
684 wireless  sensor node  when  transmitting or  receiving packets.   The
685 energy of  each node in a  network is initialized  randomly within the
686 range 24-60~joules, and each sensor node will consume 0.2 watts during
687 the sensing period which will have  a duration of 60 seconds. Thus, an
688 active  node will  consume  12~joules during  sensing  phase, while  a
689 sleeping  node will  use  0.002  joules.  Each  sensor  node will  not
690 participate in the next round if its remaining energy is less than 12
691 joules.  In  all  experiments  the  parameters  are  set  as  follows:
692 $R_s=5m$, $w_{\Theta}=1$, and $w_{U}=|P^2|$.
693
694 We  evaluate the  efficiency of  our approach  using  some performance
695 metrics such as: coverage ratio,  number of active nodes ratio, energy
696 saving  ratio, energy consumption,  network lifetime,  execution time,
697 and number of stopped simulation runs.  Our approach called Strategy~2
698 (with Two Leaders)  works with two subregions, each  one having a size
699 of $(25 \times 25)~m^2$.  Our strategy will be compared with two other
700 approaches. The first one,  called Strategy~1 (with One Leader), works
701 as Strategy~2, but considers only one region of $(50 \times 25)$ $m^2$
702 with only  one leader.  The  other approach, called  Simple Heuristic,
703 consists in dividing  uniformly the region into squares  of $(5 \times
704 5)~m^2$.   During the  decision phase,  in  each square,  a sensor  is
705 randomly  chosen, it  will remain  turned  on for  the coming  sensing
706 phase.
707
708 \subsection{The impact of the Number of Rounds on Coverage Ratio} 
709
710 In this experiment, the coverage ratio measures how much the area of a
711 sensor field is  covered. In our case, the  coverage ratio is regarded
712 as the number  of primary points covered among the  set of all primary
713 points  within the field.  Figure~\ref{fig3} shows  the impact  of the
714 number of rounds on the  average coverage ratio for 150 deployed nodes
715 for the  three approaches.  It can be  seen that the  three approaches
716 give  similar  coverage  ratios  during  the first  rounds.  From  the
717 9th~round the  coverage ratio  decreases continuously with  the simple
718 heuristic, while the two other strategies provide superior coverage to
719 $90\%$ for five more rounds.  Coverage ratio decreases when the number
720 of rounds increases  due to dead nodes. Although  some nodes are dead,
721 thanks to  strategy~1 or~2,  other nodes are  preserved to  ensure the
722 coverage. Moreover, when  we have a dense sensor  network, it leads to
723 maintain the full coverage for  larger number of rounds. Strategy~2 is
724 slightly more efficient that strategy 1, because strategy~2 subdivides
725 the region into 2~subregions and  if one of the two subregions becomes
726 disconnected,  coverage   may  be  still  ensured   in  the  remaining
727 subregion.
728
729 \parskip 0pt 
730 \begin{figure}[h!]
731 \centering
732 \includegraphics[scale=0.55]{TheCoverageRatio150.eps} %\\~ ~ ~(a)
733 \caption{The impact of the Number of Rounds on Coverage Ratio for 150 deployed nodes}
734 \label{fig3}
735 \end{figure} 
736
737 \subsection{The impact of the Number of Rounds on Active Sensors Ratio} 
738
739 It is important to have as few active nodes as possible in each round,
740 in  order to  minimize  the communication  overhead  and maximize  the
741 network lifetime.  This point is  assessed through the  Active Sensors
742 Ratio, which is defined as follows:
743 \begin{equation*}
744 \scriptsize
745 \mbox{ASR}(\%) = \frac{\mbox{Number of active sensors 
746 during the current sensing phase}}{\mbox{Total number of sensors in the network
747 for the region}} \times 100.
748 \end{equation*}
749 Figure~\ref{fig4} shows  the average active nodes ratio versus rounds
750 for 150 deployed nodes.
751
752 \begin{figure}[h!]
753 \centering
754 \includegraphics[scale=0.55]{TheActiveSensorRatio150.eps} %\\~ ~ ~(a)
755 \caption{The impact of the Number of Rounds on Active Sensors Ratio for 150 deployed nodes }
756 \label{fig4}
757 \end{figure} 
758
759 The  results presented  in figure~\ref{fig4}  show the  superiority of
760 both proposed  strategies, the Strategy  with Two Leaders and  the one
761 with a  single Leader,  in comparison with  the Simple  Heuristic. The
762 Strategy with One Leader uses less active nodes than the Strategy with
763 Two Leaders until the last  rounds, because it uses central control on
764 the whole sensing field.  The  advantage of the Strategy~2 approach is
765 that even if a network is disconnected in one subregion, the other one
766 usually  continues  the optimization  process,  and  this extends  the
767 lifetime of the network.
768
769 \subsection{The impact of the Number of Rounds on Energy Saving Ratio} 
770
771 In this experiment, we consider a performance metric linked to energy.
772 This metric, called Energy Saving Ratio, is defined by:
773 \begin{equation*}
774 \scriptsize
775 \mbox{ESR}(\%) = \frac{\mbox{Number of alive sensors during this round}}
776 {\mbox{Total number of sensors in the network for the region}} \times 100.
777 \end{equation*}
778 The  longer the ratio  is high,  the more  redundant sensor  nodes are
779 switched off, and consequently  the longer the  network may  be alive.
780 Figure~\ref{fig5} shows the average  Energy Saving Ratio versus rounds
781 for all three approaches and for 150 deployed nodes.
782
783 \begin{figure}[h!]
784 %\centering
785 % \begin{multicols}{6}
786 \centering
787 \includegraphics[scale=0.55]{TheEnergySavingRatio150.eps} %\\~ ~ ~(a)
788 \caption{The impact of the Number of Rounds on Energy Saving Ratio for 150 deployed nodes}
789 \label{fig5}
790 \end{figure} 
791
792 The simulation  results show that our strategies  allow to efficiently
793 save energy by  turning off some sensors during  the sensing phase. As
794 expected, the Strategy with One Leader is usually slightly better than
795 the second  strategy, because the  global optimization permit  to turn
796 off more  sensors. Indeed,  when there are  two subregions  more nodes
797 remain awake  near the border shared  by them. Note that  again as the
798 number of  rounds increases  the two leader  strategy becomes  the most
799 performing, since its takes longer  to have the two subregion networks
800 simultaneously disconnected.
801
802 \subsection{The Number of Stopped Simulation Runs}
803
804 We  will now  study  the number  of  simulation which  stopped due  to
805 network  disconnection, per round  for each  of the  three approaches.
806 Figure~\ref{fig6} illustrates the average number of stopped simulation
807 runs per  round for 150 deployed  nodes.  It can be  observed that the
808 heuristic is  the approach which  stops the earlier because  the nodes
809 are  chosen   randomly.   Among  the  two   proposed  strategies,  the
810 centralized  one  first  exhibits  network  disconnection.   Thus,  as
811 explained previously, in case  of the strategy with several subregions
812 the  optimization effectively  continues as  long  as a  network in  a
813 subregion   is  still   connected.   This   longer   partial  coverage
814 optimization participates in extending the lifetime.
815
816 \begin{figure}[h!]
817 \centering
818 \includegraphics[scale=0.55]{TheNumberofStoppedSimulationRuns150.eps} 
819 \caption{The Number of Stopped Simulation Runs against Rounds for 150 deployed nodes }
820 \label{fig6}
821 \end{figure} 
822
823 \subsection{The Energy Consumption}
824
825 In this experiment, we study the effect of the multi-hop communication
826 protocol  on the  performance of  the  Strategy with  Two Leaders  and
827 compare  it  with  the  other  two  approaches.   The  average  energy
828 consumption  resulting  from  wireless  communications  is  calculated
829 considering the  energy spent by  all the nodes when  transmitting and
830 receiving  packets during  the network  lifetime. This  average value,
831 which  is obtained  for 10~simulation  runs,  is then  divided by  the
832 average number of rounds to define a metric allowing a fair comparison
833 between networks having different densities.
834
835 Figure~\ref{fig7} illustrates the Energy Consumption for the different
836 network  sizes and  the three  approaches. The  results show  that the
837 Strategy  with  Two  Leaders  is  the  most  competitive  from  energy
838 consumption point  of view.  A  centralized method, like  the Strategy
839 with  One  Leader, has  a  high energy  consumption  due  to the  many
840 communications.   In fact,  a distributed  method greatly  reduces the
841 number  of communications thanks  to the  partitioning of  the initial
842 network in several independent subnetworks. Let us notice that even if
843 a  centralized  method  consumes  far  more  energy  than  the  simple
844 heuristic, since the energy cost of communications during a round is a
845 small  part   of  the   energy  spent  in   the  sensing   phase,  the
846 communications have a small impact on the lifetime.
847
848 \begin{figure}[h!]
849 \centering
850 \includegraphics[scale=0.55]{TheEnergyConsumption.eps} 
851 \caption{The Energy Consumption  }
852 \label{fig7}
853 \end{figure} 
854
855 \subsection{The impact of Number of Sensors on Execution Time}
856
857 A  sensor  node has  limited  energy  resources  and computing  power,
858 therefore it is important that the proposed algorithm has the shortest
859 possible execution  time. The energy of  a sensor node  must be mainly
860 used   for  the  sensing   phase,  not   for  the   pre-sensing  ones.
861 Table~\ref{table1} gives the average  execution times  in seconds
862 on a laptop of the decision phase (solving of the optimization problem)
863 during one  round.  They  are given for  the different  approaches and
864 various numbers of sensors.  The lack of any optimization explains why
865 the heuristic has very  low execution times.  Conversely, the Strategy
866 with  One  Leader which  requires  to  solve  an optimization  problem
867 considering  all  the  nodes  presents  redhibitory  execution  times.
868 Moreover, increasing of 50~nodes  the network size multiplies the time
869 by  almost a  factor of  10. The  Strategy with  Two Leaders  has more
870 suitable times.  We  think that in distributed fashion  the solving of
871 the  optimization problem  in a  subregion  can be  tackled by  sensor
872 nodes.   Overall,  to  be  able   deal  with  very  large  networks  a
873 distributed method is clearly required.
874
875 \begin{table}[ht]
876 \caption{The Execution Time(s) vs The Number of Sensors}
877 % title of Table
878 \centering
879
880 % used for centering table
881 \begin{tabular}{|c|c|c|c|}
882 % centered columns (4 columns)
883       \hline
884 %inserts double horizontal lines
885 Sensors Number & Strategy~2 & Strategy~1  & Simple Heuristic \\ [0.5ex]
886  & (with Two Leaders) & (with One Leader) & \\ [0.5ex]
887 %Case & Strategy (with Two Leaders) & Strategy (with One Leader) & Simple Heuristic \\ [0.5ex]
888 % inserts table
889 %heading
890 \hline
891 % inserts single horizontal line
892 50 & 0.097 & 0.189 & 0.001 \\
893 % inserting body of the table
894 \hline
895 100 & 0.419 & 1.972 & 0.0032 \\
896 \hline
897 150 & 1.295 & 13.098 & 0.0032 \\
898 \hline
899 200 & 4.54 & 169.469 & 0.0046 \\
900 \hline
901 250 & 12.252 & 1581.163 & 0.0056 \\
902 % [1ex] adds vertical space
903 \hline
904 %inserts single line
905 \end{tabular}
906 \label{table1}
907 % is used to refer this table in the text
908 \end{table}
909
910 \subsection{The Network Lifetime}
911
912 Finally, we  have defined the network  lifetime as the  time until all
913 nodes  have  been drained  of  their  energy  or each  sensor  network
914 monitoring  an area becomes  disconnected.  In  figure~\ref{fig8}, the
915 network  lifetime for different  network sizes  and for  both Strategy
916 with Two  Leaders and the Simple  Heuristic is illustrated. 
917   We do  not consider  anymore the  centralized Strategy  with One
918   Leader, because, as shown above, this strategy results  in execution
919   times that quickly become unsuitable for a sensor network.
920
921 \begin{figure}[h!]
922 %\centering
923 % \begin{multicols}{6}
924 \centering
925 \includegraphics[scale=0.5]{TheNetworkLifetime.eps} %\\~ ~ ~(a)
926 \caption{The Network Lifetime }
927 \label{fig8}
928 \end{figure} 
929
930 As  highlighted by figure~\ref{fig8},  the network  lifetime obviously
931 increases when  the size  of the network  increase, with  our approach
932 that leads to  the larger lifetime improvement.  By  choosing for each
933 round the  well suited nodes  to cover the  region of interest  and by
934 letting the other ones sleep in order to be used later in next rounds,
935 our strategy efficiently prolongs the lifetime. Comparison shows that
936 the larger  the sensor number  is, the more our  strategies outperform
937 the Simple Heuristic.  Strategy~2, which uses two leaders, is the best
938 one because it is robust to network disconnection in one subregion. It
939 also  means   that  distributing  the  algorithm  in   each  node  and
940 subdividing the sensing field  into many subregions, which are managed
941 independently and simultaneously, is the most relevant way to maximize
942 the lifetime of a network.
943
944 \section{Conclusions and Future Works}
945 \label{sec:conclusion}
946
947 In this paper, we have  addressed the problem of coverage and lifetime
948 optimization  in wireless  sensor networks.   This is  a key  issue as
949 sensor nodes  have limited  resources in terms  of memory,  energy and
950 computational power. To  cope with this problem, the  field of sensing
951 is   divided   into   smaller   subregions  using   the   concept   of
952 divide-and-conquer method,  and then a  multi-rounds coverage protocol
953 will optimize  coverage and  lifetime performances in  each subregion.
954 The  proposed  protocol  combines  two efficient  techniques:  network
955 Leader Election  and sensor activity scheduling,  where the challenges
956 include how to select the  most efficient leader in each subregion and
957 the best  representative active nodes that will  optimize the lifetime
958 while  taking   the  responsibility  of   covering  the  corresponding
959 subregion.   The network lifetime  in each  subregion is  divided into
960 rounds, each round consists  of four phases: (i) Information Exchange,
961 (ii) Leader Election, (iii) an optimization-based Decision in order to
962 select  the  nodes remaining  active  for  the  last phase,  and  (iv)
963 Sensing.  The  simulations results show the relevance  of the proposed
964 protocol in  terms of lifetime, coverage ratio,  active sensors Ratio,
965 energy saving,  energy consumption, execution time, and  the number of
966 stopped simulation  runs due  to network disconnection.   Indeed, when
967 dealing with  large and dense wireless sensor  networks, a distributed
968 approach like the one we propose  allows to reduce the difficulty of a
969 single global optimization problem  by partitioning it in many smaller
970 problems, one per subregion, that can be solved more easily.
971
972 In  future, we plan  to study  and propose  a coverage  protocol which
973 computes  all  active  sensor  schedules  in  a  single  round,  using
974 optimization  methods  such  as  swarms optimization  or  evolutionary
975 algorithms.  This single  round  will still  consists  of 4  phases, but  the
976   decision phase will compute the schedules for several sensing phases
977   which aggregated together define a kind of meta-sensing phase.
978 The computation of all cover sets in one round is far more
979 difficult, but will reduce the communication overhead.
980
981 % use section* for acknowledgement
982 %\section*{Acknowledgment}
983
984 \bibliographystyle{IEEEtran}
985 \bibliography{bare_conf}
986
987 % that's all folks
988 \end{document}
989
990