Loading [MathJax]/extensions/MathZoom.js
TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems | IEEE Journals & Magazine | IEEE Xplore

TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems


Abstract:

The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This urgently requires both power ...Show More

Abstract:

The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This urgently requires both power and thermal management during system design. In this paper, we propose a model checking-based technique using extended timed automata to solve the processor frequency assignment problem in a temperature and energy-constrained multitasking system. We also develop a polynomial time-approximation algorithm to address the state-space explosion problem caused by symbolic model checker. Our approximation scheme is guaranteed to not generate any false-positive answer, while it may return false-negative answer in rare cases. Our method is universally applicable since it is independent of any system and task characteristics. Experimental results demonstrate the usefulness of our approach.
Page(s): 1159 - 1168
Date of Publication: 12 July 2012

ISSN Information:


References

References is not available for this document.