Abstract
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.
Original language | English (US) |
---|---|
Article number | 57 |
Journal | Transactions on Embedded Computing Systems |
Volume | 11 |
Issue number | SUPPL. 2 |
DOIs | |
State | Published - Aug 2012 |
Keywords
- Abstract heat flow model
- Cyber-physical systems
- Green computing
- Scheduling
- Sustainable computing
- Thermal awareness
- Thermal management
ASJC Scopus subject areas
- Software
- Hardware and Architecture