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

Doina Bucur; Marta Kwiatkowska

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

Doina Bucur
, Marta Kwiatkowska

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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 language	English
Title of host publication	Ambient Intelligence
Subtitle of host publication	European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Editors	Manfred Tscheligi, Panos Markopoulus, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	101-105
Number of pages	5
ISBN (Print)	978-3-642-05408-2
Publication status	Published - 2009
Externally published	Yes
Event	3rd European Conference on Ambient Intelligence, Aml 2009 - Salzburg, Austria Duration: 18 Nov 2009 → 21 Nov 2009 Conference number: 3

Conference

Conference	3rd European Conference on Ambient Intelligence, Aml 2009
Abbreviated title	AmI
Country/Territory	Austria
City	Salzburg
Period	18/11/09 → 21/11/09

Cite this

Bucur, Doina ; Kwiatkowska, Marta. / Bug-Free Sensors : The Automatic Verification of Context-Aware TinyOS Applications. Ambient Intelligence: European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings. editor / Manfred Tscheligi ; Panos Markopoulus ; Reiner Wichert ; Thomas Mirlacher ; Alexander Meschterjakov ; Wolfgang Reitberger. Berlin, Heidelberg : Springer, 2009. pp. 101-105

@inproceedings{a763d9c0f3c04ab6bf4387f10b6ed24e,

title = "Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications",

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.",

author = "Doina Bucur and Marta Kwiatkowska",

year = "2009",

language = "English",

isbn = "978-3-642-05408-2",

pages = "101--105",

editor = "Manfred Tscheligi and Panos Markopoulus and Reiner Wichert and Thomas Mirlacher and Alexander Meschterjakov and Wolfgang Reitberger",

booktitle = "Ambient Intelligence",

publisher = "Springer",

address = "Germany",

note = "3rd European Conference on Ambient Intelligence, Aml 2009, AmI ; Conference date: 18-11-2009 Through 21-11-2009",

}

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. Springer, Berlin, Heidelberg, pp. 101-105, 3rd European Conference on Ambient Intelligence, Aml 2009, Salzburg, Austria, 18/11/09.

Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. / Bucur, Doina; Kwiatkowska, Marta.
Ambient Intelligence: European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings. ed. / Manfred Tscheligi; Panos Markopoulus; Reiner Wichert; Thomas Mirlacher; Alexander Meschterjakov; Wolfgang Reitberger. Berlin, Heidelberg: Springer, 2009. p. 101-105.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Bug-Free Sensors

T2 - 3rd European Conference on Ambient Intelligence, Aml 2009

AU - Bucur, Doina

AU - Kwiatkowska, Marta

N1 - Conference code: 3

PY - 2009

Y1 - 2009

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

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

M3 - Conference contribution

SN - 978-3-642-05408-2

SP - 101

EP - 105

BT - Ambient Intelligence

A2 - Tscheligi, Manfred

A2 - Markopoulus, Panos

A2 - Wichert, Reiner

A2 - Mirlacher, Thomas

A2 - Meschterjakov, Alexander

A2 - Reitberger, Wolfgang

PB - Springer

CY - Berlin, Heidelberg

Y2 - 18 November 2009 through 21 November 2009

ER -

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

Abstract

Conference

Fingerprint

Cite this