Intelligible TinyOS Sensor Systems: Explanations for Embedded Software

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

1 Citation (Scopus)


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 languageEnglish
Title of host publicationModeling and Using Context
Subtitle of host publication7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings
EditorsMichael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke
Place of PublicationBerlin, Heidelberg
Number of pages13
ISBN (Electronic)978-3-642-24279-3
ISBN (Print)978-3-642-24278-6
Publication statusPublished - 2011
Externally publishedYes
Event7th International and Interdisciplinary Conference 2011 - Karlsruhe, Germany
Duration: 26 Sept 201130 Sept 2011
Conference number: 7

Publication series

NameLecture notes in computer science


Conference7th International and Interdisciplinary Conference 2011
Abbreviated titleCONTEXT 2011


Dive into the research topics of 'Intelligible TinyOS Sensor Systems: Explanations for Embedded Software'. Together they form a unique fingerprint.

Cite this