TinyOS: An Operating System for Sensor Networks

We present TinyOS, a flexible, application-specific operating system for sensor networks, which form a core component of ambient intelligence systems. Sensor networks consist of (potentially) thousands of tiny, low-power nodes, each of which execute concurrent, reactive programs that must operate with severe memory and power constraints. The sensor network challenges of limited resources, event-centric concurrent applications, and low-power operation drive the design of TinyOS. Our solution combines flexible, fine-grain components with an execution model that supports complex yet safe concurrent operations. TinyOS meets these challenges well and has become the platform of choice for sensor network research; it is in use by over a hundred groups worldwide, and supports a broad range of applications and research topics. We provide a qualitative and quantitative evaluation of the system, showing that it supports complex, concurrent programs with very low memory requirements (many applications fit within 16KB of memory, and the core OS is 400 bytes) and efficient, low-power operation.We present our experiences with TinyOS as a platform for sensor network innovation and applications.

[1]  Larry L. Peterson,et al.  The x-Kernel: An Architecture for Implementing Network Protocols , 1991, IEEE Trans. Software Eng..

[2]  D. Culler,et al.  Active Messages: A Mechanism for Integrated Communication and Computation , 1992, [1992] Proceedings the 19th Annual International Symposium on Computer Architecture.

[3]  Dan Hildebrand,et al.  An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[4]  Seth Copen Goldstein,et al.  Active Messages: A Mechanism for Integrated Communication and Computation , 1992, [1992] Proceedings the 19th Annual International Symposium on Computer Architecture.

[5]  Larry L. Peterson,et al.  Making paths explicit in the Scout operating system , 1996, OSDI '96.

[6]  Jay Lepreau,et al.  The Flux OSKit: a substrate for kernel and language research , 1997, SOSP.

[7]  Matthias Felleisen,et al.  Units: cool modules for HOT languages , 1998, PLDI.

[8]  G. Asada,et al.  Wireless integrated network sensors: Low power systems on a chip , 1998, Proceedings of the 24th European Solid-State Circuits Conference.

[9]  Danilo Beuche,et al.  The PURE family of object-oriented operating systems for deeply embedded systems , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[10]  Kang G. Shin,et al.  Emeralds: a small-memory real-time microkernel , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[11]  Gregory J. Pottie,et al.  Self-organizing distributed sensor networks , 1999, Defense, Security, and Sensing.

[12]  Scott Hamilton.  Semiconductor Research Corporation: Taking Moore's Law Into the Next Century , 1999, Computer.

[13]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[14]  Dawson R. Engler,et al.  Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.

[15]  Kristofer S. J. Pister,et al.  Preliminary circuits for Smart Dust , 2000, 2000 Southwest Symposium on Mixed-Signal Design (Cat. No.00EX390).

[16]  Deborah Estrin,et al.  Directed diffusion: a scalable and robust communication paradigm for sensor networks , 2000, MobiCom '00.

[17]  Eric Eide,et al.  Knit: component composition for systems software , 2000, OSDI.

[18]  Peter Kruus,et al.  CONSTRAINTS AND APPROACHES FOR DISTRIBUTED SENSOR NETWORK SECURITY , 2000 .

[19]  EDDIE KOHLER,et al.  The click modular router , 2000, TOCS.

[20]  Brad Karp,et al.  GPSR: greedy perimeter stateless routing for wireless networks , 2000, MobiCom '00.

[21]  Seth J. Teller,et al.  The cricket compass for context-aware mobile applications , 2001, MobiCom '01.

[22]  Deborah Estrin,et al.  Embedded Every-where: A Research Agenda for Networked Systems of Embedded Computers , 2001 .

[23]  Robert DeLine,et al.  Enforcing high-level protocols in low-level software , 2001, PLDI '01.

[24]  John A. Stankovic,et al.  A survey of configurable, component-based operating systems for embedded applications , 2001 .

[25]  Deborah Estrin,et al.  Building efficient wireless sensor networks with low-level naming , 2001, SOSP.

[26]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[27]  Deborah Estrin,et al.  Habitat monitoring: application driver for wireless communications technology , 2001, CCRV.

[28]  Cameron Whitehouse.  The Design of Calamari : an Ad-hoc Localization System for Sensor Networks , 2002 .

[29]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[30]  J.A. Stankovic,et al.  Denial of Service in Sensor Networks , 2002, Computer.

[31]  Mark D. Yarvis,et al.  Real-world experiences with an interactive ad hoc sensor network , 2002, Proceedings. International Conference on Parallel Processing Workshop.

[32]  J. Heidemann,et al.  A Flexible and Reliable Radio Communication Stack on Motes , 2002 .

[33]  Wei Hong,et al.  Proceedings of the 5th Symposium on Operating Systems Design and Implementation Tag: a Tiny Aggregation Service for Ad-hoc Sensor Networks , 2022 .

[34]  J. Elson,et al.  Fine-grained network time synchronization using reference broadcasts , 2002, OSDI '02.

[35]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[36]  Leonidas J. Guibas,et al.  A dual-space approach to tracking and sensor management in wireless sensor networks , 2002, WSNA '02.

[37]  Deborah Estrin,et al.  The impact of data aggregation in wireless sensor networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[38]  Deborah Estrin,et al.  Scalable, Ad Hoc Deployable, RF-Based Localization , 2002 .

[39]  David E. Culler,et al.  Calibration as parameter estimation in sensor networks , 2002, WSNA '02.

[40]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[41]  Chenyang Lu,et al.  RAP: a real-time communication architecture for large-scale wireless sensor networks , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[42]  Deborah Estrin,et al.  An Empirical Study of Epidemic Algorithms in Large Scale Multihop Wireless Networks , 2002 .

[43]  David E. Culler,et al.  Mica: A Wireless Platform for Deeply Embedded Networks , 2002, IEEE Micro.

[44]  Deborah Estrin,et al.  Impact of network density on data aggregation in wireless sensor networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[45]  Nathan Ickes,et al.  Energy-centric enabling tecumologies for wireless sensor networks , 2002, IEEE Wireless Communications.

[46]  David E. Culler,et al.  TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.

[47]  Indranil Gupta,et al.  Holistic operations in large-scale sensor network systems: a probabilistic peer-to-peer approach , 2003 .

[48]  Urbashi Mitra,et al.  Boundary Estimation in Sensor Networks: Theory and Methods , 2003, IPSN.

[49]  Donggang Liu,et al.  Efficient Distribution of Key Chain Commitments for Broadcast Authentication in Distributed Sensor Networks , 2002, NDSS.

[50]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI '03.

[51]  Yaping Li,et al.  ARRIVE: Algorithm for Robust Routing in Volatile Environments , 2003 .

[52]  Joseph Polastre,et al.  Design and implementation ofwireless sensor networks for habitat monitoring , 2003 .

[53]  Zhiyuan Ren,et al.  Sentry-Based Power Management in Wireless Sensor Networks , 2003, IPSN.

[54]  Tarek F. Abdelzaher,et al.  AIDA: Adaptive application-independent data aggregation in wireless sensor networks , 2004, TECS.

[55]  Anupam Joshi,et al.  Security in Sensor Networks , 2020, Texts in Computer Science.

[56]  David E. Culler,et al.  Evaluation of Efficient Link Reliability Estimators for Low-Power Wireless Networks , 2004 .