TEPAWSN: A formal analysis tool for wireless sensor networks

Man, Ka Lok; Krilavičius, Tomas; Vallee, Thierry; Leung, H.L

Type of publication:

Straipsnis kituose recenzuojamuose leidiniuose / Article in other peer-reviewed editions (S5)

Field of Science:

Informatika / Informatics (N009)

Author(s):

Man, Ka Lok;Krilavičius, Tomas;Vallee, Thierry;Leung, H.L

Title:

TEPAWSN: A formal analysis tool for wireless sensor networks

Is part of:

International journal of research and reviews in computer science. Kohat, Pakistan : Kohat University of Science and Technology, 2010, Vol. 1, no. 1

Extent:

p. 24-26

Date:

2010

Keywords:

PAWSN;TEPAWSN;WSNs

Abstract:

Growing safety, correctness, reliability and performance requirements for Wireless Sensor Networks (WSN) have increased demand for advanced design and development techniques. Formal methods provide basic means to achieve these goals. We propose a formal language PAWSN and an umbrella tool environment TEPAWSN that combines different formal techniques for modeling, analysis and development of power aware WSNs

Internet:

http://scholarlyexchange.org/ojs/index.php/IJRRCS/article/view/5665/3931

Affiliation(s):

Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas

Appears in Collections:

Universiteto mokslo publikacijos / University Research Publications

Files in This Item:

Export via OAI-PMH Interface in XML Formats

Export to Other Non-XML Formats

Page view(s)

Download(s)

Google Scholar^TM