Difference between revisions of "Ipsn2009-tutorial"
(→Tutorial Plan) |
JohnRegehr (talk | contribs) (→Safe TinyOS) |
||
Line 39: | Line 39: | ||
=== Safe TinyOS === | === Safe TinyOS === | ||
+ | |||
+ | [http://www.cs.utah.edu/~regehr/safe-tinyos-tutorial-ipsn09.ppt John's current draft] | ||
=== Threads === | === Threads === |
Revision as of 22:03, 14 April 2009
Contents
TinyOS 2.1
TinyOS is an operating system widely used in sensor network research in academia and industry. In this tutorial, we will explain the details of TinyOS 2.1 architecture and learn how to start using TinyOS 2.1 for research and sensor network application development. This tutorial presents: a) an overview of TinyOS 2.1 component-based architecture and design rationale, b) the details of nesC, the C-dialect used to write programs in TinyOS, c) mechanisms to trap memory access errors (null pointer dereferences, array bound violations, etc.) using Safe TinyOS, d) an overview of TinyOS threads which enables seamless interleaving of long running background computations with time critical event-based services, and e) a survey of the TinyOS network stack. The tutorial will include hands-on session during which the participants will learn about TOSSIM, the TinyOS simulator, and run TinyOS programs.
Powerpoint template [1]
Tutorial Plan
08:33 - Introductions and overview of the tutorial - Om [2]
08:35 - Basics - Phil and David [3]
09:30 - TOSSIM - Razvan [4]
09:45 - Safe TinyOS - John
10:00 - Threads - Kevin [5]
10:15 - Break/discussions
10:20 - Protocols (Collection/Dissemination/FTSP/Deluge) - Om [6]
10:40 - Upcoming technologies (ZigBee/15.4/IP) - Steve [7]
10:50 - Hands-on - Razvan/Om [8] (work-in-progress)
11:30 - End
Details
TinyOS
nesC/toolchain
TOSSIM
Safe TinyOS
Threads
Protocols
We will introduce some protocols that are available for use in TinyOS 2.1. Network protocols - collection - MultihopLQI and CTP - dissemination - Drip and DIP, Time synchronization using FTSP and over-the-air programming using Deluge.