System architecture directions for networked sensors
ACM SIGPLAN Notices
On the Declarative Specification of Models
IEEE Software
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Evolving real-time systems using hierarchical scheduling and concurrency analysis
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Simulating the power consumption of large-scale sensor network applications
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
SpyGlass: a wireless sensor network visualizer
ACM SIGBED Review - Special issue: Best of sensys 2004 work-in-progress
On-demand software management in sensor networks using profiling techniques
REALMAN '06 Proceedings of the 2nd international workshop on Multi-hop ad hoc networks: from theory to reality
MANTIS OS: an embedded multithreaded operating system for wireless micro sensor platforms
Mobile Networks and Applications
Interface contracts for TinyOS
Proceedings of the 6th international conference on Information processing in sensor networks
Slede: a domain-specific verification framework for sensor network security protocol implementations
WiSec '08 Proceedings of the first ACM conference on Wireless network security
When Timing Matters: Enabling Time Accurate and Scalable Simulation of Sensor Network Applications
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
| Hi-index | 0.00 |
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.