skip to main content
research-article

A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes

Published:01 January 2013Publication History
Skip Abstract Section

Abstract

Cyber-physical systems (CPS) are large, distributed embedded systems integrated with various sensors and actuators. CPS are rapidly emerging as an important computing paradigm in many modern applications. Developing CPS applications is currently challenging due to the sheer complexity of the related functionality as well as the broad set of constraints and unknowns that must be tackled during operation. This article presents a novel high-level programming model and the supporting optimization and middleware routines for executing applications on physically-distributed networks of reconfigurable embedded systems. The proposed model describes the optimization goals, sensing inputs, actuation outputs, events, and constraints of an application, while leaving to the compiler and execution environment the task of optimally implementing the derived functionality. Experimental results discuss the additional performance optimizations enabled by the proposed model, and the timing and power consumption of the middleware routines, and present a temperature monitoring application implemented on a network of reconfigurable, embedded processors.

References

  1. Abadi, D., Ahmad, Y., Balazinska, M., Cetintemel, U., Cherniack, M., Hwang, J., Lindner, W., Maskey, A., Rasin, A., Ryvkina, E., Tatbul, N., Xing, Y., and Zdonik, S. 2005. The design of the borealis stream processing engine. In Proceedings of the Biennial Conference on Innovative Data Systems Research.Google ScholarGoogle Scholar
  2. Ahmad, Y., Papaemmanouil, O., Cetintemel, U., and Rogers, J. 2008. Simultaneous equation systems for query processing on continuous-time data streams. In Proceedings of the IEEE 24th International Conference on Data Engineering. 666--675. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Ahmad, Y. and Cetintemel, U. 2007. Declarative temporal data models for sensor-driven query processing. In Proceedings of the International Workshop on Data Management for Sensor Networks. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Bailey-Kellogg, C., Zhao, F., and Yip, K. 1996. Spatial aggregation: Language and applications. In Proceedings of AAAI Conference on Artifical Intelligence. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Basmadjian, D. 1999. The Art of Modeling in Science and Engineering. Chapman & Hall. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Basch, J., Guibas, L., and Hershberger, J. 1999. Data structures for mobile data. J. Algor., 31, 1, 1--28. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Bowen, J. 2003. Formal Specification and Documentation Using z: A Case Study Approach. International Thomson Computer Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Brooks, R., Ramanathan, P., and Sayeed, A. 2003. Distributed target classification and tracking in sensor networks. Proc. IEEE, 91, 8, 1163--1171.Google ScholarGoogle ScholarCross RefCross Ref
  9. Chandrasekaran, S., Cooper, O., Deshpande, A., Franklin, M., Hellerstein, J., Hong, W., Krishnamurthy, S., Madden, S., Raman, V., Reiss, F., and Shah, M. 2003. Telegraphcq: Continuous dataflow processing for an uncertain world. In Proceedings of the CIDR Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Chu, D., Popa, L., Tavakoli, A., Hellerstein, J., Levis, P., Shenker, S., and Stoica, I. 2007. The design and implementation of a deductive sensor network system. In Proceedings of the International Conference on Embedded Networked Sensor Systems. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Chu, D., Tavakoli, A., Popa, L., and Hellerstein, J. 2006. Entirely declarative sensor network systems. In Proceedings of the VLDB Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Cypress Semiconductor Corporation. 2005. Psoc mixed signal array. Document No. PSoC TRM 1.21.Google ScholarGoogle Scholar
  13. Dearle, A., Balasubramaniam, D., Lewis, J., and Morrison, R. 2008. A component-based model and language for wireless sensor network applications. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications. 1303--1308. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Ferent, C. and Doboli, A. 2009. Pnetmap: Virtual network implementation on a partially-known physical network. In Proceedings of the International Workshop on Dependable Network Computing and Mobile Systems.Google ScholarGoogle Scholar
  15. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., and Culler, D. 2003. The nesc language: A holistic approach to networked embedded systems. In Proceedings of the Programming Language Design and Implementation Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Girod, L., Mei, Y., Newton, R., Rost, S., and Thiagarajan, A. 2007. The case for a signal-oriented data stream management system. In Proceedings of the Biennial Conference on Innovative Data Systems Research.Google ScholarGoogle Scholar
  17. Greenstein, B., Kohler, E., and Estrin, D. 2004. A sensor network application construction kit (snack). In Proceedings of SenSys. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Gummadi, K. and Gnawali, O. and Govindan, R. 2005. Macro-programming wireless sensor networks using kairos. In Proceedings of the International Conference on Distributed Computing in Sensor Systems. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Gupta, H., Zhu, X., and Xu, X. 2009. Deductive framework for programming sensor network. In Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation. 281--292. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Hadjieleftheriou, M., Kollios, G., Bakalov, P., and Tsotras, V. 2005. Complex spatio-temporal pattern queries. In Proceedings of the 31st VLDB Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. He, T., Krishnamurthy, S., Luo, L., Yan, T., Gu, L., Stoleru, R., Zhou, G., Cao, Q., Vicaire, P., Stankovic, J., Abdelzaher, T., Hui, J., and Krogh, B. 2006. Vigilnet: An integrated sensor network system for energy-efficient surveillance. ACM Trans. Sensor Netw. 2, 1, 1--38. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Hnat, T., Sookoor, T., Hooimeijer P., Weimer W., and Whitehouse, K. 2008. Macrolab: A vector-based macroprogramming framework for cyber-physical systems. In Proceedings of SenSys. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Hwang, J.-H., Xing, Y., Cetintemel, U., and Zdonik, S. 2007. A cooperative, self-configuring high-availability solution for stream processing. In Proceedings of the IEEE International Conference on Data Engineering.Google ScholarGoogle Scholar
  24. Jeffrey, S., Alonso, G., Franklin, M., Hong, W., and Widom, J. 2006. Declarative support for sensor data cleaning. In Proceedings of the 4th International Conference on Pervasive Computing. 83--100. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Jiang, Y.-C. and Wang, J.-F. 2007. Temporal partitioning data flow graphs for dynamically reconfigurable computing. IEEE Trans. on VLSI, 15, 12, 1351--1361. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Lee, E. 2008. Cyber physical systems: Design challenges. In Tech. rep. No. UCB/EECS-2008-8, University of California, Berkeley.Google ScholarGoogle Scholar
  27. Levis, P. and Culler, D. 2002. Mate: A tiny virtual machine for sensor networks. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Liu, Y. and Smith, S. 2006. A formal framework for component deployment. In Proceedings of OOPSLA'06. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Liu, Y. and Smith, S. 2005. Interaction-based programming with classages. In Proceedings of OOPSLA'05. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Loo, B.-T., Condie, T., Garofalakis, M., Gay, D., Hellerstein, J., Maniatis, P., Ramakrishnan, R., Roscoe, T., and Stoica, I. 2006. Declarative networking: Language, execution and optimization. In Proceedings of the ACM SIGMOD International Conference on Management of Data. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Lorincz, K., Chen, B.-R., Waterman, J., Werner-Allen, G., and Welsh, M. 2008. Resource aware programming in the pixie os. In Proceedings of SenSys. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Mainland, G., Morrisett, G., Welsh, M., and Newton, R. 2007. Sensor network programming with flask. In Proceedings of the 5th International Conference on Embedded Networked Sensor systems. 385--386. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. Mainland, G., Welsh, M., and Morrisett, G. 2006. Flask: A language for data-driven sensor network programs. Tech. rep. TR-13-06, Harvard.Google ScholarGoogle Scholar
  34. Mottola, L. and Picco, G. 2006. Logical neighborhoods: A programming abstraction for wireless sensor networks. In Proceedings of the 1st International Conference on Integrated Internet Ad Hoc and Sensor Networks. 150--168. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Mueller, R., Alonso, G., and Kossmann, D. 2007. Swissqm: Next generation data processing in sensor networks. In Proceedings of the Biennial Conference on Innovative Data Systems Research.Google ScholarGoogle Scholar
  36. Munir, A. and Gordon-Ross, A. 2009. An mdp-based application oriented optimal policy for wireless sensor node. In Proceedings of CODES+ISSS. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. Rinat, R. and Smith, S. 2002. Modular internet programming with cells. In Proceedings of the 16th ECOOP. 257--280. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Soma, R., Bakshi, A., and Prasanna, V. 2007. A semantic framework for integrated asset management in smart oilfields. In Proceedings of the 7th IEEE International Symposium on Cluster Computing and the Grid. 119--126. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Subramanian, V. and Doboli, A. 2009. Online adaptation policy design for grid sensor networks with reconfigurable nodes. In Proceedings of the Design, Automation and Test in Europe Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Subramanian, V. 2008. A sensor network for environmental monitoring using PSoCs. MS Thesis, Department of Electrical and Computer Engineering, Stony Book University.Google ScholarGoogle Scholar
  41. Sugihara, R. and Gupta, R. 2008. Programming models for sensor networks: A survey. ACM Trans. Sensor Netw., 4, 2, 1--29. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. Sun, P., Gilberti, M., Doboli, A., Curiac, D., and Pescaru, D. 2008. Dynamic reconfiguration of mixed-domain embedded systems for applications with variable performance requirements. In Proceedings of the Conference on Adaptive Hardware and Systems. Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. Sun, P., Wei, Y., and Doboli, A. 2007. Flexibility-oriented design methodology for reconfigurable delta sigma modulators. In Proceedings of the Design, Automation and Test in Europe Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  44. Tatbul, N., Cetintemel, U., and Zdonik, S. 2007. Staying fit: Efficient load shedding techniques for distributed stream processing. In Proceedings of the VLDB Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Thepayasuwan, N. and Doboli, A. 2005. Layout conscious approach and bus architecture synthesis for hardware-software co-design of systems on chip optimized for speed. IEEE Trans. on VLSI Syst. 13, 5, 525--538. Google ScholarGoogle ScholarDigital LibraryDigital Library
  46. Umbarkar, A. 2009. Implementation of phase-based sound localization technique on PSoC. MS Thesis, Department of Electrical and Computer Engineering, Stony Brook University.Google ScholarGoogle Scholar
  47. Welsh, M. and Mainland, G. 2004. Programming sensor networks using abstract regions. In Proceedings of the Symposium on Networked Systems Design and Implementation. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. Werner-Allen, G., Dawson-Haggerty, S., and Welsh, M. 2008. Lance: Optimizing high-resolution signal collection in wireless sensor networks. In Proceedings of SenSys. Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. Whitehouse, K., Sharp, C., Brewer, E., and Culler, D. 2004. Hood: A neighborhood abstraction for sensor networks. In Proceedings of the 2nd International Conference on Mobile Systems, Applications, and Services. 99--110. Google ScholarGoogle ScholarDigital LibraryDigital Library
  50. Xing, Y., Zdonik, S., and Hwang, J.-H. 2005. Dynamic load distribution in the borealis stream processor. In Proceedings of the IEEE International Conference on Data Engineering. Google ScholarGoogle ScholarDigital LibraryDigital Library
  51. Zhao, F., Liu, J., Guibas, L., and Reich, J. 2003. Collaborative signal and information processing: An information-directed approach. Proc. IEEE 91, 8, 1199--1209.Google ScholarGoogle ScholarCross RefCross Ref
  52. Zhao, F., Bailey-Kellog, C., and Fromherz, M. 2003b. Physics-based encapsulation in embedded software for distributed sensing and control applications. Proc. IEEE 91, 1, 40--63.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes

      Recommendations

      Comments

      Login options

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

      Sign in

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!