Temporal Monitors for TinyOS

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

1 Citation (Scopus)

Abstract

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
PublisherSpringer
Pages96-109
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
http://runtime-verification.org/

Conference

Conference3rd International Conference on Runtime Verification 2012
Abbreviated titleRV 2012
CountryTurkey
CityIstanbul
Period25/09/1228/09/12
Internet address

    Fingerprint

Cite this

Bucur, D. (2013). Temporal Monitors for TinyOS. In S. Qadeer, & S. Tasiran (Eds.), Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (pp. 96-109). Berlin, Heidelberg: Springer.