MacroLab: a vector-based macroprogramming framework for cyber-physical systems

ABSTRACT

We present a macroprogramming framework called MacroLab that offers a vector programming abstraction similar to Matlab for Cyber-Physical Systems (CPSs). The user writes a single program for the entire network using Matlab-like operations such as addition, find, and max. The framework executes these operations across the network in a distributed fashion, a centralized fashion, or something between the two - whichever is most efficient for the target deployment. We call this approach deployment-specific code decomposition (DSCD). MacroLab programs can be executed on mote-class hardware such as the Telos [24] motes. Our results indicate that MacroLab introduces almost no additional overhead in terms of message cost, power consumption, memory footprint, or CPU cycles over TinyOS

programs.

REFERENCES

• 1: The mathworks. http://www.mathworks.com/.
• 2: J. Bachrach and J. Beal. Programming a Sensor Network as an Amorphous Medium. Technical report, MIT'06.
• 3: Rong-Guey Chang , Tyng-Ruey Chuang , Jenq-Kuen Lee, Compiler Optimizations for Parallel Sparse Programs with Array Intrinsics of Fortran 90, Proceedings of the 1999 International Conference on Parallel Processing, p.103, September 21-24, 1999
• 4: Crossbow. Micaz datasheet. http://www.xbow.com/Products/Product_pdf_files/Wireless_pdf/MICAz_Datasheet.pdf.
• 5: A. Krishnamurthy , D. E. Culler , A. Dusseau , S. C. Goldstein , S. Lumetta , T. von Eicken , K. Yelick, Parallel programming in Split-C, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.262-273, December 1993, Portland, Oregon, United States [doi>10.1145/169627.169724]
• 6: Deborah Estrin , Ramesh Govindan , John Heidemann , Satish Kumar, Next century challenges: scalable coordination in sensor networks, Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking, p.263-270, August 15-19, 1999, Seattle, Washington, United States [doi>10.1145/313451.313556]
• 7: Chien-Liang Fok , Gruia-Catalin Roman , Chenyang Lu, Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications, Proceedings of the 25th IEEE International Conference on Distributed Computing Systems, p.653-662, June 06-10, 2005 [doi>10.1109/ICDCS.2005.63]
• 8: David Gay , Philip Levis , Robert von Behren , Matt Welsh , Eric Brewer , David Culler, The nesC language: A holistic approach to networked embedded systems, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA
• 9: Omprakash Gnawali , Ki-Young Jang , Jeongyeup Paek , Marcos Vieira , Ramesh Govindan , Ben Greenstein , August Joki , Deborah Estrin , Eddie Kohler, The Tenet architecture for tiered sensor networks, Proceedings of the 4th international conference on Embedded networked sensor systems, October 31-November 03, 2006, Boulder, Colorado, USA [doi>10.1145/1182807.1182823]
• 10: R. Gummadi, O. Gnawali, and R. Govindan. Macro-programming wireless sensor networks using Kairos. In DCOSS'05.
• 11: Seema Hiranandani , Ken Kennedy , Charles Koelbel , Ulrich Kremer , Chau-Wen Tseng, An Overview of the Fortran D Programming System, Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing, p.18-34, August 07-09, 1991
• 12: Galen C. Hunt , Michael L. Scott, The Coign automatic distributed partitioning system, Proceedings of the third symposium on Operating systems design and implementation, p.187-200, February 1999, New Orleans, Louisiana, United States
• 13: Milan Jovanovic , Veljko Milutinovic, An Overview of Reflective Memory Systems, IEEE Concurrency, v.7 n.2, p.56-64, April 1999 [doi>10.1109/4434.766965]
• 14: Nupur Kothari , Ramakrishna Gummadi , Todd Millstein , Ramesh Govindan, Reliable and efficient programming abstractions for wireless sensor networks, Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, June 10-13, 2007, San Diego, California, USA
• 15: P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, et al. TinyOS: An Operating System for Sensor Networks.
• 16: Hongzhou Liu , Tom Roeder , Kevin Walsh , Rimon Barr , Emin Gün Sirer, Design and implementation of a single system image operating system for ad hoc networks, Proceedings of the 3rd international conference on Mobile systems, applications, and services, June 06-08, 2005, Seattle, Washington [doi>10.1145/1067170.1067187]
• 17: Liqian Luo , Tarek F. Abdelzaher , Tian He , John A. Stankovic, EnviroSuite: An environmentally immersive programming framework for sensor networks, ACM Transactions on Embedded Computing Systems (TECS), v.5 n.3, p.543-576, August 2006 [doi>10.1145/1165780.1165782]
• 18: Samuel R. Madden , Michael J. Franklin , Joseph M. Hellerstein , Wei Hong, TinyDB: an acquisitional query processing system for sensor networks, ACM Transactions on Database Systems (TODS), v.30 n.1, p.122-173, March 2005 [doi>10.1145/1061318.1061322]
• 19: Samuel Madden , Michael J. Franklin , Joseph M. Hellerstein , Wei Hong, TAG: a Tiny AGgregation service for Ad-Hoc sensor networks, Proceedings of the 5th symposium on Operating systems design and implementation

  Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading

  , December 09-11, 2002, Boston, Massachusetts [doi>10.1145/1060289.1060303]
