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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
TinyOS: An Open-Source Operating System for the Networked Sensor Regime: http://www.tinyos.net/ (accessed August 2009)
Klues, K., Liang, C.J., Paek, J., Musăloiu, R., Govindan, R., Terzis, A., Levis, P.: TOSThreads: Safe and Non-Invasive Preemption in TinyOS. In: SenSys (2009)
Clarke, E., Kroening, D., Sharygina, N., Yorav, K.: SATABS: SAT-based Predicate Abstraction for ANSI-C. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 570–574. Springer, Heidelberg (2005)
Varshney, U.: Pervasive healthcare and wireless health monitoring. Mobile Networks and Applications (MONET) 12(2-3), 113–127 (2007)
Cooprider, N., Archer, W., Eide, E., Gay, D., Regehr, J.: Efficient Memory Safety for TinyOS. In: ACM SenSys, pp. 205–218 (2007)
Archer, W., Levis, P., Regehr, J.: Interface Contracts for TinyOS. In: Information Processing in Sensor Networks (IPSN), pp. 158–165. ACM Press, New York (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bucur, D., Kwiatkowska, M. (2009). Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. In: Tscheligi, M., et al. Ambient Intelligence. AmI 2009. Lecture Notes in Computer Science, vol 5859. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05408-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-05408-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05407-5
Online ISBN: 978-3-642-05408-2
eBook Packages: Computer ScienceComputer Science (R0)