Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper outlines a lightweight method for gathering behavioral and timing information from simulated executions of software written in the nesC/TinyOS environment. The resulting data is used to generate both behavioral and timing profiles of the software, using UML sequence diagrams to visualize the behavior and to present the timing information.

REFERENCES

• 1: Will Archer , Philip Levis , John Regehr, Interface contracts for TinyOS, Proceedings of the 6th international conference on Information processing in sensor networks, April 25-27, 2007, Cambridge, Massachusetts, USA [doi>10.1145/1236360.1236382]
• 2: Carsten Buschmann , Dennis Pfisterer , Stefan Fischer , Sándor P. Fekete , Alexander Kröller, SpyGlass: a wireless sensor network visualizer, ACM SIGBED Review, v.2 n.1, p.1-6, January 2005 [doi>10.1145/1121782.1121784]
• 3: David Gay , Philip Levis , Robert von Behren , Matt Welsh , Eric Brewer , David Culler, The nesC language: A holistic approach to networked embedded systems, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA [doi>10.1145/781131.781133]
• 4: Youssef Hanna , Hridesh Rajan , Wensheng Zhang, Slede: a domain-specific verification framework for sensor network security protocol implementations, Proceedings of the first ACM conference on Wireless network security, March 31-April 02, 2008, Alexandria, VA, USA [doi>10.1145/1352533.1352551]
• 5: Jason Hill , Robert Szewczyk , Alec Woo , Seth Hollar , David Culler , Kristofer Pister, System architecture directions for networked sensors, ACM SIGPLAN Notices, v.35 n.11, p.93-104, Nov. 2000 [doi>10.1145/356989.356998]
• 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: Sibin Mohan , Frank Mueller , David Whalley , Christopher Healy, Timing Analysis for Sensor Network Nodes of the Atmega Processor Family, Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium, p.405-414, March 07-10, 2005 [doi>10.1109/RTAS.2005.53]
• 8: Olaf Landsiedel , Hamad Alizai , Klaus Wehrle, When Timing Matters: Enabling Time Accurate and Scalable Simulation of Sensor Network Applications, Proceedings of the 7th international conference on Information processing in sensor networks, p.344-355, April 22-24, 2008 [doi>10.1109/IPSN.2008.31]
• 9: Philip Levis , Nelson Lee , Matt Welsh , David Culler, TOSSIM: accurate and scalable simulation of entire TinyOS applications, Proceedings of the 1st international conference on Embedded networked sensor systems, November 05-07, 2003, Los Angeles, California, USA [doi>10.1145/958491.958506]
• 10: John Regehr , Alastair Reid , Kirk Webb , Michael Parker , Jay Lepreau, Evolving real-time systems using hierarchical scheduling and concurrency analysis, Proceedings of the 24th IEEE International Real-Time Systems Symposium, p.25, December 03-05, 2003
• 11: Shah Bhatti , James Carlson , Hui Dai , Jing Deng , Jeff Rose , Anmol Sheth , Brian Shucker , Charles Gruenwald , Adam Torgerson , Richard Han, MANTIS OS: an embedded multithreaded operating system for wireless micro sensor platforms, Mobile Networks and Applications, v.10 n.4, p.563-579, August 2005 [doi>10.1145/1160162.1160178]
• 12: Victor Shnayder , Mark Hempstead , Bor-rong Chen , Geoff Werner Allen , Matt Welsh, Simulating the power consumption of large-scale sensor network applications, Proceedings of the 2nd international conference on Embedded networked sensor systems, November 03-05, 2004, Baltimore, MD, USA [doi>10.1145/1031495.1031518]
• 13: Diomidis Spinellis, On the Declarative Specification of Models, IEEE Software, v.20 n.2, p.96-95, March 2003 [doi>10.1109/MS.2003.1184181]
• 14: Zheng Yao , Zengyu Lu , Holger Marquardt , Gerhard Fuchs , Sébastien Truchat , Falko Dressler, On-demand software management in sensor networks using profiling techniques, Proceedings of the 2nd international workshop on Multi-hop ad hoc networks: from theory to reality, May 26-26, 2006, Florence, Italy [doi>10.1145/1132983.1133006]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

Keywords:
software monitoring, wireless sensor networks