TEPAWSN Environment for the Design of Wireless Sensor Networks

Organisation:	Xi'an Jiaotong-Liverpool University (CHINA) Vytautas Magnus University (LITHUANIA) Solari (HONG KONG)
Functionality:	Design of power-aware wireless sensor networks.
Tools used:	CADP (Construction and Analysis of Distributed Processes)
Period:	2009-2010
Description:	A wireless sensor network (WSN) typically consists of a large number of sensor nodes that communicate wirelessly. They monitor the environment and report critical information in a wide variety of areas of application, including battlefield surveillance, industrial process monitoring and control, machine health monitoring, environment and habitat monitoring, healthcare applications, home automation and traffic control. The nature of these applications places extremely high requirements on the reliability, correctness, and power consumption of the devices. WSNs are complex and costly, and designers use formal methods to verify that they meet requirements while producing them as rapidly as possible to meet market needs. PAWSN is a process algebra specifically created for specifying WSNs. TEPAWSN is the Tool Environment for PAWSN. Its designers chose not to develop a completely new set of tools, but rather to provide an "umbrella" allowing existing verification tools such as CADP to be used. The TEPAWSN environment contains tools that convert a PAWSN specification into the various forms required for power analysis, simulation, and verification. The PAWSN2Ver tool creates a form that can be analysed using the model checking tools of CADP.
Conclusions:	A WSN specification must be verified against various correctness properties. It must also be tested in simulation, and its power usage must be analysed. The TEPAWSN toolset provides connections to suitable tools for these three analyses to be carried out based on a PAWSN specification.
Publications:	[Man-Vallee-Leung-et-al-09] K.L. Man, T. Vallee, H.L. Leung, M. Mercaldi, J. van der Wulp, M. Donno, and M. Pastrnak. "TEPAWSN - A tool environment for Wireless Sensor Networks". Proceedings of the 4th IEEE Conference on Industrial Electronics and Applications ICIEA'2009 (Xi'an, China), pages 730-733. IEEE Computer Society Press, May 2009. Available on-line at: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5138301 or from the CADP Web site in PDF or PostScript [Man-Krilavicius-Vallee-Leung-10] K.L. Man, T. Krilavicius, Th. Vallee, and H.L Leung. "TEPAWSN: A Formal Analysis Tool for Wireless Sensor Networks". International Journal of Research and Reviews in Computer Science, 24-26, Science Academy, 2010. Available on-line at: http://scholarlyexchange.org/ojs/index.php/IJRRCS/article/view/5665/0 or from the CADP Web site in PDF or PostScript
Contact:	K.L. Man Xi'an Jiaotong-Liverpool University (XJTLU) CHINA Email: ka.man@xjtlu.edu.cn
Further remarks:	This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software

Back to the CADP research tools page