Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks

Response Time Analysis for Thermal-Aware Real-Time Systems under Fixed-Priority Scheduling

“…This idea was extended in [12] to support unpredictable ambient temperature fluctuations. Rehan et al proposed in [3,4] a kind of thermal utilization of the system (using a fluid schedule) and leveraged it to obtain a necessary and sufficient conditions for systems thermal feasibility.…”

“…All the mentioned work have the following limitations: 1) Except for work in the previous paragraph [2,3,4,12], all the proposed solutions rely on speed scaling to manage energy and temperature. These approaches cannot be applied to systems without DVFS capabilities.…”

The Thermal-Constrained Real-Time Systems Design on Multi-Core Platforms -- An Analytical Approach

“…Sha et al [124] proved a series of theorems for peak temperature identification, speed selection, oscillating frequency principles, and based on which, they presented a frequency oscillating method to maximize the throughput with a guaranteed peak temperature on a multi-core platform. To check the thermal-aware feasibility, Ahmed et al [4] derived a series of necessary and sufficient conditions on a temperature-constrained platform, which considered the performance/temperature trade-off based on different topologies. Assisted with rigorous mathematical analysis, these approaches usually can achieve the goal of strong thermal guarantee without suffering from prohibitive computational cost in mathematical programming approach.…”

“…When repeating S(t) long enough, the system enters its thermal stable status, with the starting temperature equals to the ending temperature in one period. Thus, the energy consumption in one period in the stable status is 4) and the total energy consumption in…”

“…4) where N gate represents the number of gates, v dd is the voltage level, and I leak is the leakage current. I leak varies with both temperature and supply voltage and can be…”