Scheduling Co-Design for Reliability and Energy in Cyber-Physical Systems

被引:36
|
作者
Lin, Man [1 ]
Pan, Yongwen [1 ]
Yang, Laurence T. [1 ]
Guo, Minyi [2 ]
Zheng, Nenggan [3 ]
机构
[1] St Francis Xavier Univ, Antigonish, NS B2G 2W5, Canada
[2] Shanghai Jiao Tong Univ, Shanghai 200030, Peoples R China
[3] Zhejiang Univ, Hangzhou 321000, Zhejiang, Peoples R China
基金
中国国家自然科学基金;
关键词
Real-time systems; dynamic energy; static energy; leakage control; reliability; TIMING ANALYSIS;
D O I
10.1109/TETC.2013.2274042
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Energy aware scheduling and reliability are both very critical for real-time cyber-physical system design. However, it has been shown that the transient faults of a system will increase when the processor runs at reduced speed to save energy consumption. In this paper, we study total energy and reliability scheduling co-design problem for real-time cyber-physical systems. Total energy refers the sum of static and dynamic energy. Our goal is to minimize total energy while guaranteeing reliability constraints. We approach the problem from two directions based on the two different ways of guaranteeing the reliability of the tasks. The first approach aims at guaranteeing reliability at least as high as that of without speed scaling by reserving recovery job for each scaled down task. Heuristics have been used to guide the speed scaling and shutdown techniques that are used to lower total energy consumption while guaranteeing the reliability. The second way to guarantee the reliability of the tasks is to satisfy a known minimum reliability constraint for the tasks. The minimum reliable speed guarantees the reliability level of tasks, and is used as a constraint in the energy minimization problem. Both static and dynamic co-design methods are explored. Experimental results show that our methods are effective.
引用
收藏
页码:353 / 365
页数:13
相关论文
共 50 条
  • [41] An active scheduling policy for automotive cyber-physical systems
    Liu, Yan
    Xie, Guoqi
    Chen, Xiaoming
    Jin, Linlin
    Tang, Yuqing
    Li, Renfa
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2019, 97 : 208 - 218
  • [42] Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems
    Linard, Alexis
    Bueno, Marcos L. P.
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 134 - 150
  • [43] A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems
    Qian, Zhilin
    Yu, Huiqun
    [J]. 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA 2013), 2013,
  • [44] Real-Time Scheduling in Cyber-Physical Systems
    Chen, Yanwen
    Chen, Yixiang
    [J]. CONTROL ENGINEERING AND APPLIED INFORMATICS, 2011, 13 (03): : 41 - 50
  • [45] Heterogeneous co-simulation for embedded and cyber-physical systems design
    Attarzadeh-Niaki, Seyed-Hosein
    Sander, Ingo
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2020, 96 (09): : 753 - 765
  • [46] A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems
    Tang, Qinghui
    Gupta, Sandeep K. S.
    Varsamopoulos, Georgios
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2012, 11
  • [47] Design of Experiments aided Holistic Testing of Cyber-Physical Energy Systems
    van der Meer, Arjen A.
    Steinbrink, Cornelius
    Heussen, Kai
    Bondy, Daniel E. Morales
    Degefa, Merkebu Z.
    Andren, Filip Proestl
    Strasser, Thomas I.
    Lehnhoff, Sebastian
    Palensky, Peter
    [J]. 2018 WORKSHOP ON MODELING AND SIMULATION OF CYBER-PHYSICAL ENERGY SYSTEMS (MSCPES), 2018,
  • [48] A Physics-Based Attack Detection Technique in Cyber-Physical Systems: A Model Predictive Control Co-Design Approach
    Chamanbaz, Mohammadreza
    Dabbene, Fabrizio
    Bouffanais, Roland
    [J]. 2019 AUSTRALIAN & NEW ZEALAND CONTROL CONFERENCE (ANZCC), 2019, : 18 - 23
  • [49] A holistic approach to energy-aware design of cyber-physical systems
    Esparza Isasa J.A.
    Larsen P.G.
    Hansen F.O.
    [J]. Larsen, Peter Gorm (pgl@eng.au.dk), 1600, Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (09): : 283 - 295
  • [50] W-Simplex: Resilient Network and Control Co-Design under Wireless Channel Uncertainty in Cyber-Physical Systems
    Kim, Dohwan
    Won, Yuchang
    Eun, Yongsoon
    Park, Kyung-Joon
    [J]. 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017), 2017, : 49 - 54