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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (259 KB)

Source

Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities table of contents

Innsbruck, Austria

SESSION: Wireless sensor testbeds and virtualization table of contents

Article No. 33

Year of Publication: 2008

ISBN:978-963-9799-24-0

Authors

Taehyun Kim	Korea Electronics Technology Institute, Republic of Korea
Jaeho Kim	Korea Electronics Technology Institute, Republic of Korea
Sangshin Lee	Korea Electronics Technology Institute, Republic of Korea
Ilyeup Ahn	Korea Electronics Technology Institute, Republic of Korea
Minan Song	Korea Electronics Technology Institute, Republic of Korea
Kwangho Won	Korea Electronics Technology Institute, Republic of Korea

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
: imdea networks
: Create-Net
ACM : Assoc. for Computing Machinery
: ICST

Publisher

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

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 40, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked 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