DocumentCode
2332552
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
fYear
2009
fDate
25-27 May 2009
Firstpage
730
Lastpage
733
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICIEA.2009.5138301
Filename
5138301
Link To Document