SPIN을 이용한 무선 이동 센서 네트워크의 배치 알고리즘 검증
Verification of Deployment Algorithms in Wireless Mobile Sensor Networks using SPIN
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
본 논문에서는 최근 많은 연구가 진행되고 있는 무선 센서 네트워크 분야에서 이동 센서 노드의 배치 알고리즘인 DSSA(Distributed Self Spreading Algorithm)와 TBDA(TreeBased Deployment Algorithm)을 모델링 하고, 이들 알고리즘의 안정성과 정확성을 널리 사용되고 있는 모델 검증 도구인 SPIN을 이용하여 검증한다. 그리고 두 알고리즘이 무선 센서 네트워크의 중요사항인 에너지 소비면에서 효율적으로 동작하는지 SPIN 검증 도구를 이용하여 비교분석하고, DSSA에서 발생하는 진동에 대한 보완점을 제시한다.
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(TreeBased Deployment Algorithm), are verified to check their stability against oscillation as well as energy consumption that is an important factor in wireless sensor networks.
참고문헌 (13)
- "Formal Methods at AT&T, An Industrial Usage Reprot", pp.83~90 (1991)
- "A Taxonomy of Wireless Micro-sensor Network Models", 6(2), pp.28~36 (2002)
- "The Model Checker SPIN", 23(5), pp.279~295 (1997)
- "PROMELA AND SPIN REFERENCE" (2004)
- "A Survey on Sensor Networks", 40(8), pp.102~114 (2002)
- "A Distributed Self Spreading Algorithm for Mobile Wireless Sensor Networks", 3, pp.1597~1602 (2003)
- "이동 센서 네트워크에서의 트리 기반 배치 알고리즘에 관한 연구" (2006)
- "http:", spin, pp.whatispin.html
- "The Model Checker SPIN"에 대하여", 25(11), pp.1648~1656 (1998)
- "Model Checking in Practice An Analysis of the ACCESS Bus Protocol Using SPIN", 1, pp.465~478 (1996), Springer-Verleg
- "Verifying a Model-Checking Algorithm", pp.241~257 (1996), Springer-Verlag
- "Energy-Efficient Communication Protocol for Wireless Microsensor Networks" (2000)
- "A Scalable Solution to Minimum Cost Forwarding in Large Sensor Networks", pp.304~309 (2001)