Abstract
Wireless communication protocols are centric to Wireless Sensor Network (WSN) applications. However, WSN protocols are prune to defects, even after their field deployments. A convenient tool that can facilitate the detection of post-deployment protocol defects is of great importance to WSN practitioners. This paper presents Probe-I (sensor network Protocol behavior Inspector), a novel tool to obtain, visualize, and verify the behaviors of WSN protocols after their field deployments. Probe-I collects the protocol behaviors in a non-intrusive manner, i.e., via passively listening to the packet exchanges in the target network. Then with a role-oriented behavior modeling approach, Probe-I models the protocol behaviors node by node based on the sniffed packets, which well reflects how the target protocol performs in each node. This allows the WSN practitioners to readily see if the target protocol behaves as intended by simply verifying the correctness of the behavior metrics in a simple, baseline test. Finally, the verified metrics allow Probe-I to automatically check the protocol behaviors from time to time during the network lifetime. The suggested behavior discrepancy can unveil potential protocol defects. We apply Probe-I to verify two WSN data collection protocols, and find their design defects. It shows that Probe-I can substantially facilitate WSN protocol verification.
This is a preview of subscription content, log in via an institution to check access.
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
Barrenetxea, G., Ingelrest, F., Schaefer, G., Vetterli, M.: The hitchhiker’s guide to successful wireless sensor network deployments. In: Proc. of ACM SenSys (2008)
Werner-Allen, G., Lorincz, K., Johnson, J., Lees, J., Welsh, M.: Fidelity and yield in a volcano monitoring sensor network. In: Proc. of OSDI (2006)
Luo, L., He, T., Zhou, G., Gu, L., Abdelzaher, T.F., Stankovic, J.A.: Achieving repeatability of asynchronous events in wireless sensor networks with EnviroLog. In: Proc. of the IEEE INFOCOM (2006)
Cao, Q., Abdelzaher, T., Stankovic, J., Whitehouse, K., Luo, L.: Declarative tracepoints: A programmable and application independent debugging system for wireless sensor networks. In: Proc. of ACM SenSys (2008)
Google Inc.: Android operating system, http://www.android.com
TinyOS Community Forum: TinyOS: An open-source OS for the networked sensor regime, http://www.tinyos.net
Gnawali, O., Fonseca, R., Jamieson, K., Moss, D., Levis, P.: Collection tree protocol. In: Proc. of the ACM SENSYS, pp. 1–14 (November 2009)
Greenwood, P.E., Nikulin, M.S.: A Guide to Chi-Squared Testing. Wiley (1996)
Gnawali, O., Fonseca, R., Jamieson, K., Moss, D., Levis, P.: Collection tree protocol. In: Proc. of ACM SenSys (2009)
Chipara, O., Lu, C., Bailey, T.C., Roman, G.C.: Reliable clinical monitoring using wireless sensor networks: Experiences in a step-down hospital unit. In: Proc. of ACM SenSys (2010)
Levis, P., Lee, N., Welsh, M., Culler, D.: TOSSIM: Accurate and scalable simulation of entire tinyos applications. In: Proc. of the ACM SenSys (2003)
Titzer, B., Lee, D., Palsberg, J.: Avrora: Scalable sensor network simulation with precise timing. In: Proc. of the IEEE IPSN, pp. 477–482 (May 2005)
Li, P., Regehr, J.: T-Check: Bug finding for sensor networks. In: Proc. of IPSN (2010)
Sasnauskas, R., Landsiedel, O., Alizai, M.H., Weisez, C., Kowalewskiz, S., Wehrle, K.: KleeNet: Discovering insidious interaction bugs in wireless sensor networks before deployment. In: Proc. of the ACM/IEEE IPSN (2010)
Zhou, Y., Chen, X., Lyu, M., Liu, J.: Sentomist: Unveiling transient sensor network bugs via symptom mining. In: Proc. of the IEEE ICDCS (2010)
Stojmenovic, I.: Simulations in wireless sensor and ad hoc networks: matching and advancing models, metrics, and solutions. IEEE Comm. 46(12), 102–107 (2008)
Khan, M.M.H., Luo, L., Huang, C., Abdelzaher, T.: SNTS: Sensor network troubleshooting suite. In: Proc. of the IEEE DCOSS (2007)
Liu, K., Li, M., Liu, Y., Li, M., Guo, Z., Hong, F.: Passive diagnosis for wireless sensor networks. In: Proc. of the ACM SENSYS (2008)
Ramanathan, N., Chang, K., Kapur, R., Girod, L., Kohler, E., Estrin, D.: Sympathy for the sensor network debugger. In: Proc. of the ACM SENSYS (2005)
Rmer, K., Ma, J.: PDA: Passive distributed assertions for sensor networks. In: Proc. of IPSN (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, Y., Chen, X., Lyu, M.R., Liu, J. (2012). Online Protocol Verification in Wireless Sensor Networks via Non-intrusive Behavior Profiling. In: Wang, X., Zheng, R., Jing, T., Xing, K. (eds) Wireless Algorithms, Systems, and Applications. WASA 2012. Lecture Notes in Computer Science, vol 7405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31869-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-31869-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31868-9
Online ISBN: 978-3-642-31869-6
eBook Packages: Computer ScienceComputer Science (R0)