4th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities

Research Article

An Automatic Protocol Verification Framework for the Development of Wireless Sensor Networks

Download254 downloads
  • @INPROCEEDINGS{10.4108/tridentcom.2008.3015,
        author={Taehyun Kim and Jaeho Kim and Sangshin Lee and Ilyeup Ahn and Minan Song and Kwangho Won},
        title={An Automatic Protocol Verification Framework for the Development of Wireless Sensor Networks},
        proceedings={4th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks \& Communities},
        publisher={ICST},
        proceedings_a={TRIDENTCOM},
        year={2010},
        month={5},
        keywords={WSN Test Automation XML},
        doi={10.4108/tridentcom.2008.3015}
    }
    
  • Taehyun Kim
    Jaeho Kim
    Sangshin Lee
    Ilyeup Ahn
    Minan Song
    Kwangho Won
    Year: 2010
    An Automatic Protocol Verification Framework for the Development of Wireless Sensor Networks
    TRIDENTCOM
    ICST
    DOI: 10.4108/tridentcom.2008.3015
Taehyun Kim1,*, Jaeho Kim1,*, Sangshin Lee1,*, Ilyeup Ahn1,*, Minan Song1,*, Kwangho Won1,*
  • 1: Korea Electronics Technology Institute #68 Yatapdong Bundanggu Seongnamsi Gyeonggido REPUBLIC OF KOREA +82-31-789-7515
*Contact email: thkim@keti.re.kr, jhkim@keti.re.kr, sslee@keti.re.kr, iyahn@keti.re.kr, mhsong@keti.re.kr, khwon@keti.re.kr

Abstract

In recent years, there are many active researches on Wireless Sensor Networks (WSNs) as a way to collect diverse context information around the world. A lot of new WSN protocols have been proposed and implemented for the various application fields such as military, environmental, habitat monitoring, health, home and office, and other applications. When we compose a WSN protocol stack using several layers which have been designed and implemented individually, some uncertain protocol layer modules with malfunctions may cause the serious faults of their own or entire WSNs. Therefore, it is very important to verify functions and interoperability of each layer as well as to make well-defined protocol specifications. In this paper, we propose an automatic protocol verification framework for WSNs. The proposed framework consists of a test procedure description language written in XML and a test harness which executes test procedures. We have implemented the proposed framework and used it to verify some of our own WSN protocol layers. And our test framework has performed nicely. Therefore, we think that this framework would make it possible for WSN protocol developers to verify protocols easily.