Title :
TEPAWSN - A tool environment for Wireless Sensor Networks
Author :
Man, K.L. ; Vallee, T. ; Leung, H.L. ; Mercaldi, M. ; van der Wulp, J. ; Donno, M. ; Pastrnak, M.
Author_Institution :
Solari, Hong Kong
Abstract :
We strongly believe that Wireless Sensor Network (WSN) development must be supported from the design phase by formal methods to achieve strong results on correctness, performance, cost and efficiency. In this paper, we propose a tool environment called TEPAWSN for WSNs which will make a relevant contribution to the WSN research by facilitating the design and analysis of power aware WSNs.
Keywords :
telecommunication network topology; wireless sensor networks; TEPAWSN; formal methods; tool environment; wireless sensor networks; Algebra; Algorithm design and analysis; Circuit simulation; Costs; Embedded system; Mathematical model; Operating systems; Performance analysis; Time to market; Wireless sensor networks; Wireless Sensor Networks (WSNs); formal methods; low power; modelling; process algebras; simulation and verification;
Conference_Titel :
Industrial Electronics and Applications, 2009. ICIEA 2009. 4th IEEE Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-4244-2799-4
Electronic_ISBN :
978-1-4244-2800-7
DOI :
10.1109/ICIEA.2009.5138301
