ProQuest® Dissertations & Theses

The world's most comprehensive collection of

dissertations and theses. Learn more...

Design and analysis of self-stabilizing sensor network protocols

by Choi, Young-ri, Ph.D., THE UNIVERSITY OF TEXAS AT AUSTIN, 2007, 162
pages; 3274770

Abstract: Advisor: Gouda, Mohamed

G.
A sensor is a battery-operated small computer School: THE
with an antenna and a sensing board that can UNIVERSITY OF
sense magnetism, sound, heat, etc. Sensors in a TEXAS AT
network communicate and cooperate with other AUSTIN
sensors to perform given tasks. A sensor Source: DAI-B 68/07, p. ,
network is exposed to various dynamic factors Jan 2008
and faults, such as topology changes, energy
Source
saving features, unreliable communication, and Ph.D.
Type:
hardware/software failures. Thus, protocols in
this sensor network should be able to adapt to Subjects: Computer science
dynamic factors and recover from faults. Publication
3274770
Number:
In this dissertation, we focus on designing and
analyzing a class of sensor network protocols,
called self-stabilizing protocols. A self-
stabilizing protocol is guaranteed to return to a
state where it performs its intended function
correctly, when some dynamic factors or faults
corrupt the state of the protocol arbitrarily.
Therefore, in order to make a sensor network
resilient to dynamic factors and faults, each
protocol in the sensor network should be self-
stabilizing.

We first develop a state-based model that can be

used to formally specify sensor network
protocols. This model accommodates several
unique characteristics of sensor networks, such
as unavoidable local broadcast, probabilistic
message transmission, asymmetric
communication, message collision, and timeout
actions and randomization steps. Second, we
present analysis methods for verifying and
analyzing the correctness and self-stabilization
properties of sensor network protocols specified
in this model. Third, using the state-based model
and analysis methods, we design three self-
stabilizing sensor network protocols, prove their
self-stabilization properties, and estimate their
performance. These three self-stabilizing
protocols are a sentry-sleeper protocol that elects
a sentry from a group of sensors at the beginning
of each time period, a logical grid routing
protocol that builds a routing tree whose root is
the base station, and a family of flood
sequencing protocols that distinguish between
fresh and redundant flood messages using
sequence numbers.

Access the complete dissertation:

» Find an electronic copy at your library.

Use the link below to access a full citation record of this graduate work:
http://gateway.proquest.com/openurl%3furl_ver=Z39.88-
2004%26res_dat=xri:pqdiss%26rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation
%26rft_dat=xri:pqdiss:3274770
If your library subscribes to the ProQuest Dissertations & Theses (PQDT)
database, you may be entitled to a free electronic version of this graduate
work. If not, you will have the option to purchase one, and access a 24 page
preview for free (if available).

About ProQuest Dissertations & Theses

With over 2.3 million records, the ProQuest Dissertations & Theses (PQDT) database is
the most comprehensive collection of dissertations and theses in the world. It is the
database of record for graduate research.

The database includes citations of graduate works ranging from the first U.S. dissertation,
accepted in 1861, to those accepted as recently as last semester. Of the 2.3 million
graduate works included in the database, ProQuest offers more than 1.9 million in full
text formats. Of those, over 860,000 are available in PDF format. More than 60,000
dissertations and theses are added to the database each year.
If you have questions, please feel free to visit the ProQuest Web site -
http://www.il.proquest.com - or call ProQuest Hotline Customer Support at 1-800-521-
3042.

Copyright © 2007 ProQuest. All rights reserved. Terms and Conditions