Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN


The KIPS Transactions:PartD, Vol. 13, No. 3, pp. 391-398, Jun. 2006
10.3745/KIPSTD.2006.13.3.391,   PDF Download:

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
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


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.