Abstract
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.
- Masud Ahmed, Nathan Fisher, Shengquan Wang, and Pradeep Hettiarachchi. 2011. Minimizing peak temperature in embedded real-time systems via thermal-aware periodic resources. Sustain. Comput. Inf. Syst. 1, 3, 226--240.Google Scholar
Cross Ref
- Nikhil Bansal and Kirk Pruhs. 2005. Speed scaling to manage temperature. In Proceedings of the Symposium on Theoretical Aspects of Computer Science. Google Scholar
Digital Library
- Enrico Bini and Giorgio Buttazzo. 2004. Biasing effects in schedulability measures. In Proceedings of the 16th Euromicro Conference on Real-Time Systems. IEEE Computer Society, 196--203. Google Scholar
Digital Library
- David Brooks and Margaret Martonosi. 2001. Dynamic thermal management for high-performance microprocessors. In Proceedings of the International Symposium on High-Performance Computer Architecture. Google Scholar
Digital Library
- Thidapat Chantem, Robert P. Dick, and X. Sharon Hu. 2008. Temperature-aware scheduling and assignment for hard real-time applications on mpsocs. In Proceedings of the Design, Automation, and Test in Europe Conference. Google Scholar
Digital Library
- Jian-Jia Chen, Chia-Mei Hung, and Tei-Wei Kuo. 2007. On the minimization of the instantaneous temperature for periodic real-time tasks. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. Google Scholar
Digital Library
- Jian-Jia Chen, Shengquan Wang, and Lothar Thiele. 2009. Proactive speed scheduling for frame-based real-time tasks under thermal constraints. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. Google Scholar
Digital Library
- Richard C. Dorf and Robert H. Bishop. 2000. Modern Control Systems. Prentice-Hall, Upper Saddle River, NJ. Google Scholar
Digital Library
- Alexandre P. Ferreira, Daniel Mosse, and Jae C. Oh. 2007. Thermal faults modeling using a rc model with an application to web farms. In Proceedings of the Euromicro Conference on Real-Time Systems. IEEE Computer Society. Google Scholar
Digital Library
- Nathan Fisher and Masud Ahmed. 2011. Tractable real-time schedulability analysis for mode changes under temporal isolation. In Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTImedia'11). IEEE Computer Society.Google Scholar
Cross Ref
- Nathan Fisher, Jian-Jia Chen, Shengquan Wang, and Lothar Thiele. 2009. Thermal-aware global real-time scheduling on multicore systems. In Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE Computer Society Press. Google Scholar
Digital Library
- Yong Fu, Nicholas Kottenstette, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos, and Hongan Wang. 2010a. Feedback thermal control for real-time system. In Proceedings of the Real-Time and Embedded Technology and Applications Systems Symposium. IEEE Computer Society Press. Google Scholar
Digital Library
- Xing Fu, Xiaorui Wang, and Eric Puster. 2010b. Simultaneous thermal and timeliness guarantees in distributed real-time embedded systems. J. Syst. Archit. Euromicro J. 57, 6, 584--596. Google Scholar
Digital Library
- Arkadii Khaimovich Gelig and Alexander N. Churilov. 1998. Stability and Oscillations of Nonlinear Pulse-Modulated Systems. Birkhauser Basel.Google Scholar
- Pradeep M. Hettiarachchi, Nathan Fisher, Masud Ahmed, Le Yi Wang, Shinan Wang, and Weisong Shi. 2011. The design and analysis of thermally-resilient hard-real-time systems (extended version). Tech. rep., Wayne State University. http://www.cs.wayne.edu/∼fishern/papers/thermal-control-rats2012.pdf.Google Scholar
- INTEL. 2000. Intel pentium 4 processor in the 423-pin package thermal design guidelines. Tech. rep., Intel Corp.Google Scholar
- Greg Kelly. 2006. Body temperature variability (part 1): A review of the history of body temperature and its variability due to site selection, biological rhythms, fitness, and aging. Altern. Med. Rev. 11, 4, 278--293.Google Scholar
- Sohee Kim, Prashant Tathireddy, Richard A. Normann, and Florian Solzbacher. 2007. Thermal impact of an active 3-d microelectrode array implanted in the brain. IEEE Trans. Neural Syst. Rehab. Engin. 15, 4, 493--501.Google Scholar
Cross Ref
- Joseph C. Lamanna, Kimberly A. Mccracken, Madhavi Patil, and Otto J. Prohaska. 1989. Stimulus-activated changes in brain tissue temperature in the anesthetized rat. Metabolic Brain Disease 4, 4, 225--237.Google Scholar
Cross Ref
- Gianluca Lazzi. 2005. Thermal effects of bioimplants. IEEE Engin. Med. Biol. Mag. 24, 5, 75--81.Google Scholar
Cross Ref
- Chang Liu and James Layland. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20, 1, 46--61. Google Scholar
Digital Library
- Yongpan Liu, Robert P. Dick, Li Shang, and Huazhong Yang. 2007. Accurate temperature-dependent integrated circuit leakage power estimation is easy. In Proceedings of the Design, Automation and Test in Europe Conference. 1526--1531. Google Scholar
Digital Library
- Aloysius K. Mok. 1983. Fundamental design problems of distributed systems for the hard-real-time environment. Ph.D. dissertation, Laboratory for Computer Science, Massachusetts Institute of Technology. (Tech. rep. MIT/LCS/TR-297). Google Scholar
Digital Library
- Norman S. Nise. 2000. Control Systems Engineering. John Wiley and Sons, New York. Google Scholar
Digital Library
- Katsuhiko Ogata. 1995. Discrete-Time Control Systems 2nd Ed. Prentice-Hall, Upper Saddle River, NJ. Google Scholar
Digital Library
- Gang Quan and Yan Zhang. 2009. Leakage aware feasibility analysis for temperature-constrained hard real-time periodic tasks. In Proceedings of the 21st Euromicro Conference on Real-Time Systems. IEEE Computer Society. 207--216. Google Scholar
Digital Library
- Rangunathan Rajkumar, Chen Lee, John Lehoczky, and Dan Siewiorek. 1997. A resource allocation model for qos management. In Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS'97). IEEE Computer Society, 298. http://portal.acm.org/citation.cfm?id=827269.828990. Google Scholar
Digital Library
- Paul S. Ruggera, Donald M. Witters, Geoffrey Von Maltzahn, and Howard I. Bassen. 2003. In vitro assessment of tissue heating near metallic medical implants by exposure to pulsed radio frequency diathermy. Phys. Med. Biol. 48, 17, 2919--2928.Google Scholar
Cross Ref
- Jerry Sergent and Al Krum. 1998. Thermal Management Handbook for Electronic Assemblies. McGraw-Hill Professional.Google Scholar
- Insik Shin and Insup Lee. 2008. Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 3. Google Scholar
Digital Library
- Kevin Skadron, Mircea R. Stan, Wei Huang, Sivakumar Velusamy, Karthik Sankaranarayanan, and David Tarjan. 2003. Temperature-aware microarchitecture. ACM SIGARCH Comput. Archit. News 31, 2, 2--13. Google Scholar
Digital Library
- Nick F. Timmons and William G. Scanlon. 2009. An adaptive energy efficient mac protocol for the medical body area network. In Proceedings of the 1st International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace Electronic Systems Technology. 587--593.Google Scholar
- Shengquan Wang and Riccardo Bettati. 2008. Reactive speed control in temperature-constrained real-time systems. Real-Time Syst. J. 39, 1--3, 658--671. Google Scholar
Digital Library
Index Terms
A Design and Analysis Framework for Thermal-Resilient Hard Real-Time Systems
Recommendations
The Design and Analysis of Thermal-Resilient Hard-Real-Time Systems
RTAS '12: Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications SymposiumWe 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-...
Achieving Thermal-Resiliency for Multicore Hard-Real-Time Systems
ECRTS '13: Proceedings of the 2013 25th Euromicro Conference on Real-Time SystemsMulticore processor based system designs are increasingly utilized as the processing platform for complex hard-real-time and embedded applications. These real-time systems need to operate under various physical and design constraints. Much research has ...
Tractable schedulability analysis and resource allocation for real-time multimodal systems
Special Section ESFH'12, ESTIMedia'11 and Regular PapersReal-time multimedia subsystems often require support for switching between different resource and application execution modes. To ensure that timing constraints are not violated during or after a subsystem mode change, real-time schedulability analysis ...






Comments