BROWSE

Related Researcher

Author's Photo

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

DC Field Value Language
dc.contributor.author Choi, Young-Ri -
dc.contributor.author Gouda, Mohamed G. -
dc.date.accessioned 2015-01-08T00:04:23Z -
dc.date.available 2015-01-08T00:04:23Z -
dc.date.created 2015-01-07 -
dc.date.issued 2006 -
dc.identifier.citation LECTURE NOTES IN COMPUTER SCIENCE, v.3974, no., pp.246 - 260 -
dc.identifier.issn 0302-9743 -
dc.identifier.uri https://scholarworks.unist.ac.kr/handle/201301/9942 -
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.publisher SPRINGER-VERLAG BERLIN -
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 *
dc.date.tcdate 2015-12-28 *
dc.date.scptcdate 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

qrcode

  • mendeley

    citeulike

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

MENU