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.
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Bailey-Kellogg, C., Zhao, F., and Yip, K. 1996. Spatial aggregation: Language and applications. In Proceedings of AAAI Conference on Artifical Intelligence. Google Scholar
Digital Library
- Basmadjian, D. 1999. The Art of Modeling in Science and Engineering. Chapman & Hall. Google Scholar
Digital Library
- Basch, J., Guibas, L., and Hershberger, J. 1999. Data structures for mobile data. J. Algor., 31, 1, 1--28. Google Scholar
Digital Library
- Bowen, J. 2003. Formal Specification and Documentation Using z: A Case Study Approach. International Thomson Computer Press. Google Scholar
Digital Library
- Brooks, R., Ramanathan, P., and Sayeed, A. 2003. Distributed target classification and tracking in sensor networks. Proc. IEEE, 91, 8, 1163--1171.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Chu, D., Tavakoli, A., Popa, L., and Hellerstein, J. 2006. Entirely declarative sensor network systems. In Proceedings of the VLDB Conference. Google Scholar
Digital Library
- Cypress Semiconductor Corporation. 2005. Psoc mixed signal array. Document No. PSoC TRM 1.21.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- Greenstein, B., Kohler, E., and Estrin, D. 2004. A sensor network application construction kit (snack). In Proceedings of SenSys. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Hadjieleftheriou, M., Kollios, G., Bakalov, P., and Tsotras, V. 2005. Complex spatio-temporal pattern queries. In Proceedings of the 31st VLDB Conference. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Lee, E. 2008. Cyber physical systems: Design challenges. In Tech. rep. No. UCB/EECS-2008-8, University of California, Berkeley.Google Scholar
- 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 Scholar
Digital Library
- Liu, Y. and Smith, S. 2006. A formal framework for component deployment. In Proceedings of OOPSLA'06. Google Scholar
Digital Library
- Liu, Y. and Smith, S. 2005. Interaction-based programming with classages. In Proceedings of OOPSLA'05. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Mainland, G., Welsh, M., and Morrisett, G. 2006. Flask: A language for data-driven sensor network programs. Tech. rep. TR-13-06, Harvard.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- Munir, A. and Gordon-Ross, A. 2009. An mdp-based application oriented optimal policy for wireless sensor node. In Proceedings of CODES+ISSS. Google Scholar
Digital Library
- Rinat, R. and Smith, S. 2002. Modular internet programming with cells. In Proceedings of the 16th ECOOP. 257--280. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Subramanian, V. 2008. A sensor network for environmental monitoring using PSoCs. MS Thesis, Department of Electrical and Computer Engineering, Stony Book University.Google Scholar
- Sugihara, R. and Gupta, R. 2008. Programming models for sensor networks: A survey. ACM Trans. Sensor Netw., 4, 2, 1--29. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Umbarkar, A. 2009. Implementation of phase-based sound localization technique on PSoC. MS Thesis, Department of Electrical and Computer Engineering, Stony Brook University.Google Scholar
- Welsh, M. and Mainland, G. 2004. Programming sensor networks using abstract regions. In Proceedings of the Symposium on Networked Systems Design and Implementation. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
Index Terms
A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes
Recommendations
A component-based middleware platform for reconfigurable service-oriented architectures
ThetextitService Component Architecture (SCA) is a technology-independent standard for developing distributed Service-oriented Architectures (SOA). The SCA standard promotes the use of components and architecture descriptors, and mostly covers the ...
The design of a configurable and reconfigurable middleware platform
It is now well established that middleware platforms must accommodate an increasingly diverse range of requirements arising from the needs of both applications and underlying systems. Moreover, it is clear that to achieve this accommodation, platforms ...
Reconfigurable SCA Applications with the FraSCAti Platform
SCC '09: Proceedings of the 2009 IEEE International Conference on Services ComputingThe Service Component Architecture (SCA) is a technology agnostic standard for developing and deploying distributed service-oriented applications. However, SCA does not define standard means for runtime manageability (including introspection and ...






Comments