Stream-based macro-programming of wireless sensor, actuator network applications with SOSNA

ABSTRACT

Wireless sensor, actuator networks distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communication and the frequently feedback-based nature of computation performed in the network. In this paper we propose a functional macro-programming language, SOSNA, that employs the stream programming paradigm to concisely specify data transformations in the network so that wireless sensor actuator network (WSAN) application developers can focus on higher-level control-oriented problems rather than on designing the way in which communication is organised in the network. SOSNA accommodates a broad class of WSAN coordination models, supports mobility and provides a means of employing feedback for distributed state maintenance. Program execution proceeds in rounds providing real-time guarantees on actuator decision making and synchronisation. In addition, static program semantics permit nodes to switch their radios off to conserve energy.

REFERENCES

• 1: Mica2 mote datasheet. Crossbow Technology Inc.
• 2: I. F. Akyildiz and I. H. Kasimoglu. Wireless sensor and actor networks: research challenges. Ad Hoc Networks, 2(4):351--367, 2004.
• 3: E. A. Ashcroft , A. A. Faustini , R. Jagannathan , W. W. Wadge, Multidimensional programming, Oxford University Press, Oxford, 1995
• 4: Asad Awan , Suresh Jagannathan , Ananth Grama, Macroprogramming heterogeneous sensor networks using cosmos, ACM SIGOPS Operating Systems Review, v.41 n.3, June 2007
• 5: Jacob Beal , Jonathan Bachrach, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, v.21 n.2, p.10-19, March 2006 [doi>10.1109/MIS.2006.29]
• 6: Brian Blum , Prashant Nagaraddi , Anthony Wood , Tarek Abdelzaher , Sang Son , Jack Stankovic, An entity maintenance and connection service for sensor networks, Proceedings of the 1st international conference on Mobile systems, applications and services, p.201-214, May 05-08, 2003, San Francisco, California [doi>10.1145/1066116.1066122]
• 7: Paul Caspi , Christine Mazuet , Rym Salem , Daniel Weber, Formal Design of Distributed Control Systems with Lustre, Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security, p.396-409, September 01, 1999
• 8: Qing Fang , Feng Zhao , Leonidas Guibas, Lightweight sensing and communication protocols for target enumeration and aggregation, Proceedings of the 4th ACM international symposium on Mobile ad hoc networking & computing, June 01-03, 2003, Annapolis, Maryland, USA [doi>10.1145/778415.778436]
• 9: 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]
• 10: Tian He , Sudha Krishnamurthy , Liqian Luo , Ting Yan , Lin Gu , Radu Stoleru , Gang Zhou , Qing Cao , Pascal Vicaire , John A. Stankovic , Tarek F. Abdelzaher , Jonathan Hui , Bruce Krogh, VigilNet: An integrated sensor network system for energy-efficient surveillance, ACM Transactions on Sensor Networks (TOSN), v.2 n.1, p.1-38, February 2006 [doi>10.1145/1138127.1138128]
• 11: Nupur Kothari , Ramakrishna Gummadi , Todd Millstein , Ramesh Govindan, Reliable and efficient programming abstractions for wireless sensor networks, ACM SIGPLAN Notices, v.42 n.6, June 2007
• 12: Jie Liu , Maurice Chu , Juan Liu , James Reich , Feng Zhao, State-Centric Programming for Sensor-Actuator Network Systems, IEEE Pervasive Computing, v.2 n.4, p.50-62, October 2003 [doi>10.1109/MPRV.2003.1251169]
• 13: Juan Liu , James Reich , Feng Zhao, Collaborative in-network processing for target tracking, EURASIP Journal on Applied Signal Processing, v.2003 n.1, p.378-391, January 2003 [doi>10.1155/S111086570321204X]
• 14: 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]
• 15: 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]
• 16: 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]
• 17: Katsuhiko Ogata, Modern Control Engineering, Prentice Hall PTR, Upper Saddle River, NJ, 2001
• 18: Animesh Pathak , Luca Mottola , Amol Bakshi , Viktor K. Prasanna , Gian Pietro Picco, Expressing Sensor Network Interaction Patterns Using Data-Driven Macroprogramming, Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops, p.255-260, March 19-23, 2007 [doi>10.1109/PERCOMW.2007.46]
• 19: B. Sinopoli, C. Sharp, L. Schenato, S. Schaffert, and S. Sastry. Distributed control applications within sensor networks. Proceedings of the IEEE, 91(8), 2003.
• 20: K. Whitehouse, F. Zhao, and J. Liu. Semantic streams: A framework for composable semantic interpretation of sensor data. In EWSN 2006.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems

Additional Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

General Terms:
Design, Languages