본 논문에서는 최근 많은 연구가 진행되고 있는 무선 센서 네트워크 분야에서 이동 센서 노드의 배치 알고리즘인 DSSA(Distributed Self Spreading Algorithm)와 TBDA(Tree Based Deployment Algorithm)을 모델링 하고, 이들 알고리즘의 안정성과 정확성을 널리 사용되고 있는 모델 검증 도구인 SPIN을 이용하여 검증한다. 그리고 두 알고리즘이 무선 센서 네트워크의 중요사항인 에너지 소비면에서 효율적으로 동작하는지 SPIN 검증 도구를 이용하여 비교분석하고, DSSA에서 발생하는 진동에 대한 보완점을 제시한다.
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.
