Intelligible TinyOS Sensor Systems: Explanations for Embedded Software

Doina Bucur

doi:10.1007/978-3-642-24279-3_6

Intelligible TinyOS Sensor Systems: Explanations for Embedded Software

Doina Bucur

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

1 Citation (Scopus)

Abstract

As embedded sensing systems are central to developing pervasive, context-aware services, the applications running on these systems should be intelligible to system programmers and to users. Given that sensor systems are programmed in low-level languages, manually writing high-level explanations about their decision model requires knowledge about the system architecture, and is error-prone. We explore the possibility of extracting explanations which are small and expressive, but still preserve bit-level accuracy when needed. We contribute a tool which automatically and soundly generates compact, graphical explanations from sensor software implementation at compile-time. We base our algorithm on the techniques of (i) finite-state machine model extraction from software as used in model checking, and (ii) abstraction of program execution traces. We experiment with extracting explanations from heavyweight, low-level TinyOS applications for a mainstream sensor platform.

Original language	English
Title of host publication	Modeling and Using Context
Subtitle of host publication	7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings
Editors	Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	54-66
Number of pages	13
ISBN (Electronic)	978-3-642-24279-3
ISBN (Print)	978-3-642-24278-6
DOIs	https://doi.org/10.1007/978-3-642-24279-3_6
Publication status	Published - 2011
Externally published	Yes
Event	7th International and Interdisciplinary Conference 2011 - Karlsruhe, Germany Duration: 26 Sept 2011 → 30 Sept 2011 Conference number: 7

Publication series

Name	Lecture notes in computer science
Volume	6967

Conference

Conference	7th International and Interdisciplinary Conference 2011
Abbreviated title	CONTEXT 2011
Country/Territory	Germany
City	Karlsruhe
Period	26/09/11 → 30/09/11

Access to Document

10.1007/978-3-642-24279-3_6

Cite this

Bucur, D. (2011). Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. In M. Beigl, H. Christiansen, T. R. Roth-Berghofer, A. Kofod-Petersen, K. R. Coventry, & H. R. Schmidtke (Eds.), Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings (pp. 54-66). (Lecture notes in computer science; Vol. 6967). Springer. https://doi.org/10.1007/978-3-642-24279-3_6

Bucur, Doina. / Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings. editor / Michael Beigl ; Henning Christiansen ; Thomas R. Roth-Berghofer ; Anders Kofod-Petersen ; Kenny R. Coventry ; Hedda R. Schmidtke. Berlin, Heidelberg : Springer, 2011. pp. 54-66 (Lecture notes in computer science).

@inproceedings{566ead9657ec47b99648a592edbedc8a,

title = "Intelligible TinyOS Sensor Systems: Explanations for Embedded Software",

abstract = "As embedded sensing systems are central to developing pervasive, context-aware services, the applications running on these systems should be intelligible to system programmers and to users. Given that sensor systems are programmed in low-level languages, manually writing high-level explanations about their decision model requires knowledge about the system architecture, and is error-prone. We explore the possibility of extracting explanations which are small and expressive, but still preserve bit-level accuracy when needed. We contribute a tool which automatically and soundly generates compact, graphical explanations from sensor software implementation at compile-time. We base our algorithm on the techniques of (i) finite-state machine model extraction from software as used in model checking, and (ii) abstraction of program execution traces. We experiment with extracting explanations from heavyweight, low-level TinyOS applications for a mainstream sensor platform.",

author = "Doina Bucur",

year = "2011",

doi = "10.1007/978-3-642-24279-3_6",

language = "English",

isbn = "978-3-642-24278-6",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "54--66",

editor = "Michael Beigl and Henning Christiansen and Roth-Berghofer, {Thomas R.} and Anders Kofod-Petersen and Coventry, {Kenny R.} and Schmidtke, {Hedda R.}",

booktitle = "Modeling and Using Context",

address = "Germany",

note = "7th International and Interdisciplinary Conference 2011, CONTEXT 2011 ; Conference date: 26-09-2011 Through 30-09-2011",

}

Bucur, D 2011, Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. in M Beigl, H Christiansen, TR Roth-Berghofer, A Kofod-Petersen, KR Coventry & HR Schmidtke (eds), Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings. Lecture notes in computer science, vol. 6967, Springer, Berlin, Heidelberg, pp. 54-66, 7th International and Interdisciplinary Conference 2011, Karlsruhe, Germany, 26/09/11. https://doi.org/10.1007/978-3-642-24279-3_6

Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. / Bucur, Doina.
Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings. ed. / Michael Beigl; Henning Christiansen; Thomas R. Roth-Berghofer; Anders Kofod-Petersen; Kenny R. Coventry; Hedda R. Schmidtke. Berlin, Heidelberg: Springer, 2011. p. 54-66 (Lecture notes in computer science; Vol. 6967).

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

TY - GEN

T1 - Intelligible TinyOS Sensor Systems: Explanations for Embedded Software

AU - Bucur, Doina

N1 - Conference code: 7

PY - 2011

Y1 - 2011

N2 - As embedded sensing systems are central to developing pervasive, context-aware services, the applications running on these systems should be intelligible to system programmers and to users. Given that sensor systems are programmed in low-level languages, manually writing high-level explanations about their decision model requires knowledge about the system architecture, and is error-prone. We explore the possibility of extracting explanations which are small and expressive, but still preserve bit-level accuracy when needed. We contribute a tool which automatically and soundly generates compact, graphical explanations from sensor software implementation at compile-time. We base our algorithm on the techniques of (i) finite-state machine model extraction from software as used in model checking, and (ii) abstraction of program execution traces. We experiment with extracting explanations from heavyweight, low-level TinyOS applications for a mainstream sensor platform.

AB - As embedded sensing systems are central to developing pervasive, context-aware services, the applications running on these systems should be intelligible to system programmers and to users. Given that sensor systems are programmed in low-level languages, manually writing high-level explanations about their decision model requires knowledge about the system architecture, and is error-prone. We explore the possibility of extracting explanations which are small and expressive, but still preserve bit-level accuracy when needed. We contribute a tool which automatically and soundly generates compact, graphical explanations from sensor software implementation at compile-time. We base our algorithm on the techniques of (i) finite-state machine model extraction from software as used in model checking, and (ii) abstraction of program execution traces. We experiment with extracting explanations from heavyweight, low-level TinyOS applications for a mainstream sensor platform.

U2 - 10.1007/978-3-642-24279-3_6

DO - 10.1007/978-3-642-24279-3_6

M3 - Conference contribution

SN - 978-3-642-24278-6

T3 - Lecture notes in computer science

SP - 54

EP - 66

BT - Modeling and Using Context

A2 - Beigl, Michael

A2 - Christiansen, Henning

A2 - Roth-Berghofer, Thomas R.

A2 - Kofod-Petersen, Anders

A2 - Coventry, Kenny R.

A2 - Schmidtke, Hedda R.

PB - Springer

CY - Berlin, Heidelberg

T2 - 7th International and Interdisciplinary Conference 2011

Y2 - 26 September 2011 through 30 September 2011

ER -

Bucur D. Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. In Beigl M, Christiansen H, Roth-Berghofer TR, Kofod-Petersen A, Coventry KR, Schmidtke HR, editors, Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings. Berlin, Heidelberg: Springer. 2011. p. 54-66. (Lecture notes in computer science). doi: 10.1007/978-3-642-24279-3_6

Intelligible TinyOS Sensor Systems: Explanations for Embedded Software

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this