TinyOS 2.1 adding threads and memory protection to TinyOS

SenSys'08 - Proceedings of the 6th ACM Conference on Embedded Networked Sensor Systems

Volumn , Issue , 2008, Pages 413-414

[No Author Info available]

Author keywords

memory safety; threading models; tinyos

Indexed keywords

HARDWARE PLATFORM; MEMORY PROTECTION; MEMORY SAFETY; NEW APPLICATIONS; ROBUST APPLICATION; RUNTIMES; SERVICE ORIENTED APPLICATION; THREADING MODEL; TINYOS;

SENSORS;

EMBEDDED SYSTEMS;

EID: 84866511985     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1460412.1460479     Document Type: Conference Paper

References (10)

1. Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, and George C. Necula. Dependent types for low-level programming. In Proc. of the16th European Symp. on Programming (ESOP), Braga, Portugal, March-April 2007.
2. Nathan Cooprider, William Archer, Eric Eide, David Gay, and John Regehr. Efficient memory safety for TinyOS. In Proc. of the 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007), pages 205-218, Sydney, Australia, November 2007.
3. Deluge: TinyOS Network Programming. Available at http://www.cs.berkeley. edu/~jwhui/research/projects/deluge/.
4. Rodrigo Fonseca, Omprakash Gnawali, Kyle Jamieson, and Philip Levis. Four-Bit Wireless Link Estimation, 2008.
5. Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David Culler, David Gay, and Phil Levis. Integrating Concurrency Control and Energy Management in Device Drivers. In Proceedings for The 21st ACM Symposium on Operating Systems Principles (SOSP), 2007.
6. Kevin Klues, Chieh-Jan Mike Liang, Jeongyeup Paek, Razvan Musaloiu-E., Ramesh Govindan, Andreas Terzis, and Philip Levis. TEP134: The TOSThreads Thread Library.
7. Philip Levis, Neil Patel, David Culler, and Scott Shenker. Trickle: A Self-regulating Algorithm for Code Propagation and Maintenance in Wireless Sensor Networks. In Proceedings of NSDI 2004, March 2004.
8. Kaisen Lin and Philip Levis. Data Discovery and Dissemination with DIP. In IPSN '08: Proceedings of the 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008), pages 433-444, Washington, DC, USA, 2008. IEEE Computer Society.
9. M. Marot, B. Kusy, Gy. Simon, and A. Ledeczi. The flooding time synchronization protocol. In Proceedings of the 2nd international conference on Embedded networked sensor systems (SenSys), pages 39-49, November 2004.
10. Gabriel Montenegro, Nandakishore Kushalnagar, Jonathan Hui, and David Culler. RFC4944: Transmission of IPv6 Packets over IEEE 802.15.4 Networks, September 2007.