BROWSE

Related Researcher

Author

Choi, Young-Ri
System Software Lab
Research Interests
  • Computer systems, system software, cloud computing, virtualization

ITEM VIEW & DOWNLOAD

A state-based model of sensor protocols

Cited 1 times inthomson ciCited 2 times inthomson ci
Title
A state-based model of sensor protocols
Author
Choi, Young-riGouda, Mohamed G.
Keywords
Formal model; Protocol specifications; Protocol verification; Self-stabilization; State-based models
Issue Date
201211
Publisher
ELSEVIER SCIENCE BV
Citation
THEORETICAL COMPUTER SCIENCE, v.458, no., pp.61 - 75
Abstract
We introduce a state-based model that can be used in specifying and verifying the desired properties of sensor network protocols. This model accommodates several characteristics that are common in sensor networks. Examples of these characteristics are unavoidable local broadcast, probabilistic message transmission, asymmetric communication, message collision, and timeout actions and randomization steps. We also propose three methods for analyzing a sensor network protocol specified in the model. In the first method. called nondeterministic analysis, a specified sensor network protocol is shown to be "nondeterministically correct" under the assumption that message delivery is assured and message collision is guaranteed not to occur. In the second method, called probabilistic analysis, the protocol is shown to be "probabilistically correct" under the assumption that message delivery is probabilistic but message collision is guaranteed not to occur. In the third method, called collision analysis, the effect of message collision and probabilistic message delivery on the correctness of the protocol is analyzed. To demonstrate the utility of our model, we discuss an example protocol that can be used by a sensor to identify its strong neighbors in the network, and apply the analysis methods to the protocol. Using our model, we also show that the protocol satisfies a desirable property, called self-stabilization property.
URI
Go to Link
DOI
http://dx.doi.org/10.1016/j.tcs.2012.08.013
ISSN
0304-3975
Appears in Collections:
ECE_Journal Papers

find_unist can give you direct access to the published full text of this article. (UNISTARs only)

Show full item record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

MENU