Detection and repair of software errors in hierarchical sensor networks

Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing

Volumn 2006 II, Issue , 2006, Pages 403-410

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

^a Purdue University   (United States)

^b PURDUE UNIVERSITY   (United States)

^c Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RESOURCE CONSTRAINTS; RUN TIME OBSERVATION; SENSOR NETWORK;

BANDWIDTH; COMPUTER SOFTWARE; DATA ACQUISITION; FAULT TOLERANT COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; NETWORK PROTOCOLS; TELECOMMUNICATION NETWORKS;

ERROR DETECTION;

EID: 33845460710     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SUTC.2006.1636206     Document Type: Conference Paper

References (31)

1. G. Tel, "Topics in Distributed Algorithms," in Chapter 3: Assertional Verification. Cambridge University Press, 1991.
2. M. Diaz, et al., "Observer-A Concept for Formal On-Line Validation of Distributed Systems," IEEE Transactions on Software Engineering, 1994.
3. G. Khanna, et al., "Self Checking Network Protocols: A Monitor Based Approach," in International Symposium on Reliable Distributed Systems, 2004.
4. M. Zulkernine, et al., "A Compositional Approach to Monitoring Distributed Systems," in IEEE International Conference on Dependable Systems and Networks, 2002.
5. W. B. Heinzelman, et al., "An Application-Specific Protocol Architecture for Wireless Microsensor Networks," IEEE Transactions on Wireless Communications, 2002.
6. W. R. Heinzelman, et al., "Energy-Efficient Communication Protocol for Wireless Microsensor Networks," in Hawaii International Conference on System Sciences 2000.
7. N. A. Lynch, Distributed Algorithms. Morgan Kaufmann, 1996.
8. S. Soro, et al., "Prolonging the Lifetime of Wireless Sensor Networks via Unequal Clustering," in IEEE International Parallel and Distributed Processing, 2005.
9. M. Younis, et al., "Energy-Aware Routing in Cluster-based Sensor Networks," in IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002.
10. S. Dolev, et al., "Uniform Dynamic Self-Stabilizing Leader Election," IEEE Transactions on Parallel and Distributed Systems, 1997.
11. K. Nakano, et al., "A Survey on Leader Election Protocols for Radio Networks," in International Symposium on Parallel Architectures, Algorithms and Networks, 2002.
12. G. Singh, "Leader Election in the Presence of Link Failures," IEEE Transactions on Parallel and Distributed Systems, 1996.
13. A. Nasipuri, et al., "Performance of Multipath Routing for On-Demand Protocols in Mobile Ad Hoc Networks," Mobile Networking Applications, 2001.
14. A. A. Pirzada, et al., "Establishing Trust in Pure Ad-Aoc Networks," in Conference on Australasian computer science, 2004.
15. S. Marti, et al., "Mitigating Routing Misbehavior in Mobile Ad Hoc Networks," in International Conference on Mobile computing and networking, 2000.
16. S. Buchegger, et al.,"Performance Analysis of the Confidant Protocol," in ACM International Symposium on Mobile Ad Hoc Networking & Computing, 2002.
17. Y. an Huang, et al., "A Cooperative Intrusion Detection System for Ad Hoc Networks," in ACM workshop on Security of ad hoc and sensor networks, 2003.
18. I. Khalil, et al., "Liteworp: A Lightweight Countermeasure for the Wormhole Attack in Multihop Wireless Networks," in International Conference on Dependable Systems and Networks, 2005.
19. P. Ning, et al., "Techniques and Tools for Analyzing Intrusion Alerts," ACM Transactions on Information. Systems. Security, 2004.
20. F. Valeur, et al., "A Comprehensive Approach to Intrusion Detection Alert Correlation," IEEE Transactions on Dependable and Secure Computing, 2004.
21. Y.-S. Wu, et al., "Collaborative Intrusion Detection System (CIDS): A Framework for Accurate and Efficient Ids," in Computer Security Applications, 2003.
22. B. R. Smith, et al., "Securing Distance-Vector Routing Protocols," in Symposium on Network and Distributed System Security, 1997.
23. G. Khanna, et al., "Automated Monitor Based Diagnosis in Distributed Systems," Purdue University, School of ECE, TR# 05-13, 2005.
24. J. W. Hui, et al., "The Dynamic bBhavior of a Data Dissemination Protocol for Network programming at Scale," in International Conference on Embedded Networked Sensor Systems, 2004.
25. S. S. Kulkarni, et al., "MNP: Multihop Network Reprogramming Service for Sensor Networks," in IEEE International Conference on Distributed Computing Systems, 2005.
26. S. Lindsey, et al., "Data Gathering Algorithms in Sensor Networks Using Energy Metrics," IEEE Transactions on Parallel and Distributed Systems, 2002.
27. R. Min, et al., "Low-Power Wireless Sensor Networks," in International Conference on VLSI Design, 2001.
28. S. D. Muruganathan, et al., "A Centralized Energy-Efficient Routing Protocol for Wireless Sensor Networks," IEEE Communications Magazine, 2005.
29. J. W. Hui, et al., "The Dynamic Behavior of a Data Dissemination Protocol for Network Programming at Scale," in International Conference on Embedded Networked Sensor Systems, 2004.
30. J. L. Hill, et al., "Mica: A Wireless Platform for Deeply Embedded Networks," IEEE Micro, 2002.
31. P. Levis, et al., "TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications," in International Conference on Embedded Networked Sensor Systems, 2003.