The nesC language: A holistic approach to networked embedded systems

ACM SIGPLAN Notices

Volumn 38, Issue 5, 2003, Pages 1-11

  Gay, David ^b   Levis, Philip ^a   Von Behren, Robert ^a   Welsh, Matt ^b   Brewer, Eric ^a   Culler, David ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL RESEARCH   (United States)

Author keywords

C; Components; Concurrency; Data races; First order; Modules; nesC; Programming languages; TinyOS

Indexed keywords

COMPUTER OPERATING SYSTEMS; CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; PROGRAM COMPILERS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

NESC; NETWORKED EMBEDDED SYSTEMS; PROGRAMMING MODEL; SENSOR NETWORK;

C (PROGRAMMING LANGUAGE);

EID: 1542316037     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780822.781133     Document Type: Conference Paper

References (53)

1. J. Aldrich, C. Chambers, and D. Notkin. Architectural Reasoning in ArchJava. In European Conference on Object Oriented Programming (ECOOP), June 2002.
2. F. Bachmann, L. Bass, C. Buhrman, S. Cornella-Dorda, F. Long, J. Robert, R. Seacord, and K. Wallnau. Volume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition. Technical Report CMU/SEI-2000-TR-008, Carnegie Mellon Software Engineering Institute, May 2000.
3. A. Benveniste, P. L. Guernic, and C. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16(2):103-149, Sept. 1991.
4. F. Boussinot and R. de Simone. The ESTEREL Language. Proceedings of the IEEE, 79(9):1293-1304, Sept. 1991.
5. H. de Bruin. BCOOPL: A Language for Controlling Component Interactions. Journal of Supercomputing, 2002. Accepted for publication.
6. R. Deline and M. Fahndrich. Enforcing High-level Protocols in Low-Level Software. In Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation, pages 59-69, June 2001.
7. D. L. Detlefs, K. R. M. Leino, G. Nelson, and J. B. Saxe. Extended static checking. Technical Report #159, Palo Alto, USA, 1998.
8. J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller. THINK: A Software Framework for Component-based Operating System Kernels. In Proceedings of Usenix Annual Technical Conference, June 2002.
9. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 236-248, 1998.
10. B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The Flux OSKit: A Substrate for Kernel and Language Research. In Proceedings of the Symposium on Operating Systems Principles, pages 38-51, 1997.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
12. S. P. Harbison. Modula-3. Prentice Hall, 1991.
13. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Embedded Control Systems Development with Giotto. In Proceedings of the ACM Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES), pages 64-72, June 2001.
14. A. Herbert. An ANSA Overview. IEEE Network, 8(1):18-23, 1994.
15. M. Herlihy. A methodology for implementing highly concurrent data objects. ACM Transactions on Programming Languages and Systems, 15(5):745-770, November 1993.
16. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. E. Culler, and K. S. J. Pister. System Architecture Directions for Networked Sensors. In Architectural Support for Programming Languages and Operating Systems, pages 93-104, 2000. TinyOS is available at http://webs.cs.berkeley.edu.
17. N. C. Hutchinson and L. L. Peterson. Design of the x-kernel. In Proceedings of SIGCOMM '88, pages 65-75, Aug. 1988.
18. IEEE Standard 1076-2002. VHDL Language Reference Manual.
19. C. Intanagonwiwat, D. Estrin, R. Govindan, and J. Heidemann. Impact of network density on data aggregation in wireless sensor networks. In Proceedings of International Conference on Computing Systems (ICDCS), July 2002.
20. International Organisation for Standardization. Ada 95 Reference Manual, Jan. 1995.
21. ISO/IEC International Standard 10746-3. ODP Reference Model: Architecture, 1995.
22. M. Jones. What really happened on mars rover pathfinder. The Risks Digest, 19(49).
23. B. W. Kernighan and D. M. Ritchie. The C Programming Language, Second Edition. Prentice Hall, 1988.
24. E. Kohler, B. Chen, M. F. Kaashoek, R. Morris, and M. Poletto. Programming language techniques for modular router configurations. Technical Report MIT-LCS-TR-812, MIT Laboratory for Computer Science, Aug. 2000.
25. Lab Notes: Research from the College of Engineering, UC Berkeley. Smart buildings admit their faults., 2001. http://coe.berkeley.edu/labnotes/1101.smart buildings.html.
26. B. W. Lampson and D. D. Redell. Experience with processes and monitors in mesa. In Proceedings of the 7th ACM Symposium on Operating Systems Principles (SOSP), pages 43-44, 1979.
27. N. Leveson and C. S. Turner. An investigation of the therac-25 accidents. IEEE Computer, 26(7):18-41, July 1993.
28. P. Levis and D. Culler. Maté: A Tiny Virtual Machine for Sensor Networks. In Proceedings of the ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Oct. 2002.
29. S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. TAG: a Tiny AGgregation Service for Ad-Hoc Sensor Networks. In Proceedings of the ACM Symposium on Operating System Design and Implementation (OSDI), Dec. 2002.
30. A. Mainwaring, J. Polastre, R. Szewczyk, D. Culler, and J. Anderson. Wireless Sensor Networks for Habitat Monitoring. In Proceedings of the ACM International Workshop on Wireless Sensor Networks and Applications, Sept. 2002.
31. J. Mellor-Crummey. On-the-fly detection of data races for programs with nested fork-join parallelism. In Proc. of Supercomputing '91. pages 24-33, 1991.
32. Microsoft C# Language Specification. Microsoft Press. ISBN 0-7356-1448-2.
33. Microsoft. Windows CE. http://www.microsoft.com.
34. OLE2 Programmer's Reference, Volume One. Microsoft Press, 1994.
35. J. Mitchell. Mesa language manual. Technical Report CSL-79-3, Xerox PARC, 1979.
36. R. Morris, E. Kohler, J. Jannotti, and M. F. Kaashoek. The Click Modular Router. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), pages 217-231, 1999.
37. D. Mosberger and L. L. Peterson. Making Paths Explicit in the Scout Operating System. In Operating Systems Design and Implementation, pages 153-167, 1996.
38. A. Mycroft and R. Sharp. A Statistically Allocated Parallel Functional Languages. In Proceedings of the Internal Conference on Automata, Languages and Programming (ICALP), pages 37-48, 2000.
39. R. H. B. Netzer. Race condition detection for debugging shared-memory parallel programs. Technical Report CS-TR-1991-1039, 1991.
40. Object Management Group. Common Object Request Broker Architecture. Available at http://www.omg.org.
41. Object Management Group. COBRA Component Model (CCM) Specification. Available at http://www.omg.org.
42. QNX Software Systems, Ltd, Kanata, Ontatio, Canada. http://www.qnx.com.
43. A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide. Knit: Component composition for systems software. In Proceedings of the 4th ACM Symposium on Operating System Design and Implementation, pages 347-360, Oct. 2000.
44. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
45. Sun Microsystems. Enterprise Java Beans. Available at http://java.sun.com/ejb.
46. SunSoft. Sun Workshop 5.0 Collection: Chapter 5, Lock Analysis Tool, 2000.
47. T. von Eicken, D. E. Culler, S. C. Goldstein, and K. E. Schauser. Active Messages: A Mechanism for Integrated Communication and Computation. In Proceedings of the International Symposium on Computer Architecture, pages 256-266, 1992.
48. Z. Wan, W. Taha, and P. Hudak. Event-Driven FRP. In Proceedings of the Internation Symposium on Principles of Declarative Languages (PADL), volume 2257, pages 155-172, 2001.
49. B. Warneke, M. L. and B. Liebowitz, and K. Pister. Smart dust: Communicating with a cubic-millimeter computer. IEEE Computer Magazine, pages 44-51, January 2001.
50. K. Whitehouse and D. Culler. Calibration as Parameter Estimation in Sensor Networks. In Proceedings of the ACM International Workshop on Wireless Sensor Networks and Applications, Sept. 2002.
51. Wind River Systems, Inc, Alameda, CA, USA. http://www.vxworks.com.
52. N. Wirth. Programming in Modula-2. Springer Verlag, 1992.
53. N. Wirth and M. Reiser. Programming in Oberon - Steps Beyond Pascal and Modula. Addison-Wesley, 1992. ISBN 0-201-56543-9.