Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2006.13D.3.391

Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN  

Oh Dong-Jin (인하대학교 정보통신공학부)
Park Jae-Hyun (인하대학교 정보통신공학부)
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.
Keywords
Verification; SPIN; Deployment Algorithm;
Citations & Related Records
연도 인용수 순위
  • Reference
1 F. Ye et al., 'A Scalable Solution to Minimum Cost Forwarding in Large Sensor Networks,' Proc. 10th Int'l. Conf. Comp. Commun. and Networks, pp.304-309, 2001   DOI
2 W. Heinzelman, A. Chandrakasan and H. Balakrishnan, 'Energy-Efficient Communication Protocol for Wireless Microsensor Networks,' Proc. 33rd Hawaii Int'l. Conf. Sys. Sci., Jan., 2000
3 C-T. Chou and D. Peled, 'Verifying a Model-Checking Algorithm,' Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS96), Passau, Germany, Lecture Notes in Computer Science 1,055, pp.241-257 Springer-Verlag, May, 1996
4 http://spinroot.com/spin/whatispin.html
5 방기석, 최진영, 'Gerald J. Holzman의 'The Model Checker SPIN'에 대하여', 정보과학논문지(B) 제25권 제11호, pp.1648-1656, 1998
6 G. J. Holzmann, 'The Model Checker SPIN,' IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, May, 1997   DOI   ScienceOn
7 B. Boigelot and P. Godefroid, 'Model Checking in Practice: An Analysis of the ACCESS Bus Protocol Using SPIN,' Proc. Formal Methods Europe (FME96), Oxford, England, Lecture Notes in Computer Science 1, 051, pp.465-478, Springer-Verleg, Mar., 1996
8 I. Akyildiz et al., 'A Survey on Sensor Networks,' IEEE Commun. Mag.,' Vol.40, No.8, pp.102-114, Aug., 2002   DOI   ScienceOn
9 N. Heo and P.K. Varshney, 'A Distributed Self Spreading Algorithm for Mobile Wireless Sensor Networks,' Proc. Wireless Communications and Networking, 2003. (WCNC 2003), 2003 IEEE Vol.3, pp.1597-1602, Mar., 2003   DOI
10 문종천, '이동 센서 네트워크에서의 트리 기반 배치 알고리즘에 관한 연구', 인하대학교 대학원 석사학위논문, 2006. 2
11 I. Barland, 'PROMELA AND SPIN REFERENCE', Version 1.3, Aug., 2004
12 J. Chaves, 'Formal Methods at AT&T, An Industrial Usage Report,' Proc. Fourth FORTE Conf. Formal Description Techniques, pp.83-90, Sydney, Australia, 1991
13 S. Tilak, N. Abu-Ghazaleh and W. Heinzelman, 'A Taxonomy of Wireless Micro-sensor Network Models,' ACM SIGMOBILE Mobile Comp. Commun. Rev., Vol.6, No.2, pp.28-36, Apr., 2002   DOI