Programming cyber-physical systems with MacroLab

ABSTRACT

We demonstrate MacroLab, which is a macroprogramming framework that offers a vector programming abstraction similar to Matlab for cyber-physical systems (CPSs). The user writes a single program for an 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). The MacroLab programming framework will facilitate the easy development of applications for CPSs by domain experts such as scientists and engineers with almost no additional overhead to the nodes in terms of message cost, power consumption, memory footprint, or CPU cycles over TinyOS programs.

REFERENCES

• 1: Ramakrishna Gummadi , Nupur Kothari , Ramesh Govindan , Todd Millstein, Kairos: a macro-programming system for wireless sensor networks, Proceedings of the twentieth ACM symposium on Operating systems principles, October 23-26, 2005, Brighton, United Kingdom [doi>10.1145/1095810.1118600]
• 2: Timothy W. Hnat , Tamim I. Sookoor , Pieter Hooimeijer , Westley Weimer , Kamin Whitehouse, MacroLab: a vector-based macroprogramming framework for cyber-physical systems, Proceedings of the 6th ACM conference on Embedded network sensor systems, November 05-07, 2008, Raleigh, NC, USA [doi>10.1145/1460412.1460435]
• 3: 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]
• 4: 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]
• 5: 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]

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