Formal specification and documentation of microprocessor instruction sets
Microprocessing and Microprogramming
Data structures for mobile data
Journal of Algorithms
Maté: a tiny virtual machine for sensor networks
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Modular Internet Programming with Cells
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
TelegraphCQ: continuous dataflow processing
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
A sensor network application construction kit (SNACK)
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Dynamic Load Distribution in the Borealis Stream Processor
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Complex spatio-temporal pattern queries
VLDB '05 Proceedings of the 31st international conference on Very large data bases
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Interaction-based programming with classages
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
VigilNet: An integrated sensor network system for energy-efficient surveillance
ACM Transactions on Sensor Networks (TOSN)
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Entirely declarative sensor network systems
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
A formal framework for component deployment
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The Art of Modeling in Science and Engineering with Mathematica, Second Edition
The Art of Modeling in Science and Engineering with Mathematica, Second Edition
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
A Semantic Framework for Integrated Asset Management in Smart Oilfields
CCGRID '07 Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid
Flexibility-oriented design methodology for reconfigurable ΔΣ modulators
Proceedings of the conference on Design, automation and test in Europe
Declarative temporal data models for sensor-driven query processing
DMSN '07 Proceedings of the 4th workshop on Data management for sensor networks: in conjunction with 33rd International Conference on Very Large Data Bases
The design and implementation of a declarative sensor network system
Proceedings of the 5th international conference on Embedded networked sensor systems
Sensor network programming with Flask
Proceedings of the 5th international conference on Embedded networked sensor systems
Staying FIT: efficient load shedding techniques for distributed stream processing
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Programming models for sensor networks: A survey
ACM Transactions on Sensor Networks (TOSN)
Temporal partitioning data flow graphs for dynamically reconfigurable computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
AHS '08 Proceedings of the 2008 NASA/ESA Conference on Adaptive Hardware and Systems
A Component-Based Model and Language for Wireless Sensor Network Applications
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Accurate, fast fall detection using posture and context information
Proceedings of the 6th ACM conference on Embedded network sensor systems
Resource aware programming in the Pixie OS
Proceedings of the 6th ACM conference on Embedded network sensor systems
MacroLab: a vector-based macroprogramming framework for cyber-physical systems
Proceedings of the 6th ACM conference on Embedded network sensor systems
Simultaneous Equation Systems for Query Processing on Continuous-Time Data Streams
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Deductive Framework for Programming Sensor Networks
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
An MDP-based application oriented optimal policy for wireless sensor networks
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Online adaptation policy design for grid sensor networks with reconfigurable embedded nodes
Proceedings of the Conference on Design, Automation and Test in Europe
Spatial aggregation: language and applications
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Declarative support for sensor data cleaning
PERVASIVE'06 Proceedings of the 4th international conference on Pervasive Computing
Logical neighborhoods: a programming abstraction for wireless sensor networks
DCOSS'06 Proceedings of the Second IEEE international conference on Distributed Computing in Sensor Systems
Macro-programming wireless sensor networks using Kairos
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Hi-index | 0.00 |
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.