skip to main content
10.5555/1390576.1390617acmconferencesArticle/Chapter ViewAbstractPublication PagestridentcomConference Proceedingsconference-collections
research-article

An automatic protocol verification framework for the development of wireless sensor networks

Published: 18 March 2008 Publication History

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.

References

[1]
IEEE 802.15.4 Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs), http://www.ieee802.org/15/pub/TG4.html
[2]
TinyOS, http://www.tinyos.net
[3]
ZigBee Alliance, http://www.zigbee.org
[4]
J. Beutel, M. Dyer, R. Lim, C. Plessl, M. Wöhrle, M. Yücel and L. Thiele, "Automated Wireless Sensor Network Testing". Proc. 4th International Conference on Networked Sensing Systems (INSS 2007), IEEE, Piscataway, NJ, June, 2007, page 303.
[5]
Ian F. Smith, "Test automation for embedded products", 2004.06
[6]
TaeHyun Kim, SangShin Lee, JaeHo Kim, IlYeup Ahn, MinHwan Song, KwangHo Won, "Design of XML based interface definition language between embedded device and host server", The 9th Conference on Next Generation Communication Software (NCS 2006), KICS, Pyoungchang, Republic of Korea, November, 2006
[7]
W3C XML specification, http://www.w3.org/TR/REC-xml

Cited By

View all
  • (2017)A Competition to Push the Dependability of Low-Power Wireless Protocols to the EdgeProceedings of the 2017 International Conference on Embedded Wireless Systems and Networks10.5555/3108009.3108018(54-65)Online publication date: 20-Feb-2017
  • (2013)SensorCheckerProceedings of the 2nd ACM annual international workshop on Mission-oriented wireless sensor networking10.1145/2509338.2509344(51-56)Online publication date: 4-Oct-2013

Index Terms

  1. An automatic protocol verification framework for the development of wireless sensor networks

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      TridentCom '08: Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities
      March 2008
      335 pages
      ISBN:9789639799240

      Sponsors

      Publisher

      ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

      Brussels, Belgium

      Publication History

      Published: 18 March 2008

      Check for updates

      Author Tags

      1. WSN
      2. XML
      3. test automation

      Qualifiers

      • Research-article

      Conference

      TridentCom08
      Sponsor:

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 30 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2017)A Competition to Push the Dependability of Low-Power Wireless Protocols to the EdgeProceedings of the 2017 International Conference on Embedded Wireless Systems and Networks10.5555/3108009.3108018(54-65)Online publication date: 20-Feb-2017
      • (2013)SensorCheckerProceedings of the 2nd ACM annual international workshop on Mission-oriented wireless sensor networking10.1145/2509338.2509344(51-56)Online publication date: 4-Oct-2013

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media