A Goal-Oriented Programming Framework for Grid Sensor Networks with Reconfigurable Embedded Nodes

被引:5
作者
Subramanian, Varun [1 ]
Gilberti, Michael [1 ]
Doboli, Alex [1 ]
Pescaru, Dan [2 ]
机构
[1] SUNY Stony Brook, Dept Elect & Comp Engn, Stony Brook, NY 11794 USA
[2] Politehnica Univ, Dept Comp Sci, Timisoara, Romania
关键词
Design; Algorithms; Performance; Cyber-physical systems; networked embedded nodes; programming model; optimized implementation; reconfiguration; SYSTEMS;
D O I
10.1145/2362336.2362346
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页数:30
相关论文
共 52 条
[1]  
ABADI D, 2005, P BIENN C INN DAT SY
[2]  
AHMAD Y, 2007, P INT WORKSH DAT MAN
[3]   Simultaneous equation systems for query processing on continuous-time data streams [J].
Ahmad, Yanif ;
Papaemmanouil, Olga ;
Cetintemel, Ugur ;
Rogers, Jennie .
2008 IEEE 24TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, VOLS 1-3, 2008, :666-+
[4]  
[Anonymous], 2008, UCBEECS20088
[5]  
[Anonymous], P 2 IEEE INT C
[6]  
BAILEY-KELLOGG C., 1996, P AAAI C ART INT
[7]   Data structures for mobile data [J].
Basch, J ;
Guibas, LJ ;
Hershberger, J .
JOURNAL OF ALGORITHMS, 1999, 31 (01) :1-28
[8]  
Basmadjian D., 1999, ART MODELING SCI ENG
[9]  
Bowen J., 2003, FORMAL SPECIFICATION
[10]   Distributed target classification and tracking in sensor networks [J].
Brooks, RR ;
Ramanathan, P ;
Sayeed, AM .
PROCEEDINGS OF THE IEEE, 2003, 91 (08) :1163-1171