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
Software Adaptation in Wireless Sensor Networks
Politecnico di Milano, Italy.
Politecnico di Milano, Italy and SICS Swedish ICT.
Politecnico di Milano, Italy.
2018 (English)In: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 12, no 4, article id 18Article in journal (Refereed) Published
Abstract [en]

We present design concepts, programming constructs, and automatic verification techniques to support the development of adaptive Wireless Sensor Network (WSN) software. WSNs operate at the interface between the physical world and the computing machine and are hence exposed to unpredictable environment dynamics. WSN software must adapt to these dynamics to maintain dependable and efficient operation. However, developers are left without proper support to develop adaptive functionality in WSN software. Our work fills this gap with three key contributions: (i) design concepts help developers organize the necessary adaptive functionality and understand their relations, (ii) dedicated programming constructs simplify the implementations, (iii) custom verification techniques allow developers to check the correctness of their design before deployment. We implement dedicated tool support to tie the three contributions, facilitating their practical application. Our evaluation considers representative WSN applications to analyze code metrics, synthetic simulations, and cycle-accurate emulation of popular WSN platforms. The results indicate that our work is effective in simplifying the development of adaptive WSN software; for example, implementations are provably easier to test and to maintain, the run-time overhead of our dedicated programming constructs is negligible, and our verification techniques return results in a matter of seconds.

Place, publisher, year, edition, pages
2018. Vol. 12, no 4, article id 18
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:uu:diva-397896DOI: 10.1145/3145453ISI: 000425664800002OAI: oai:DiVA.org:uu-397896DiVA, id: diva2:1373715
Available from: 2019-11-27 Created: 2019-11-27 Last updated: 2019-11-28Bibliographically approved

Open Access in DiVA

fulltext(837 kB)10 downloads
File information
File name FULLTEXT01.pdfFile size 837 kBChecksum SHA-512
6b5a3b9c20963464f88045a68355a30830b6b94e83aa16ed90b6a63e8e4da204026bff437ad80d9d17980f481b248adc2d239401f1052adbbddaeaa142ec5e46
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Mottola, Luca
In the same journal
ACM Transactions on Autonomous and Adaptive Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 10 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 10 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