The nesC language: A holistic approach to networked embedded systems

The nesC language: A holistic approach to networked embedded systems (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by David Gay , Matt Welsh , Philip Levis , Eric Brewer , Robert Von Behren , David Culler

Venue:	In Proceedings of Programming Language Design and Implementation (PLDI
Citations:	568 - 40 self

BibTeX

@INPROCEEDINGS{Gay03thenesc,
    author = {David Gay and Matt Welsh and Philip Levis and Eric Brewer and Robert Von Behren and David Culler},
    title = {The nesC language: A holistic approach to networked embedded systems},
    booktitle = {In Proceedings of Programming Language Design and Implementation (PLDI},
    year = {2003},
    pages = {1--11}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (potentially) thousands of tiny, lowpower “motes, ” each of which execute concurrent, reactive programs that must operate with severe memory and power constraints. nesC’s contribution is to support the special needs of this domain by exposing a programming model that incorporates event-driven execution, a flexible concurrency model, and component-oriented application design. Restrictions on the programming model allow the nesC compiler to perform whole-program analyses, including data-race detection (which improves reliability) and aggressive function inlining (which reduces resource consumption). nesC has been used to implement TinyOS, a small operating system for sensor networks, as well as several significant sensor applications. nesC and TinyOS have been adopted by a large number of sensor network research groups, and our experience and evaluation of the language shows that it is effective at supporting the complex, concurrent programming style demanded by this new class of deeply networked systems.

Citations

911	Active messages: a mechanism for integrated communication and computation - Eicken, Culler, et al. - 1992
883	Tag: a tiny aggregation service for ad hoc sensor network - Madden, Franklin, et al. - 2002
813	Wireless sensor networks for habitat monitoring - Mainwaring, Culler, et al. - 2002
728	The click modular router - Kohler, Morris, et al.
478	Eraser: a dynamic data race detector for multithreaded programs - Savage, Burrows, et al. - 1997
300	Maté: A Tiny Virtual Machine for Sensor Networks - Levis, Culler
208	Making Paths Explicit in the Scout Operating System - Mosberger, Peterson - 1996
181	The C Programming Language, Second Edition - Kernighan, Ritchie - 1988
176	Smart Dust: Communicating with a Cubic-Millimeter Computer - Warneke, Last, et al.
163	An investigation of the therac-25 accidents - Leveson, Turner - 1993
141	Programming in Modula-2 - Wirth - 1982
138	Experiences with Processes and Monitors in Mesa - Lampson, Redell - 1980
103	Calibration as parameter estimation in sensor networks - Whitehouse, Culler
70	On-the-fly detection of data races for programs with nested fork-join parallelism - Mellor-Crummey - 1991
41	Programming in Oberon - Steps Beyond Pascal and Modula - Wirth, Reiser - 1992
37	Knit: Component Composition for Systems Software - Reid, Flatt, et al. - 2000
36	Mesa language manual - Mitchell, Maybury, et al. - 1979
34	Mate: a Virtual Machine for Tiny Networked Sensors - Levis, Culler
29	A statically allocated parallel functional language - Mycroft, Sharp - 2000
26	Race Condition Detection for Debugging Shared-Memory Parallel Programs - Netzer - 1991
20	Event-driven FRP - Wan, Taha, et al. - 2002
7	What really happened on mars rover pathfinder - Jones - 1997
7	Programming Language Techniques for Modular Router Configurations - Kohler, Chen, et al. - 2000
2	Notes: Research from the College of Engineering, UC Berkeley. Smart buildings admit their faults - Lab - 2001
1	Workshop 5.0 Collection: Chapter 5, Lock Analysis Tool - Sun - 2000