research-article

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

Authors:

Timothy W. Hnat,

Tamim I. Sookoor,

Pieter Hooimeijer,

Westley Weimer,

Kamin WhitehouseAuthors Info & Claims

SenSys '08: Proceedings of the 6th ACM conference on Embedded network sensor systems

Pages 225 - 238

https://doi.org/10.1145/1460412.1460435

Published: 05 November 2008 Publication History

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]

R.-G. Chang, T.-R. Chuang, and J.-K. Lee. Compiler optimizations for parallel sparse programs with array intrinsics of fortran 90. In ICPP'99.

Digital Library

[4]

Crossbow. Micaz datasheet. http://www.xbow.com/Products/Product_pdf_files/Wireless_pdf/MICAz_Datasheet.pdf.

[5]

D. E. Culler, A. Dusseau, S. C. Goldstein, A. Krishnamurthy, S. Lumetta, T. V. Eicken, and K. Yelick. Parallel programming in Split-C. In Supercomputing'93.

Digital Library

[6]

D. Estrin, R. Govindan, J. S. Heidemann, and S. Kumar. Next century challenges: Scalable coordination in sensor networks. In MobiCom'99.

Digital Library

[7]

C.-L. Fok, G. C. Roman, and C. Lu. Rapid development and exible deployment of adaptive wireless sensor network applications. In ICDCS'05.

Digital Library

[8]

D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesc language: A holistic approach to networked embedded systems. In PLDI'03.

Digital Library

[9]

O. Gnawali, K.-Y. Jang, J. Paek, M. Vieira, R. Govindan, B. Greenstein, A. Joki, D. Estrin, and E. Kohler. The tenet architecture for tiered sensor networks. In SenSys'06.

Digital Library

[10]

R. Gummadi, O. Gnawali, and R. Govindan. Macro-programming wireless sensor networks using Kairos. In DCOSS'05.

Digital Library

[11]

S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer, and C.-W. Tseng. An overview of the Fortran D programming system. In LCPC'91.

Digital Library

[12]

G. C. Hunt and M. L. Scott. The Coign automatic distributed partitioning system. In OSDI'99.

Digital Library

[13]

M. Jovanovic and V. Milutinovic. An overview of reflective memory systems. IEEE Concurrency'99.

Digital Library

[14]

N. Kothari, R. Gummadi, T. D. Millstein, and R. Govindan. Reliable and efficient programming abstractions for wireless sensor networks. In PLDI'07.

Digital Library

[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]

H. Liu, T. Roeder, K. Walsh, R. Barr, and E. G. Sirer. Design and implementation of a single system image operating system for ad hoc networks. In MobiSys'05.

Digital Library

[17]

L. Luo, T. Abdelzaher, T. He, and J. Stankovic. EnviroSuite: An environmentally immersive programming framework for sensor networks. TECS'06.

Digital Library

[18]

S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. Tinydb: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst.'05.

Digital Library

[19]

S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. TAG: a Tiny AGgregation Service for Ad-Hoc Sensor Networks. In OSDI, December 2002.

Digital Library

[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]

R. Newton, G. Morrisett, and M. Welsh. The regiment macroprogramming system. IPSN'07.

Digital Library

[23]

J. Polastre, J. Hill, and D. Culler. Versatile low power media access for wireless sensor networks. In SenSys'04.

Digital Library

[24]

J. Polastre, R. Szewczyk, and D. Culler. Telos: enabling ultra-low power wireless research. IPSN'05.

Digital Library

[25]

G. Ramalingam. Data ow frequency analysis. In PLDI'96.

Digital Library

[26]

H. Richardson. High performance fortran: history, overview and current developments. Technical report, Thinking Machines Corporation'96.

[27]

E. Schonberg, J. T. Schwartz, and M. Sharir. Automatic data structure selection in setl. In POPL'79.

Digital Library

[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]

E. Tilevich and Y. Smaragdakis. J-orchestra: Automatic java application partitioning. In ECOOP'02.

Digital Library

[30]

M. Welsh and G. Mainland. Programming sensor networks using abstract regions. In NSDI'04.

Digital Library

[31]

K. Whitehouse, J. Liu, and F. Zhao. Semantic streams: a framework for composable inference over sensor data. In EWSN'06.

Digital Library

[32]

K. Whitehouse, C. Sharp, E. Brewer, and D. Culler. Hood: a neighborhood abstraction for sensor networks. In MobiSys'04.

Digital Library

[33]

K. Whitehouse, G. Tolle, J. Taneja, C. Sharp, S. Kim, J. Jeong, J. Hui, P. Dutta, and D. Culler. Marionette: using rpc for interactive development and debugging of wireless embedded networks. In IPSN'06.

Digital Library

[34]

Y. Yao and J. Gehrke. The cougar approach to in-network query processing in sensor networks. SIGMOD'02.

Digital Library

Cited By

