An animation framework for improving the comprehension of TinyOS programs
Pages 1625 - 1631
Abstract
In this paper, we describe an animation framework for TinyOS programs to enhance the comprehension of their runtime behavior. The framework enables application developers to specify, in an XML configuration file, the runtime elements to be captured within a given system, and the manner in which those elements should be displayed. The presented visualization is an animated playback sequence of the events that occurred during application execution. We describe the design and implementation of the framework and present an analysis of the runtime overhead it introduces.
References
[1]
E. A. Basha et al. Model-based monitoring for early warning flood detection. In SenSys, pages 295--308, 2008.
[2]
J. Beutel et al. PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes. In IPSN, pages 265--276, 2009.
[3]
B. Cornelissen et al. Understanding execution traces using massive sequence and circular bundle views. In ICPC, pages 49--58, 2007.
[4]
A. R. Dalton et al. Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS. SCP, 74(7): 446--469, 2009.
[5]
A. R. Dalton and J. O. Hallstrom. A toolkit for visualizing the runtime behavior of TinyOS applications. In ICPC, pages 43--52, 2008.
[6]
A. R. Dalton and J. O. Hallstrom. nait: A source analysis and instrumentation framework for nesc. JSS, 82(7): 1057--1212, 2009.
[7]
E. Gamma et al. Design Patterns: Elements of Reusable Object-Oriented Software. 1995.
[8]
D. Gay et al. The nesC language: A holistic approach to networked embedded systems. In PLDI, pages 1--11, 2003.
[9]
G. Gracioli and S. Fischmeister. Tracing interrupts in embedded software. In LCTES, pages 137--146, 2009.
[10]
S. A. Hendrickson et al. An (architecture-centric) approach for tracing, organizing and understanding events in event-based software architectures. In ICPC, pages 227--236, 2005.
[11]
J. Hill et al. System architecture directions for networked sensors. In ASPLOS, pages 93--104, 2000.
[12]
D. B. Lange and Y. Nakamura. Program Explorer: A program visualizer for C++. In COOTS, 1995.
[13]
B. A. Malloy and J. F. Power. Exploiting UML dynamic object modeling for the visualization of C++ programs. In SoftVis, pages 105--114, 2005.
[14]
W. P. McCartney and N. Sridhar. TOSDev: A rapid development environment for TinyOS (demo). In SenSys, pages 387--388, 2006.
[15]
Moteiv Corporation. Tmote Sky datasheet. http://www.moteiv.com/products/docs/tmote-sky-datasheet.pdf, 2006.
[16]
A. Orso et al. Visualization of program-execution data for deployed software. In SoftVis, pages 67--77, 2003.
[17]
A. Orso et al. Gammatella: Visualization of program-execution data for deployed software. In ICSE, pages 699--700, 2004.
[18]
S. P. Reiss. Visualizing program execution using user abstractions. In SoftVis, pages 125--134, 2006.
[19]
J. Sallai et al. TinyDT: TinyOS plugin for the Eclipse platform. http://www.tinydt.net, 2005.
[20]
S. K. Wahba et al. Initiaing a design pattern catalog for embedded network systems. In EMSOFT, pages 249--258, 2010.
Index Terms
- An animation framework for improving the comprehension of TinyOS programs
Recommendations
Efficient memory safety for TinyOS
SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systemsReliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory protection is unavailable, and severe resource constraints necessitate the use of unsafe, low-level languages. Our work improves ...
Viptos: a graphical development and simulation environment for TinyOS-based wireless sensor networks
SenSys '05: Proceedings of the 3rd international conference on Embedded networked sensor systemsWe are announcing the first release of Viptos (Visual Ptolemy and TinyOS), an integrated graphical development and simulation environment for TinyOS-based wireless sensor networks. Viptos allows developers to create block and arrow diagrams to construct ...
Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach
Special Issue on Modeling and Verification of Discrete Event SystemsWireless sensor networks are an increasingly popular application area for embedded systems. Individual sensor nodes within a network are typically resource-constrained, event-driven, and require a high degree of concurrency. This combination of ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 2012
2179 pages
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 26 March 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
SAC 2012
Sponsor:
Acceptance Rates
SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 102Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 05 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in