Modeling of Real-Time and Reconfigurable Systems
Modeling plays an important role in developing real-time scheduling and dynamic reconfiguration techniques in embedded systems. As this book emphasizes on high level optimizations, we require simple, fast, and yet accurate estimation models for power, energy as well as temperature since the physical prototype is not available or prohibitively expensive in early design stages. For the same reason, efficient evaluation methods are also needed to reflect real designs. In this chapter, we first describe how to model a real-time multitasking system supporting dynamic reconfigurations. Next, we describe system-wide energy and thermal models. Finally, we look at how to evaluate the effects of various optimization techniques in general. These models will be used in all subsequent chapters.
- 16.D. Burger, T. M. Austin, and S. Bennett. Evaluating future microprocessors: The SimpleScalar tool set. Technical report, University of Wisconsin-Madison, 1996.Google Scholar
- 31.EEMBC. EEMBC, The Embedded Microprocessor Benchmark Consortium, 2000.Google Scholar
- 33.W. Fornaciari, D. Sciuto, and C. Silvano. Power estimation for architectural exploration of hw/sw communication on system-level buses. In Proceedings of International Workshop on Hardware/Software Codesign (CODES), pages 152–156, 1999.Google Scholar
- 40.M. Guthaus, J. Ringenberg, D.Ernest, T. Austin, T. Mudge, and R. Brown. Mibench: A free, commercially representative embedded benchmark suite. In Proceedings of International Workshop on Workload Characterization (WWC), pages 3–14, 2001.Google Scholar
- 46.HP. CACTI, HP Laboratories Palo Alto, CACTI 5.3. http://www.hpl.hp.com/, 2008.
- 52.R. Jayaseelan and T. Mitra. Temperature aware task sequencing and voltage scaling. In Proceedings of International Conference on Computer-Aided Design (ICCAD), pages 618–623, 2008.Google Scholar
- 69.A. KleinOsowski and D. Lilja. Minnespec: A new SPEC benchmark workload for simulation-based computer architecture research. IEEE Computer Architecture Letters, 1(1):7, 2002.Google Scholar
- 72.C. Lee, M. Potkonjak, and W. H. Mangione-smith. Mediabench: A tool for evaluating and synthesizing multimedia and communications systems. In Proceedings of International Symposium on Microarchitecture (Micro), pages 330–335, 1997.Google Scholar
- 79.S. M. Martin, K. Flautner, T. Mudge, and D. Blaauw. Combined dynamic voltage scaling and adaptive body biasing for lower power microprocessors under dynamic workloads. In Proceedings of International Conference on Computer-Aided Design (ICCAD), pages 721–725, 2002.Google Scholar
- 116.SPEC. SPEC CPU2000. http://www.spec.org/, 2000.
- 158.S. Zhang and K. S. Chatha. Approximation algorithm for the temperature aware scheduling problem. In Proceedings of International Conference on Computer-Aided Design (ICCAD), pages 281–288, 2007.Google Scholar