Casadei R(2023)Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour ModellingACM Computing Surveys10.1145/357935355:13s(1-37)Online publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1145/3579353
Wang HZhao HZhang JMa DLi JWei J(2020)Survey on Unmanned Aerial Vehicle Networks: A Cyber Physical System PerspectiveIEEE Communications Surveys & Tutorials10.1109/COMST.2019.296220722:2(1027-1070)Online publication date: Oct-2021
https://doi.org/10.1109/COMST.2019.2962207
Kifouche AHamouche RKocik RRachedi ABaudoin G(2019)Model driven framework to enhance sensor network design cycleTransactions on Emerging Telecommunications Technologies10.1002/ett.356030:8Online publication date: 14-Aug-2019
https://dl.acm.org/doi/10.1002/ett.3560
Show More Cited By

Index Terms

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

Recommendations

Programming cyber-physical systems with MacroLab
SenSys '08: Proceedings of the 6th ACM conference on Embedded network sensor systems

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 ...
Programming wireless sensor networks with logical neighborhoods: a road tunnel use case
SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems

Wireless sensor networks (WSNs) involving actuation are increasingly envisioned in a range of fields. For instance, there is considerable interest in leveraging off WSNs to improve safety in road tunnels [3]. Researchers are envisioning tunnels equipped ...
Srijan: a graphical toolkit for sensor network macroprogramming
ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the constituent nodes. In this proposed demonstration, we would like to present ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SenSys '08: Proceedings of the 6th ACM conference on Embedded network sensor systems

November 2008

468 pages

ISBN:9781595939906

DOI:10.1145/1460412

General Chair:
Tarek Abdelzaher
University of Illinois at Urbana-Champaign, USA
,
Program Chairs:
Margaret Martonosi
Princeton University, USA
,
Adam Wolisz
Technische Universität Berlin, Germany

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SenSys08

Sponsor:

SenSys08: The 6th ACM Conference on Embedded Networked Sensor Systems

November 5 - 7, 2008

NC, Raleigh, USA

Acceptance Rates

Overall Acceptance Rate 174 of 867 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

47
Total Citations
View Citations
737
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Casadei R(2023)Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour ModellingACM Computing Surveys10.1145/357935355:13s(1-37)Online publication date: 13-Jul-2023
https://dl.acm.org/doi/10.1145/3579353
Wang HZhao HZhang JMa DLi JWei J(2020)Survey on Unmanned Aerial Vehicle Networks: A Cyber Physical System PerspectiveIEEE Communications Surveys & Tutorials10.1109/COMST.2019.296220722:2(1027-1070)Online publication date: Oct-2021
https://doi.org/10.1109/COMST.2019.2962207
Kifouche AHamouche RKocik RRachedi ABaudoin G(2019)Model driven framework to enhance sensor network design cycleTransactions on Emerging Telecommunications Technologies10.1002/ett.356030:8Online publication date: 14-Aug-2019
https://dl.acm.org/doi/10.1002/ett.3560
Ortin FO’Shea D(2018)Towards an Easily Programmable IoT Framework Based on MicroservicesJournal of Software10.17706/jsw.13.2.90-10213:1(90-102)Online publication date: Feb-2018
https://doi.org/10.17706/jsw.13.2.90-102
Bagnato ABíró RBonino DPastrone CElmenreich WReiners RSchranz MArnautovic EGiorgi RBecchi MPalumbo F(2017)Designing Swarms of Cyber-Physical SystemsProceedings of the Computing Frontiers Conference10.1145/3075564.3077628(305-312)Online publication date: 15-May-2017
https://dl.acm.org/doi/10.1145/3075564.3077628
Huang JZhang L(2017)Research and challenges of CPS10.1063/1.4992851(020034)Online publication date: 2017
https://doi.org/10.1063/1.4992851
Mohammed AXu YHu HAgyemang B(2016)Markov Task Network: A Framework for Service Composition under Uncertainty in Cyber-Physical SystemsSensors10.3390/s1609154216:9(1542)Online publication date: 21-Sep-2016
https://doi.org/10.3390/s16091542
Giordano ASpezzano GVinci A(2016)A Smart Platform for Large-Scale Cyber-Physical SystemsManagement of Cyber Physical Objects in the Future Internet of Things10.1007/978-3-319-26869-9_6(115-134)Online publication date: 30-Jan-2016
https://doi.org/10.1007/978-3-319-26869-9_6
Vogiatzaki EKrukowski A(2016)Motivation, Market and European PerspectiveModern Stroke Rehabilitation through e-Health-based Entertainment10.1007/978-3-319-21293-7_1(1-26)Online publication date: 2016
https://doi.org/10.1007/978-3-319-21293-7_1
Patel PLuo TBellur UChaudhary S(2015)Application Development Framework for Developing Cyber-Physical SystemsCyber-Physical Systems10.1201/b19290-26(437-470)Online publication date: 13-Oct-2015
https://doi.org/10.1201/b19290-26
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents