Date Added: Jun 2010
A Distributed Cyber-Physical System (DCPS) may receive and induce energy-based interference from and to its environment. This paper presents a model and an associated methodology that can be used to: schedule tasks in DCPSs to ensure that the thermal effects of the task execution are within acceptable levels; and 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.