Reactive speed control in temperature-constrained real-time systems

被引:2
|
作者
Shengquan Wang
Riccardo Bettati
机构
[1] The University of Michigan,
[2] Texas A&M University,undefined
来源
Real-Time Systems | 2008年 / 39卷
关键词
Speed control; Temperature; Real-time;
D O I
暂无
中图分类号
学科分类号
摘要
In this paper, we study temperature-constrained real-time systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. We give a short review on temperature issues in processors and describe how speed control can be used to trade off task delays against processor temperature. In this paper, we describe how traditional worst-case execution scenarios do not apply in temperature-constrained situations. We develop a delay computation methodology that can be used in combination with a simple reactive speed control technique, and show how this simple reactive scheme can decrease the delay of tasks compared with any constant-speed scheme.
引用
收藏
页码:73 / 95
页数:22
相关论文
共 50 条
  • [31] Schedule validation for embedded reactive real-time systems
    Balarin, F
    SangiovanniVincentelli, A
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 52 - 57
  • [32] TRANSFORMATIONAL VS REACTIVE REFINEMENT IN REAL-TIME SYSTEMS
    ATKINSON, S
    SCHOLEFIELD, D
    INFORMATION PROCESSING LETTERS, 1995, 55 (04) : 201 - 210
  • [33] A rigorous method for testing real-time reactive systems
    Alagar, VS
    Zheng, M
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 220
  • [34] Synthesis of monitors for real-time analysis of reactive systems
    Auguston, Mikhail
    Trakhtenbrot, Mark
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 72 - +
  • [35] Modeling and Verifying Real-time Properties of Reactive Systems
    Han, Fenglin
    Herrmann, Peter
    Le, Hien
    2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 14 - 23
  • [36] TEMPORAL REASONING ABOUT REAL-TIME REACTIVE SYSTEMS
    WANG, J
    CHEN, HW
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 249 - 256
  • [37] Student projects in reactive and real-time systems course
    Lotenberg, R
    Tyszberowicz, S
    REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 57 - 62
  • [38] Rate assignment for embedded reactive real-time systems
    Shin, Y
    Choi, K
    24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 237 - 242
  • [39] Reactive object oriented modeling of real-time control
    Chebeane, H
    Echalier, F
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 387 - 390
  • [40] Using real-time queueing theory to control lateness in real-time systems
    Lehoczky, John P.
    Performance Evaluation Review, 1997, 25 (01): : 158 - 168