PDA: Passive distributed assertions for sensor networks

2009 International Conference on Information Processing in Sensor Networks, IPSN 2009

Volumn , Issue , 2009, Pages 337-348

  Römer, Kay ^a   Ma, Junyan ^a,b  

^a ETH ZURICH   (Switzerland)

^b NORTHWESTERN POLYTECHNICAL UNIVERSITY   (China)

Author keywords

Distributed assertions; Packet sniffing; Sensor networks

Indexed keywords

ASSERTION VERIFICATION; DECLARATIVE LANGUAGES; DISTRIBUTED ASSERTIONS; DISTRIBUTED NODES; MULTIPLE NODES; PACKET SNIFFING;

DATA PROCESSING; PERSONAL DIGITAL ASSISTANTS;

SENSOR NETWORKS;

EID: 71049182209     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. T. Abdelzaher and others. Envirotrack: Towards an environmental computing paradigm for distributed sensor networks. In ICDCS 2004.
2. BTnodes. A Distributed Environment for Prototyping Ad Hoc Networks. www.btnode.ethz.ch.
3. B. Chen, G. Peterson, G. Mainland, and M. Welsh. Livenet: Using passive monitoring to reconstruct sensor network dynamics. In DCOSS 2008.
4. M. Dyer, J. Beutel, T. Kalt, P. Oehen, L. Thiele, K. Martin, and P. Blum. Deployment Support Network - A Toolkit for the Development of WSNs. In EWSN 2007.
5. J. Elson, L. Girod, and D. Estrin. Fine-grained network time synchronization using re ference broadcasts. In OSDI 2002.
6. M. M. H. Khan, H. K. Le, H. Ahmadi, T. F. Abdelzaher, and J. Han. Dustminer: troubleshooting interactive complexity bugs in sensor networks. In SenSys 2008.
7. M. Lodder, G. P. Halkes, and K. G. Langendoen. A global-state perspective on sensor network debugging. In HotEmNets 2008.
8. N. Ramanathan, K. Chang, R. Kapur, L. Girod, E. Kohler, and D. Estrin. Sympathy for the Sensor Network Debugger. In SenSys 2005.
9. M. Ringwald and K. Römer. Deployment of Sensor Networks: Problems and Passive Inspection. In WISES 2007.
10. M. Ringwald and K. Römer. Practical Time Synchronization for Bluetooth Scatternets. In BROADNETS 2007.
11. M. Ringwald, K. Römer, and A. Vialetti. Passive Inspection of Sensor Networks. In DCOSS 2007.
12. K. Römer. Time Synchronization in Ad Hoc Networks. In MobiHoc 2001.
13. K. Römer and M. Ringwald. Increasing the visibility of sensor networks with passive distributed assertions. In REALWSN 2008.
14. S. Rost and H. Balakrishnan. Memento: A Health Monitoring System for Wireless Sensor Networks. In SECON 2006.
15. J. Sallai, B. Kusy, Á. Lédeczi, and P. Dutta. On the scalability of routing integrated time synchronization. In EWSN 2006.
16. A. Tavakoli, D. Culler, and S. Shenker. The case for predicate-oriented debugging of sensornets. In HotEmNets 2008.
17. G. Tolle and D. Culler. Design of an Application-Cooperative Management System for Wireless Sensor Networks. In EWSN 2005.
18. G. Werner-Allen, P. Swieskowski, and M. Welsh. MoteLab: a wireless sensor network testbed. In IPSN 2005.
19. K. Whitehouse, G. Tolle, J. Taneja, C. Sharp, S. Kim, J. Jeong, J. Hui, P. Dutta, and D. Culler. Marionette: using rpc for interactive development and debugging of wireless embedded networks. In IPSN 2006.
20. J. Yang, M. L. Soffa, L. Selavo, and K. Whitehouse. Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. In SenSys 2007.