TEPAWSN - A tool environment for wireless sensor networks

K. L. Man; T. Vallee; H. L. Leung; M. Mercald; J. Van Der Wul; M. Donn; M. Pastrna

doi:10.1109/ICIEA.2009.5138301

TEPAWSN - A tool environment for wireless sensor networks

K. L. Man, T. Vallee, H. L. Leung, M. Mercald, J. Van Der Wul, M. Donn, M. Pastrna

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

6 Citations (Scopus)

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.

Original language	English
Title of host publication	2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009
Pages	730-733
Number of pages	4
DOIs	https://doi.org/10.1109/ICIEA.2009.5138301
Publication status	Published - 2009
Externally published	Yes
Event	2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009 - Xi'an, China Duration: 25 May 2009 → 27 May 2009

Publication series

Name	2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009

Conference

Conference	2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009
Country/Territory	China
City	Xi'an
Period	25/05/09 → 27/05/09

Keywords

Formal methods
Low power
Modelling
Process algebras
Simulation and verification
Wireless sensor networks (WSNs)

Access to Document

10.1109/ICIEA.2009.5138301

Cite this

Man, K. L., Vallee, T., Leung, H. L., Mercald, M., Van Der Wul, J., Donn, M., & Pastrna, M. (2009). TEPAWSN - A tool environment for wireless sensor networks. In 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009 (pp. 730-733). Article 5138301 (2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009). https://doi.org/10.1109/ICIEA.2009.5138301

@inproceedings{06cb6b542c534f488c026e65afa0d0eb,

title = "TEPAWSN - A tool environment for wireless sensor networks",

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 = "Formal methods, Low power, Modelling, Process algebras, Simulation and verification, Wireless sensor networks (WSNs)",

author = "Man, {K. L.} and T. Vallee and Leung, {H. L.} and M. Mercald and {Van Der Wul}, J. and M. Donn and M. Pastrna",

year = "2009",

doi = "10.1109/ICIEA.2009.5138301",

language = "English",

isbn = "9781424428007",

series = "2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009",

pages = "730--733",

booktitle = "2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009",

note = "2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009 ; Conference date: 25-05-2009 Through 27-05-2009",

}

Man, KL, Vallee, T, Leung, HL, Mercald, M, Van Der Wul, J, Donn, M & Pastrna, M 2009, TEPAWSN - A tool environment for wireless sensor networks. in 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009., 5138301, 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009, pp. 730-733, 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009, Xi'an, China, 25/05/09. https://doi.org/10.1109/ICIEA.2009.5138301

TEPAWSN - A tool environment for wireless sensor networks. / Man, K. L.; Vallee, T.; Leung, H. L. et al.
2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009. 2009. p. 730-733 5138301 (2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - TEPAWSN - A tool environment for wireless sensor networks

AU - Man, K. L.

AU - Vallee, T.

AU - Leung, H. L.

AU - Mercald, M.

AU - Van Der Wul, J.

AU - Donn, M.

AU - Pastrna, M.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Formal methods

KW - Low power

KW - Modelling

KW - Process algebras

KW - Simulation and verification

KW - Wireless sensor networks (WSNs)

UR - http://www.scopus.com/inward/record.url?scp=70349314603&partnerID=8YFLogxK

U2 - 10.1109/ICIEA.2009.5138301

DO - 10.1109/ICIEA.2009.5138301

M3 - Conference Proceeding

AN - SCOPUS:70349314603

SN - 9781424428007

T3 - 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009

SP - 730

EP - 733

BT - 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009

T2 - 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009

Y2 - 25 May 2009 through 27 May 2009

ER -

TEPAWSN - A tool environment for wireless sensor networks

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this