Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications

Doina Bucur, Marta Kwiatkowska

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Abstract

We provide the first tool for verifying the logic of context-aware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context.
Original languageEnglish
Title of host publicationAmbient Intelligence
Subtitle of host publicationEuropean Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
EditorsManfred Tscheligi, Panos Markopoulus, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages101-105
Number of pages5
ISBN (Print)978-3-642-05408-2
Publication statusPublished - 2009
Externally publishedYes
Event3rd European Conference on Ambient Intelligence, Aml 2009 - Salzburg, Austria
Duration: 18 Nov 200921 Nov 2009
Conference number: 3

Conference

Conference3rd European Conference on Ambient Intelligence, Aml 2009
Abbreviated titleAmI
CountryAustria
CitySalzburg
Period18/11/0921/11/09

Fingerprint Dive into the research topics of 'Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications'. Together they form a unique fingerprint.

  • Cite this

    Bucur, D., & Kwiatkowska, M. (2009). Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. In M. Tscheligi, P. Markopoulus, R. Wichert, T. Mirlacher, A. Meschterjakov, & W. Reitberger (Eds.), Ambient Intelligence: European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings (pp. 101-105). Berlin, Heidelberg: Springer.