Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Feasibility study of formal analysis of MAC protocols for wireless sensor networks
2009 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

During the last decade the research on sensors have exploded. Starting from sensors with only few hours of life time until today they have evolved to small wireless ones, with many years of life time. Introducing wireless communication capabilities to sensor nodes has added a lot of challenges. Shrinking size of the sensor requires transceivers to be extremely small. Even with small radio devices transmitting data over wireless medium is energy consuming. To prolong the life time of the sensor many attempts have been made to minimize energy usage of transceivers. A successful approach is to duty-cycle transceivers. The radio device is shut down during the period that no transmissions are ongoing. However active transceivers that can wake-up on the transmission have not been developed yet. Therefore a lot of research has been focused on the MAC protocol for wireless sensor network, WSN. With an ideal MAC protocol the transceiver should only be on when there is an ongoing transmission. Nevertheless this is an ideal scenario and due to medium unreliability, synchronization issues and distributed nature of WSN is not possible yet. Researchers have developed a lot of MAC protocols and many of them are mostly applicable for specific scenarios, others are more general. The variety of the MAC protocols poses a challenge for the developer of the applications for WSN. The developers have to analyze the protocols and make a decision on which one to choose. This is not a simple task because the MAC protocol can be available in pseudo code format, written in C/C++ or other language. The creator of the protocol may have optimized code making it hard to read and most importantly to compare to other MAC protocols. The test scenario may be slightly different from the developers setup. The question addressed in this Master Thesis is how do you choose the proper MAC protocol? In this thesis we work on developing a formal method for describing the MAC protocol. Using components we can describe and analyze the MAC protocol in a simple way. We can compare the desired metrics such as delay and energy consumption of different protocols. The positive side effect is that components can be reused in different MAC protocols therefore allowing rapid development of new protocols and optimize existing ones for the specific situation.

Place, publisher, year, edition, pages
2009.
Keyword [en]
Technology, MAC, component, reactive component, formal analysis, sensor, wireless, wireless sensor network, WSN
Keyword [sv]
Teknik
Identifiers
URN: urn:nbn:se:ltu:diva-48415ISRN: LTU-EX--09/002--SELocal ID: 5de98444-24d4-4b67-b72d-08e38597b531OAI: oai:DiVA.org:ltu-48415DiVA: diva2:1021757
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level
Examiners
Note
Validerat; 20101217 (root)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved

Open Access in DiVA

fulltext(991 kB)17 downloads
File information
File name FULLTEXT01.pdfFile size 991 kBChecksum SHA-512
431f2f688afeb0879628c06762f053ba3f0003e9a71d277c5ee49bb24310aef2a664f8114b28e523133e1cdbd6379c13618a7baa15b2d0300d971d4261494c76
Type fulltextMimetype application/pdf

Search outside of DiVA

GoogleGoogle Scholar
Total: 17 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 5 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf