skip to main content
research-article

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

Published:23 July 2014Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarCross RefCross Ref
  2. Nikhil Bansal and Kirk Pruhs. 2005. Speed scaling to manage temperature. In Proceedings of the Symposium on Theoretical Aspects of Computer Science. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. Richard C. Dorf and Robert H. Bishop. 2000. Modern Control Systems. Prentice-Hall, Upper Saddle River, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle ScholarCross RefCross Ref
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. Arkadii Khaimovich Gelig and Alexander N. Churilov. 1998. Stability and Oscillations of Nonlinear Pulse-Modulated Systems. Birkhauser Basel.Google ScholarGoogle Scholar
  15. 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 ScholarGoogle Scholar
  16. INTEL. 2000. Intel pentium 4 processor in the 423-pin package thermal design guidelines. Tech. rep., Intel Corp.Google ScholarGoogle Scholar
  17. 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 ScholarGoogle Scholar
  18. 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 ScholarGoogle ScholarCross RefCross Ref
  19. 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 ScholarGoogle ScholarCross RefCross Ref
  20. Gianluca Lazzi. 2005. Thermal effects of bioimplants. IEEE Engin. Med. Biol. Mag. 24, 5, 75--81.Google ScholarGoogle ScholarCross RefCross Ref
  21. Chang Liu and James Layland. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20, 1, 46--61. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  23. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  24. Norman S. Nise. 2000. Control Systems Engineering. John Wiley and Sons, New York. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Katsuhiko Ogata. 1995. Discrete-Time Control Systems 2nd Ed. Prentice-Hall, Upper Saddle River, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  27. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  28. 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 ScholarGoogle ScholarCross RefCross Ref
  29. Jerry Sergent and Al Krum. 1998. Thermal Management Handbook for Electronic Assemblies. McGraw-Hill Professional.Google ScholarGoogle Scholar
  30. Insik Shin and Insup Lee. 2008. Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 3. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  32. 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 ScholarGoogle Scholar
  33. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

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

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!