Research challenges in wireless networks of biomedical sensors
Proceedings of the 7th annual international conference on Mobile computing and networking
A line in the sand: a wireless sensor network for target detection, classification, and tracking
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Military communications systems and technologies
Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Techniques for Multicore Thermal Management: Classification and New Exploration
Proceedings of the 33rd annual international symposium on Computer Architecture
Design of a wireless sensor network platform for detecting rare, random, and ephemeral events
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Composition of Cyber-Physical Systems
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Cyber Physical Systems: Design Challenges
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
IEEE Transactions on Parallel and Distributed Systems
Weatherman: Automated, Online and Predictive Thermal Mapping and Management for Data Centers
ICAC '06 Proceedings of the 2006 IEEE International Conference on Autonomic Computing
Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Scheduling: Theory, Algorithms, and Systems
Scheduling: Theory, Algorithms, and Systems
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Energy-Saving Service Scheduling for Low-End Cyber-Physical Systems
ICYCS '08 Proceedings of the 2008 The 9th International Conference for Young Computer Scientists
Computer
Measurement-based power profiling of data center equipment
CLUSTER '07 Proceedings of the 2007 IEEE International Conference on Cluster Computing
Thermal-aware task scheduling for data centers through minimizing heat recirculation
CLUSTER '07 Proceedings of the 2007 IEEE International Conference on Cluster Computing
Joint Sleep Scheduling and Mode Assignment in Wireless Cyber-Physical Systems
ICDCSW '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops
Spatio-Temporal Event Model for Cyber-Physical Systems
ICDCSW '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops
A unifying specification logic for cyber-physical systems
MED '09 Proceedings of the 2009 17th Mediterranean Conference on Control and Automation
Towards a time-triggered schedule calculation tool to support model-based embedded software design
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Computer Networks: The International Journal of Computer and Telecommunications Networking
BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
GDCSim: A simulator for green data center design and analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on simulation in complex service systems
| Hi-index | 0.00 |
A distributed cyber-physical system (DCPS) may receive and induce energy-based interference to and from its environment. This article presents a model and an associated methodology that can be used to (i) schedule tasks in DCPSs to ensure that the thermal effects of the task execution are within acceptable levels, and (ii) verify that a given schedule meets the constraints. The model uses coarse discretization of space and linearity of interference. The methodology involves characterizing the interference of the task execution and fitting it into the model, then using the fitted model to verify a solution or explore the solution space.