Applying real-time interface and calculus for dynamic power management in hard real-time systems

被引:27
|
作者
Huang, Kai [1 ]
Santinelli, Luca [2 ]
Chen, Jian-Jia [3 ]
Thiele, Lothar [1 ]
Buttazzo, Giorgio C. [2 ]
机构
[1] ETH, Comp Engn & Networks Lab, Zurich, Switzerland
[2] Scuola Super St Anna Pisa, Real Time Syst Lab, Pisa, Italy
[3] Karlsruhe Inst Technol, Inst Proc Control & Robot, Dept Informat, Karlsruhe, Germany
关键词
Power management; Real-time event streams; Real-time calculus; Real-time interface; REDUCTION;
D O I
10.1007/s11241-011-9115-z
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Power dissipation has been an important design issue for a wide range of computer systems in the past decades. Dynamic power consumption due to signal switching activities and static power consumption due to leakage current are the two major sources of power consumption in a CMOS circuit. As CMOS technology advances towards deep sub-micron domain, static power dissipation is comparable to or even more than dynamic power dissipation. This article explores how to apply dynamic power management to reduce static power for hard real-time systems. We propose online algorithms that adaptively control the power mode of a system, procrastinating the processing of arrived events as late as possible. To cope with multiple event streams with different characteristics, we provide solutions for preemptive earliest-deadline-first and fixed-priority scheduling policies. By adopting a worstcase interval-based abstraction, our approach can not only tackle arbitrary event arrivals, e. g., with burstiness, but also guarantee hard real-time requirements with respect to both timing and backlog constraints. We also present extensive simulation results to demonstrate the effectiveness of our approaches.
引用
收藏
页码:163 / 193
页数:31
相关论文
共 50 条
  • [21] Hard real-time closed-loop electrophysiology with the Real-Time eXperiment Interface (RTXI)
    Patel, Yogi A.
    George, Ansel
    Dorval, Alan D.
    White, John A.
    Christini, David J.
    Butera, Robert J.
    PLOS COMPUTATIONAL BIOLOGY, 2017, 13 (05)
  • [22] A Probabilistic Calculus for Probabilistic Real-Time Systems
    Santinelli, Luca
    Cucu-Grosjean, Liliana
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [23] A refinement calculus for the development of real-time systems
    Chen, ZQ
    Cau, A
    Zedan, H
    Liu, XD
    Yang, HJ
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 61 - 68
  • [24] Simulation of real-time systems with clock calculus
    Hu, Kai
    Zhang, Teng
    Yang, Zhibin
    Tsai, Wei-Tek
    SIMULATION MODELLING PRACTICE AND THEORY, 2015, 51 : 69 - 86
  • [25] Dynamic memory management for embedded real-time systems
    Crespo, A.
    Ripoll, I.
    Masmano, M.
    FROM MODEL-DRIVEN DESIGN TO RESOURCE MANAGEMENT FOR DISTRIBUTED EMBEDDED SYSTEMS, 2006, 225 : 195 - +
  • [26] Real-time communication in real-time control and analysis system for power systems
    Cui, Yuan
    Cheng, Lin
    Sun, Yuanzhang
    Li, Xiong
    Peng, Jiangnan
    Zhong, Zhian
    Zhang, Jianyun
    Dianli Xitong Zidonghue/Automation of Electric Power Systems, 2002, 26 (08): : 6 - 10
  • [27] Efficient power management in real-time embedded systems
    Zuquim, ALDP
    Vieira, LFM
    Vieira, MA
    Vieira, AB
    Carvalho, HS
    Nacif, JA
    Coelho, CN
    da Silva, DC
    Fernandes, AO
    Loureiro, AAF
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 496 - 505
  • [28] Real-time results without real-time systems
    Fox, R
    Kasten, E
    Orji, K
    Bolen, C
    Maurice, C
    Venema, J
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (03) : 571 - 575
  • [29] Dynamic Attestation of Real-Time Systems
    Potthoff, Travis
    Graham, Scott
    PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS 2017), 2017, : 489 - 496
  • [30] Flexible real-time linux:: A flexible hard real-time environment
    Terrasa, A
    García-Fornes, A
    Botti, VJ
    REAL-TIME SYSTEMS, 2002, 22 (1-2) : 151 - 173