Lightweight monitoring of sensor software

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 2180-2185

  Hammad, Mustafa ^a   Cook, Jonathan ^a  

^a New Mexico State University   (United States)

Author keywords

Software monitoring; Wireless sensor networks

Indexed keywords

SOFTWARE MONITORING; TIMING INFORMATION; UML SEQUENCE DIAGRAMS; WIRELESS SENSOR;

COMPUTER SCIENCE; COMPUTER SOFTWARE; SENSOR NETWORKS; TIME MEASUREMENT; WIRELESS TELECOMMUNICATION SYSTEMS;

WIRELESS SENSOR NETWORKS;

EID: 70449120111     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529763     Document Type: Conference Paper

References (14)

1. W. Archer, P. Levis, and J. Regehr. Interface contracts for tinyos. In IPSN '07: Proceedings of the 6th international conference on Information processing in sensor networks, pages 158-165, New York, NY, USA, 2007. ACM.
2. C. Buschmann, D. Pfisterer, S. Fischer, S. P. Fekete, and A. Kröller. Spyglass: a wireless sensor network visualizer. SIGBED Review, 2(1):1-6, 2005.
3. D.Gay, P.Levis, R.Behren, M.Welsh, E.Brewer, and D.Culler. The nesC language: A Holistic Approach to Networked Embedded Systems. In Proc. ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 1-11, New York, NY, USA, 2003. ACM.
4. Y. Hanna, H. Rajan, and W. Zhang. Slede: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations. In Proc. First ACM Conference on Wireless Network Security, page to appear, Mar. 2008.
5. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister. System architecture directions for networked sensors. SIGPLAN Not., 35(11):93-104, 2000.
6. J.Blumenthal, M.Handy, F.Golatowski, M.Haase, and D.Timmermann. Wireless Sensor Networks - New Challenges in Software Engineering. In Proc. 2003 Emerging Technologies and Factory Automation, pages 551-556. IEEE Computer Society Press, Sept. 2003.
7. S. Mohan, F. Mueller, D. Whalley, and C. Healy. Timing analysis for sensor network nodes of the atmega processor family. In 11th IEEE Real Time and Embedded Technology and Applications Symposium, pages 405-414, Los Alamitos, CA, USA, 2005. IEEE Computer Society.
8. K. W. Olaf Landsiedel, Hamad Alizai. When Timing Matters: Enabling Time Accurate & Scalable Simulation of Sensor Network Applications. In International Conference on Information Processing in Sensor Networks, pages 344-355, Los Alamitos, CA, USA, 2008. IEEE Computer Society.
9. P.Levis, N.Lee, M.Welsh, and D.Culler. TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. In Proc. 1st International Conference on Embedded Networked Sensor Systems, pages 126-137, New York, NY, USA, 2003. ACM.
10. J. Regehr, A. Reid, K. Webb, M. Parker, and J. Lepreau. Evolving real-time systems using hierarchical scheduling and concurrency analysis. Real-Time Systems Symposium, 2003. RTSS 2003. 24th IEEE, pages 25-36, 3-5 Dec. 2003.
11. Shah Bhatti and James Carlson and Hui Dai and Jing Deng and Jeff Rose and Anmol Sheth and Brian Shucker and Charles Gruenwald and Adam Torgerson and Richard Han. MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms. Mobile Networks and Applications, 10(4):563-579, 2005.
12. V. Shnayder, M. Hempstead, B. rong Chen, G. W. Allen, and M. Welsh. Simulating the power consumption of large-scale sensor network applications. In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems, pages 188-200, New York, NY, USA, 2004. ACM.
13. D. Spinellis. On the declarative specification of models. Software, IEEE, 20(2):94-96, 2003.
14. Z. Yao, Z. Lu, H. Marquardt, G. Fuchs, S. Truchat, and F. Dressler. On-demand software management in sensor networks using profiling techniques. In REALMAN '06: Proc. 2nd int'l workshop on Multi-hop ad hoc networks: from theory to reality, pages 113-115, New York, NY, USA, 2006. ACM.