A Design and Analysis Framework for Thermal-Resilient Hard Real-Time Systems

作者：Hettiarachchi Pradeep M^*; Fisher Nathan; Ahmed Masud; Wang Le Yi; Wang Shinan; Shi Weisong

来源：ACM Transactions on Embedded Computing Systems, 2014, 13(5s): 146.

DOI：10.1145/2632154

• Algorithms
• Performance
• Reliability
• Real-time systems
• thermal-aware systems
• multimode systems
• control-theoretic systems
• schedulability
• EDF
• reactive systems
• thermal resiliency
• multimode system
• thermal-aware system
• thermal-aware periodic resource

We address the challenge of designing predictable real-time systems in an unpredictable thermal environment where environmental temperature may dynamically change (e.g., implantable medical devices). Towards this challenge, we propose a control-theoretic design methodology that permits a system designer to specify a set of hard real-time performance modes under which the system may operate. The system automatically adjusts the real-time performance mode based on the external thermal stress. We show (via analysis, simulations, and a hardware testbed implementation) that our control design framework is stable and control performance is equivalent to previous real-time thermal approaches, even under dynamic temperature changes. A crucial and novel advantage of our framework over previous real-time control is the ability to guarantee hard deadlines even under transitions between modes. Furthermore, our system design permits the calculation of a new metric called thermal resiliency that characterizes the maximum external thermal stress that any hard real-time performance mode can withstand. Thus, our design framework and analysis may be classified as a thermal stress analysis for real-time systems.

• 出版日期2014-11