A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness

Hyung Chan An; Hoeseok Yang; Soonhoi Ha

doi:10.1109/TCAD.2016.2527702

A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness

Hyung Chan An, Hoeseok Yang, Soonhoi Ha

College of Computing

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

Abstract

The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The presence of interaction between the cyber and physical components of a CPS leads to dependence between the time delay of a computational task and the amount of workload in the next iteration. We demonstrate that it is essential to take this delay-workload dependence into consideration in order to achieve low power consumption. In this paper, we identify this new challenge, and present the first formal and comprehensive model to enable rigorous investigations on this topic. We propose a simple power management policy, and show that this policy achieves a best possible notion of optimality. In fact, we show that the optimal power consumption is attained in a 'steady-state' operation and a simple policy of finding and entering this steady state suffices, which can be quite surprising considering the added complexity of this problem. Finally, we validated the efficiency of our policy with experiments.

Original language	English
Article number	2527702
Pages (from-to)	750-763
Number of pages	14
Journal	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume	35
Issue number	5
DOIs	https://doi.org/10.1109/TCAD.2016.2527702
Publication status	Published - 2016 May

Bibliographical note

Funding Information:
This work was supported in part by ICT Research and Development Program of MSIP/IITP under Grant B0101-15-0661 (the Research and Development of the Self-Adaptive Software Framework for Various IoT Devices), in part by the Basic Science Research Program through the NRF Korea funded by MSIP under Grant NRF-2013R1A2A2A01067907, and in part by the European Research Council under Grant 335288-OptApprox. A preliminary version of this paper was presented at the IEEE/ACM International Symposium on Low Power Electronics and Design in 2015 [1]. A part of this work was conducted while H.-C. An was with the School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne.

Publisher Copyright:
© 1982-2012 IEEE.

All Science Journal Classification (ASJC) codes

Software
Computer Graphics and Computer-Aided Design
Electrical and Electronic Engineering

Access to Document

10.1109/TCAD.2016.2527702

Cite this

@article{c97c4d896ffa49eba0c6a2ca3315995e,

title = "A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness",

abstract = "The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The presence of interaction between the cyber and physical components of a CPS leads to dependence between the time delay of a computational task and the amount of workload in the next iteration. We demonstrate that it is essential to take this delay-workload dependence into consideration in order to achieve low power consumption. In this paper, we identify this new challenge, and present the first formal and comprehensive model to enable rigorous investigations on this topic. We propose a simple power management policy, and show that this policy achieves a best possible notion of optimality. In fact, we show that the optimal power consumption is attained in a 'steady-state' operation and a simple policy of finding and entering this steady state suffices, which can be quite surprising considering the added complexity of this problem. Finally, we validated the efficiency of our policy with experiments.",

author = "An, {Hyung Chan} and Hoeseok Yang and Soonhoi Ha",

note = "Funding Information: This work was supported in part by ICT Research and Development Program of MSIP/IITP under Grant B0101-15-0661 (the Research and Development of the Self-Adaptive Software Framework for Various IoT Devices), in part by the Basic Science Research Program through the NRF Korea funded by MSIP under Grant NRF-2013R1A2A2A01067907, and in part by the European Research Council under Grant 335288-OptApprox. A preliminary version of this paper was presented at the IEEE/ACM International Symposium on Low Power Electronics and Design in 2015 [1]. A part of this work was conducted while H.-C. An was with the School of Computer and Communication Sciences, {\'E}cole Polytechnique F{\'e}d{\'e}rale de Lausanne. Publisher Copyright: {\textcopyright} 1982-2012 IEEE.",

year = "2016",

month = may,

doi = "10.1109/TCAD.2016.2527702",

language = "English",

volume = "35",

pages = "750--763",

journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",

issn = "0278-0070",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "5",

}

TY - JOUR

T1 - A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness

AU - An, Hyung Chan

AU - Yang, Hoeseok

AU - Ha, Soonhoi

N1 - Funding Information: This work was supported in part by ICT Research and Development Program of MSIP/IITP under Grant B0101-15-0661 (the Research and Development of the Self-Adaptive Software Framework for Various IoT Devices), in part by the Basic Science Research Program through the NRF Korea funded by MSIP under Grant NRF-2013R1A2A2A01067907, and in part by the European Research Council under Grant 335288-OptApprox. A preliminary version of this paper was presented at the IEEE/ACM International Symposium on Low Power Electronics and Design in 2015 [1]. A part of this work was conducted while H.-C. An was with the School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne. Publisher Copyright: © 1982-2012 IEEE.

PY - 2016/5

Y1 - 2016/5

N2 - The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The presence of interaction between the cyber and physical components of a CPS leads to dependence between the time delay of a computational task and the amount of workload in the next iteration. We demonstrate that it is essential to take this delay-workload dependence into consideration in order to achieve low power consumption. In this paper, we identify this new challenge, and present the first formal and comprehensive model to enable rigorous investigations on this topic. We propose a simple power management policy, and show that this policy achieves a best possible notion of optimality. In fact, we show that the optimal power consumption is attained in a 'steady-state' operation and a simple policy of finding and entering this steady state suffices, which can be quite surprising considering the added complexity of this problem. Finally, we validated the efficiency of our policy with experiments.

AB - The design of cyber-physical systems (CPSs) faces various new challenges that are unheard of in the design of classical real-time systems. Power optimization is one of the major design goals that is witnessing such new challenges. The presence of interaction between the cyber and physical components of a CPS leads to dependence between the time delay of a computational task and the amount of workload in the next iteration. We demonstrate that it is essential to take this delay-workload dependence into consideration in order to achieve low power consumption. In this paper, we identify this new challenge, and present the first formal and comprehensive model to enable rigorous investigations on this topic. We propose a simple power management policy, and show that this policy achieves a best possible notion of optimality. In fact, we show that the optimal power consumption is attained in a 'steady-state' operation and a simple policy of finding and entering this steady state suffices, which can be quite surprising considering the added complexity of this problem. Finally, we validated the efficiency of our policy with experiments.

UR - http://www.scopus.com/inward/record.url?scp=84968538079&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84968538079&partnerID=8YFLogxK

U2 - 10.1109/TCAD.2016.2527702

DO - 10.1109/TCAD.2016.2527702

M3 - Article

AN - SCOPUS:84968538079

SN - 0278-0070

VL - 35

SP - 750

EP - 763

JO - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

JF - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

IS - 5

M1 - 2527702

ER -

A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness

Abstract

Bibliographical note

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this