• 20: G. Mainland, M. Welsh, and G. Morrisett. Flask: A language for data-driven sensor network programs. Technical report, Harvard'06.
• 21: R. Müller, G. Alonso, and D. Kossmann. A virtual machine for sensor networks. In EuroSys'07.
• 22: Ryan Newton , Greg Morrisett , Matt Welsh, The regiment macroprogramming system, Proceedings of the 6th international conference on Information processing in sensor networks, April 25-27, 2007, Cambridge, Massachusetts, USA [doi>10.1145/1236360.1236422]
• 23: Joseph Polastre , Jason Hill , David Culler, Versatile low power media access for wireless sensor networks, Proceedings of the 2nd international conference on Embedded networked sensor systems, November 03-05, 2004, Baltimore, MD, USA [doi>10.1145/1031495.1031508]
• 24: Joseph Polastre , Robert Szewczyk , David Culler, Telos: enabling ultra-low power wireless research, Proceedings of the 4th international symposium on Information processing in sensor networks, April 24-27, 2005, Los Angeles, California
• 25: G. Ramalingam, Data flow frequency analysis, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.267-277, May 21-24, 1996, Philadelphia, Pennsylvania, United States
• 26: H. Richardson. High performance fortran: history, overview and current developments. Technical report, Thinking Machines Corporation'96.
• 27: Edmond Schonberg , Jacob T. Schwartz , Micha Sharir, Automatic data structure selection in SETL, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.197-210, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567771]
• 28: C. Sharp, S. Schaffert, A. Woo, N. Sastry, C. Karlof, S. Sastry, and D. Culler. Design and implementation of a sensor network system for vehicle tracking and autonomous interception. In EWSN'05.
• 29: Eli Tilevich , Yannis Smaragdakis, J-Orchestra: Automatic Java Application Partitioning, Proceedings of the 16th European Conference on Object-Oriented Programming, p.178-204, June 10-14, 2002
• 30: Matt Welsh , Geoff Mainland, Programming sensor networks using abstract regions, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.3-3, March 29-31, 2004, San Francisco, California
• 31: K. Whitehouse, J. Liu, and F. Zhao. Semantic streams: a framework for composable inference over sensor data. In EWSN'06.
• 32: Kamin Whitehouse , Cory Sharp , Eric Brewer , David Culler, Hood: a neighborhood abstraction for sensor networks, Proceedings of the 2nd international conference on Mobile systems, applications, and services, June 06-09, 2004, Boston, MA, USA [doi>10.1145/990064.990079]
• 33: Kamin Whitehouse , Gilman Tolle , Jay Taneja , Cory Sharp , Sukun Kim , Jaein Jeong , Jonathan Hui , Prabal Dutta , David Culler, Marionette: using RPC for interactive development and debugging of wireless embedded networks, Proceedings of the 5th international conference on Information processing in sensor networks, April 19-21, 2006, Nashville, Tennessee, USA [doi>10.1145/1127777.1127840]
• 34: Yong Yao , Johannes Gehrke, The cougar approach to in-network query processing in sensor networks, ACM SIGMOD Record, v.31 n.3, September 2002 [doi>10.1145/601858.601861]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

General Terms:
Design, Languages, Performance

Keywords:
cyber-physical systems, embedded networks, macroprogramming, programming abstractions