Temporal Monitors for TinyOS

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)


Networked embedded systems generally have extremely low visibility of system faults. In this paper, we report on experimenting with online, node-local temporal monitors for networked embedded nodes running the TinyOS operating system and programmed in the nesC language. We instrument the original node software to signal asynchronous atomic events to a local nesC component running a runtime verification algorithm; this checks LTL properties automatically translated into deterministic state-machine monitors and encoded in nesC. We focus on quantifying the added (i) memory and (ii) computational overhead of this embedded checker and identify practical upper bounds with runtime checking on mainstream embedded platforms.
Original languageEnglish
Title of host publicationRuntime Verification
Subtitle of host publicationThird International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
EditorsShaz Qadeer, Serdar Tasiran
Place of PublicationBerlin, Heidelberg
Number of pages14
ISBN (Print)978-3-642-35632-2
Publication statusPublished - 2013
Externally publishedYes
Event3rd International Conference on Runtime Verification 2012 - Istanbul, Turkey
Duration: 25 Sep 201228 Sep 2012
Conference number: 3


Conference3rd International Conference on Runtime Verification 2012
Abbreviated titleRV 2012
Internet address


Dive into the research topics of 'Temporal Monitors for TinyOS'. Together they form a unique fingerprint.

Cite this