Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN 


Vol. 13,  No. 3, pp. 391-398, Jun.  2006
10.3745/KIPSTD.2006.13.3.391


PDF
  Abstract

This paper verifies deployment algorithms in wireless sensor networks using SPIN, a widely used model checking tool. In this paper, two deployment algorithms, DSSA(Distributed Self Spreading Algorithm) and TBDA(Tree-Based Deployment Algorithm), are verified to check their stability against oscillation as well as energy consumption that is an important factor in wireless sensor networks.

  Statistics
  Cite this article

[IEEE Style]

D. J. Oh and J. H. Park, "Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN," The KIPS Transactions:PartD, vol. 13, no. 3, pp. 391-398, 2006. DOI: 10.3745/KIPSTD.2006.13.3.391.

[ACM Style]

Dong Jin Oh and Jae Hyun Park. 2006. Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN. The KIPS Transactions:PartD, 13, 3, (2006), 391-398. DOI: 10.3745/KIPSTD.2006.13.3.391.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals