Related Researcher

Author's Photo

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


A state-based model of sensor protocols

DC Field Value Language Choi, Young-Ri - Gouda, Mohamed G. - 2015-01-08T00:04:23Z - 2015-01-08T00:04:23Z - 2015-01-07 - 2006 -
dc.identifier.citation LECTURE NOTES IN COMPUTER SCIENCE, v.3974, no., pp.246 - 260 -
dc.identifier.issn 0302-9743 -
dc.identifier.uri -
dc.description.abstract We introduce a state-based model that can be used in specifying sensor network protocols. This model accommodates several features that are common in sensor networks. Examples of these features are 1-step local broadcast, probabilistic delivery of messages, asymmetric communication, and message collision. We propose a three-step method for verifying sensor protocols that are specified in this model. In the first step, the specified 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 step, the protocol is proven "probabilistically correct" under the assumption that message delivery is probabilistic but message collision is guaranteed not to occur. In the third step, the correctness of the protocol is proven by a simulation where message delivery is probabilistic and message collision may occur (when two or more neighboring sensors happen to send messages at the same time). 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 verification method to the protocol. -
dc.description.statementofresponsibility open -
dc.language ENG -
dc.subject sensor network -
dc.subject state-based model -
dc.subject formal model -
dc.subject protocol specification -
dc.subject protocol verification -
dc.title A state-based model of sensor protocols -
dc.type ARTICLE -
dc.identifier.scopusid 2-s2.0-38349076347 -
dc.identifier.wosid 000244491000018 -
dc.type.rims ART -
dc.description.wostc 2 *
dc.description.scopustc 1 * 2015-12-28 * 2015-11-04 *
Appears in Collections:
EE_Journal Papers

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

Show simple item record


  • mendeley


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