Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking

ACM Transactions on Autonomous and Adaptive Systems

Volumn 2, Issue 3, 2007, Pages

  Herbert, Douglas ^a,b   Sundaram, Vinaitheerthan ^a,b   Lu, Yung Hsiang ^a,b   Bagchi, Saurabh ^a,b   Li, Zhiyuan ^a,b  

^a PURDUE UNIVERSITY   (United States)

^b Purdue University   (United States)

Author keywords

Correctness monitoring; Data integrity; Fault tolerance and diagnostics; In network processing and aggregation; Invariants; Network protocols; Programming models and languages; Run time; Tools

Indexed keywords

CORRECTNESS MONITORING; DATA INTEGRITY; IN-NETWORK PROCESSING; PROGRAMMING MODELS;

BANDWIDTH; CARBON DIOXIDE; COMPUTER PROGRAMMING LANGUAGES; FAULT TOLERANCE; INVARIANCE; MESSAGE PASSING; TELECOMMUNICATION TRAFFIC; TEMPERATURE SENSORS;

WIRELESS SENSOR NETWORKS;

EID: 35148830903     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/1278460.1278462     Document Type: Conference Paper

References (54)

1. AN HUANG, Y. AND LEE, W 2003. A cooperative intrusion detection system for ad hoc networks. InACM Workshop on Security of Ad Hoc and Sensor Networks. 135-147.
2. BUCHEGGER, S. AND BOUDEC, J.-Y L. 2002. Performance analysis of the CONFIDANT protocol. In ACM International Symposium on Mobile Ad Hoc Networking & Computing. 226-236.
3. DIAZ, M., JUANOLE, G., AND COURTIAT, J.-R 1994. Observer-A concept for formal on-line validation of distributed systems. IEEE Trans. Softw. Engin. 20, 12.
4. DOLEV, S., ISRAELI, A., AND MORAN, S. 1997. Uniform dynamic self-stabilizing leader election. IEEE Trans. Para. Distrib. Syst. 8, 4 (Apr.), 424-440.
5. EMMERICH, S. 1996. Demand-controlled ventilation in a multi-zone office building. Fuel and Energy Abstracts 37, 4, 294-294.
6. ERDMANN, C. A., STIENER, K. C., AND APTE, M. G. 2002. Indoor carbon dioxide concentrations and sick building syndrome symptoms in the base study revisited: Analysis of the 100 building dataset. In Indoor Air. 443-448.
7. ERNST, M. D., COCKRELL, J., GRISWOLD, W. G., AND NOTKIN, D. 2001. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Engin. 27,2 (Feb.), 99-123.
8. GOLDSMITH, S., O'CALLAHAN, R., AND AIKEN, A. 2005. Relational queries over program traces. In ACM SIOPLAN Conference on Object Oriented Programming Systems Languages and Applications. 385-402.
9. HAGHIGHAT, F. AND DONNINI, G. 1992. IAQ and energy-management by demand controlled ventilation. Environ. Techno. 13, 4, 351-359.
10. HAMLET, D. 2005. Invariants and state in testing and formal methods. In ACM SIOPLANSIOSOFT Workshop on Program Analysis for Software Tools and Engineering. 48-51.
11. HANGAL, S. AND LAM, M. S. 2002. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering. 291-301.
12. HEINZELMAN, W B., CHANDRAKASAN, A. P., AND BALAKRISHNAN, H. 2002. An application-specific protocol architecture for wireless microsensor networks. IEEE Trans. Wireless Comm. 1, 4 (Oct.), 660-670.
13. HEINZELMAN, W R., CHANDRAKASAN, A., AND BALAKRISHNAN, H. 2000. Energy-efficient communication protocol for wireless microsensor networks. In Hawaii International Conference on System, Sciences. 2, 1-10.
14. HERBERT, D., LU, Y-H., BAGCHI, S., AND LI, Z. 2006. Detection and repair of software errors in hierarchical sensor networks. In IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. 403-410.
15. HERBERT, D., MODELO-HOWARD, G., PEREZ-TORO, C., AND BAGCHI, S. 2007. Fault tolerant ARIMAbased aggregation of data in sensor networks. IEEE International Conference on Dependable Systems and Networks.
16. HERBERT, D., SUNDARAM, V., ALBIN, L., LU, Y-H., BAGCHI, S., AND LI, Z. 2007. Pervasive carbon dioxide and temperature monitoring utilizing large numbers of low-cost wireless sensors. American Industrial Hygiene Conference and Expo. 163.
17. HILL, J. L. AND CULLER, D. E. 2002. Mica: A wireless platform for deeply embedded networks. IEEE Micra 22, 6 (Nov.-Dec), 12-24.
18. HUI, J. W AND CULLER, D. 2004. The dynamic behavior of a data dissemination protocol for network programming at scale. In International Conference on Embedded Networked Sensor Systems. 81-94.
19. KHALIL, I., BAGCHI, S., AND NINA-ROTARU, C. 2005. DICAS: Detection, diagnosis, and isolation of control attacks in sensor networks. In International Conference on Security and Privacy for Emerging Areas in Communications Networks. 89-100.
20. KHALIL, I., BAGCHI, S., AND SHROFF, N. B. 2005. LITEWORP: A Lightweight Countermeasure for the Wormhole Attack in Multihop Wireless Networks. In IEEE International Conference on Dependable Systems and Networks. 612-621.
21. KHALIL, I., BAGCHI, S., AND SHROFF, N. B. 2006. MOBIWORP: Mitigation of the wormhole attack in mobile multihop wireless networks. In IEEE International Conference on Security and Privacy in Communication Networks.
22. KHANNA, G., VARADHARAJAN, P., AND BAGCHI, S. 2004. Self checking network protocols: A monitor based approach. In International Symposium on Reliable Distributed, Systems. 18-30.
23. KUMAR, N., CHILDERS, B. R., AND SOFFA, M. L. 2005. Low overhead program monitoring and profiling. InACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. 28-34.
24. LAMPORT, L., SHOSTAK, R., AND PEASE, M. 1982. The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4, 3 (July), 382-401.
25. Levis, P., Lee, N., Welsh, M., and Culler, D. 2003. TOSSIM: Accurate and scalable simulation of entire tinyOS applications. In International Conference on Embedded Networked Sensor Systems. 126-137.
26. LIAO, C-M., CHANG, C.-F, AND LIANG, H.-M. 2005. A probabilistic transmission dynamic model to access indoor airborne infection risks. Risk Analysis. 25, 5, 1097-1107.
27. LINDSEY, S., RAGHAVENDRA, C., AND SIVALINGAM, K. M. 2002. Data gathering algorithms in sensor networks using energy metrics. IEEE Trans. Paral, and Distrib. Syst. 13, 9 (Sept.), 924-935.
28. LYNCH, N. A. 1996. Distributed Algorithms. Morgan Kaufmann.
29. MAHANEY, S. R. AND SCHNEIDER, F. B. 1985. Inexact agreement: Accuracy, precision, and graceful degradation. ACM Symposium on Principles of Distributed Computing. 237-249.
30. MARTI, S., GIULI, T J., LAI, K., AND BAKER, M. 2000. Mitigating routing misbehavior in mobile ad hoc networks. In International Conference on Mobile Computing and Networking. 255-265.
31. MARZULLO, K. 1990. Tolerating failures of continuous-valued sensors. ACM Trans. Comput. Syst., 8, 4 (Nov.), 284-304.
32. MEDIDI, S. R., MEDIDI, M., AND GAVINI, S. 2003. Detecting packet-dropping faults in mobile ad-hoc networks. In IEEE ASILOMAR Conference on Signals, Systems and Computers.
33. MILTON, D. K., GLENCROSS, R M., AND WALTERS, M. D. 2000. Risk of sick leave associated with outdoor air supply rate, humidification, and occupant complaints. Indoor Air 10, 4 (Dec), 212221.
34. MIN, R., BHARDWAJ, M., CHO, S.-H., SHIH, E., SINHA, A., WANG, A., AND CHANDRAKASAN, A. 2001. Lowpower wireless sensor networks. In International Conference on VLSI Design. 205-210.
35. MURUGANATHAN, S. D., MA, D. C. F., BHASIN, R. I., AND FAPOJUWO, A. O. 2005. A centralized energyefficient routing protocol for wireless sensor networks. IEEE Commun. Mag. 43, 3 (Mar.), 8-13.
36. MYATT, T. A., JOHNSTON, S. L., ZUO, Z., WAND, M., KEBADZE, T., RUDNICK, S., AND MILTON, D. K. 2004. Detection of airborne rhinovirus and its relation to outdoor air supply in office environments. Amer. J. Respir. Critic. Care Med. 169, 1187-1190.
37. NAKANO, K. AND OLARIU, S. 2002. A survey on leader election protocols for radio networks. In International Symposium on Parallel Architectures, Algorithms and Networks. 63-68.
38. NASIPURI, A., CASTAN;EDA, R., AND DAS, S. R., 2001. Performance of multipath routing for on-demand protocols in mobile ad hoc networks. Mobile Netw. Appl. 6, 4, 339-349.
39. PERKINS, J. H. AND ERNST, M. D. 2004. Efficient incremental algorithms for dynamic detection of likely invariants. In ACM SIGSOFT International Symposium on Foundation of Software Engineering. 23-32.
40. PIRZADA, A. A. AND MCDONALD, C Establishing trust in pure ad hoc networks. In Conference on Australasian Computer Science.
41. RAMANATHAN, N., CHANG, K., KAPUR, R., GIROD, L., KOHLER, E., AND ESTRIN, D. 2005. Sympathy for the sensor network debugger. In International Conference On Embedded Networked Sensor Systems. 255-267.
42. RUDNICK, S. N. AND MILTON, D. K. 2003. Risk of indoor airborne infection transmission estimated from carbon dioxide concentration. Indoor Air 13, 3 (Sept.), 237-245.
43. SEPPANEN, O. A., FISK, W. J., AND MENDELL, M. J. 1999. Association of ventilation rates and C02 concentrations with health and other responses in commercial and institutional buildings. Indoor Air. 226-252.
44. SINGH, G. 1996. Leader election in the presence of link failures. IEEE Trans. Paral. Distrib. Syst. 7, 3 (March), 231-236.
45. SMITH, B. R., MURTHY, S., AND GARCIA-LUNA-ACEVES, J. J. 1997. Securing distance-vector routing protocols. In Proceedings of the Symposium on Network and Distributed System Security. 85-92.
46. SORO, S. AND HEINZELMAN, W B. 2005. Prolonging the lifetime of wireless sensor networks via unequal clustering. In IEEE International Parallel and Distributed Processing Symposium, page 236b.
47. TEL, G. 1991. Topics in Distributed Algorithms. Cambridge University Press, Chapter 3: Assertional Verification.
48. VIGNA, G., GWALANI, S., SRINIVASAN, K., BELDING-ROYER, E. M., AND KEMMERER, R. A. 2004. An intru-sion detection tool for AODV-based ad hoc wireless networks. In IEEE Annual Computer Security Applications Conference.
49. WANG, J. YI., SHUE, Y-S., VIJAYKUMAR, T N., AND BAGCHI, S. 2006. Pesticide: Using SMT processors to improve performance of pointer bug detection. In IEEE International Conference on Computer Design.
50. YEN, I.-L., BASTANI, F. B., AND TAYLOR, D. J. 2001. Design of multi-invariant data structures for robust shared accesses in multiprocessor systems. IEEE Trans. Softw. Engin. 27, 3, 193-207.
51. YOUNIS, M., YOUSSEF, M., AND ARISHA. K. Energy-aware routing in cluster-based sensor networks. In IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems. 129-136.
52. YU, I. T., LI, Y., WONG, T. W., TAM, W., CHAN, A. T., LEE, J. H., LEUNG, D. Y., AND HO, T. 2004. Evidence of airborne transmission of the severe acute respiratory syndrome virus. New Engl. J. Med. 350, 17 (Apr.), 1731-1739.
53. ZHOU, Y., ZHOU, P., QIN, F., LIU, W., AND TORRELLAS, J. 2005. Efficient and flexible architectural support for dynamic monitoring. ACM Trans. Arch. Code Optim. 2, 1 (March), 3-33.
54. ZULKERNINE M. AND SEVIORA, R. E. 2002. A Compositional approach to monitoring distributed systems. In International Conference on Dependable Systems and Networks. 763-772.