Simulating and testing mobile wireless sensor networks

MSWiM'10 - Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems

Volumn , Issue , 2010, Pages 49-58

  Anthony, David J ^a   Bennett, William P ^a   Vuran, Mehmet C ^a   Dwyer, Matthew B ^a   Elbaum, Sebastian ^a   Chavez Ramirez, Felipe ^b  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^b Platte River Whooping Crane Trust   (United States)

Author keywords

reliability; testing; wireless sensor networks

Indexed keywords

DEPLOYMENT ANALYSIS; ENVIRONMENTAL CONDITIONS; MOBILE WIRELESS SENSOR NETWORK; MONITORING APPLICATIONS; SOFTWARE ENGINEERING PRACTICES; WIRELESS SENSOR;

COMPUTER SOFTWARE; SENSOR NETWORKS;

WIRELESS SENSOR NETWORKS;

EID: 78650218966     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1868521.1868531     Document Type: Conference Paper

References (27)

1. Crossbow technology. http://www.xbow.com.
2. The network simulator - ns-2. http://www.isi.edu/nsnam/ns/index.html.
3. u-blox ANTARIS 4 GPS Module. http://www.u-blox.com/, Aug. 2010.
4. I. F. Akyildiz, D. Pompili, and T. Melodia. Underwater acoustic sensor networks: Research challenges. Ad Hoc Networks Journal (Elsevier), 3(3):257-279, March 2005.
5. I. F. Akyildiz and E. P. Stuntebeck. Wireless underground sensor networks: Research challenges. Ad Hoc Networks Journal (Elsevier), 4:669-686, July 2006.
6. J. H. Andrews and Y. Zhang. Broad-spectrum studies of log file analysis. In Proc. ACM ICSE '00, pages 105-114, Limerick, Ireland, June 2000. ACM.
7. E. Bodden. J-LO - A tool for runtime-checking temporal assertions. http://www.bodden.de/pubs/bodden05jlo.pdf, 2005. Diploma Thesis, RWTH Aachen University.
8. N. Correll, M. Schager, and D. Rus. Social Control of Herd Animals by Integration of Artificially Controlled Congeners. In Proc. SAB '08, pages 437-447, Osaka, Japan, July 2008.
9. M. Darr and W. Epperson. Application note: Embedded sensor technology for real time determination of animal lying time. Comput. Electron. Agric., 66(1):106-111, 2009.
10. M. Demmer, P. Levis, A. Joki, E. Brewer, and D. Culler. Tython: a Dynamic Simulation Environment for Sensor Networks. Technical Report UCB/CSD-05-1372, EECS Department, University of California, Berkeley, 2005.
11. M. B. Dwyer, A. Kinneer, and S. Elbaum. Adaptive Online Program Analysis. In Proc. ACM ICSE '07, pages 220-229, Minneapolis, MN, May 2007.
12. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC language: A holistic approach to networked embedded systems. In Proc. ACM PLDI '03, pages 1-11, San Diego, CA, June 2003. ACM.
13. W. Gong and H.-A. Jacobsen. AspeCt-oriented C Language Specification. Middleware Systems Research Group, University of Toronto, Toronto, CA, 0.8 edition, January 2008.
14. E. Kuyt. Aerial radio-tracking of Whooping Cranes migrating between Wood Buffalo National Park and Aransas National Wildlife Refuge, 1981-1984. Technical report, Canadian Wildlife Service, 1992.
15. M. Lehtinen, A. Happonen, and J. Ikonen. Accuracy and time to first fix using consumer-grade GPS receivers. In Proc. IEEE SoftCom '08, pages 334-340, Dubrovnik, Croatia, Sep. 2008.
16. P. Levis, N. Lee, M. Welsh, and D. Culler. Tossim: Accurate and scalable simulation of entire tinyos applications. In Proc. of ACM SenSys '03, pages 126-137, November 2003.
17. J. Li, Y. Wu, K. Kapitanova, J. A. Stankovic, K. Whitehouse, and S. H. Son. Run time assurance of application-level requirements in wireless sensor networks. In Proc. ACM SenSys '09, pages 367-368, Berkeley, CA, Nov. 2009.
18. P. Li and J. Regehr. T-check: bug finding for sensor networks. In Proc. IEEE IPSN '10, pages 174-185, Stockholm, Sweden, April 2010.
19. K. Mens, C. V. Lopes, B. Tekinerdogan, and G. Kiczales. Aspect-Oriented Programming Workshop Report. In Proc. AITO ECOOP '97, pages 483-496, Jyvaskyla, Finland, June 1998. Springer-Verlag.
20. N. T. M. Nguyen and M. L. Soffa. Program representations for testing wireless sensor network applications. In Proc. DOSTA '07: Workshop on Domain specific approaches to software test automation, pages 20-26, Dubrovnik, Croatia, Sep. 2007.
21. M. Okola and K. Whitehouse. Unit Testing for Wireless Sensor Networks. In Proc. Workshop on Software Engineering for Sensor Network Application, Cape Town, South Africa, May 2010.
22. G. J. Pottie and W. J. Kaiser. Wireless integrated network sensors. Communications of the ACM, 43:51-58, May 2000.
23. O. Sokolsky, U. Sammapun, J. Regehr, and I. Lee. Runtime Verification for Wireless Sensor Network Applications. In B. Finkbeiner, K. Havelund, G. Rosu, and O. Sokolsky, editors, Proc. Dagstuhl Seminar 07011, number 07011 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, August 2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
24. J. Unrau. Whooping cranes sighted in record numbers. http://www. theglobeandmail.com/news/technology /science/article804129.ece, 12 2007. Retrieved 2007-12-17.
25. M. Woehrle, C. Plessl, J. Beutel, and L. Thiele. Increasing the reliability of wireless sensor networks with a distributed testing framework. In Proc. ACM EmNets '07, pages 93-97, Cork, Ireland, June 2007.
26. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal API rules from imperfect traces. In Proc. ACM ICSE '06, pages 282-291, Shanghai, China, May 2006.
27. P. Zhang, C. Sadler, S. Lyon, and M. Martonosi. Hardware design experiences in ZebraNet. In Proc. ACM SenSys '04, Baltimore, MD, Nov. 2004.