IDEAS home Printed from https://ideas.repec.org/a/gam/jeners/v10y2017i12p2113-d122683.html
   My bibliography  Save this article

Reducing WCET Overestimations by Correcting Errors in Loop Bound Constraints

Author

Listed:
  • Fanqi Meng

    (School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
    School of Information Engineering, Northeast Electric Power University, Jilin 132012, China)

  • Xiaohong Su

    (School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China)

Abstract

In order to reduce overestimations of worst-case execution time (WCET), in this article, we firstly report a kind of specific WCET overestimation caused by non-orthogonal nested loops. Then, we propose a novel correction approach which has three basic steps. The first step is to locate the worst-case execution path (WCEP) in the control flow graph and then map it onto source code. The second step is to identify non-orthogonal nested loops from the WCEP by means of an abstract syntax tree. The last step is to recursively calculate the WCET errors caused by the loose loop bound constraints, and then subtract the total errors from the overestimations. The novelty lies in the fact that the WCET correction is only conducted on the non-branching part of WCEP, thus avoiding potential safety risks caused by possible WCEP switches. Experimental results show that our approach reduces the specific WCET overestimation by an average of more than 82%, and 100% of corrected WCET is no less than the actual WCET. Thus, our approach is not only effective but also safe. It will help developers to design energy-efficient and safe real-time systems.

Suggested Citation

  • Fanqi Meng & Xiaohong Su, 2017. "Reducing WCET Overestimations by Correcting Errors in Loop Bound Constraints," Energies, MDPI, vol. 10(12), pages 1-18, December.
    • Handle: RePEc:gam:jeners:v:10:y:2017:i:12:p:2113-:d:122683
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/1996-1073/10/12/2113/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/1996-1073/10/12/2113/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Zou, Changfu & Hu, Xiaosong & Wei, Zhongbao & Tang, Xiaolin, 2017. "Electrothermal dynamics-conscious lithium-ion battery cell-level charging management via state-monitored predictive control," Energy, Elsevier, vol. 141(C), pages 250-259.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Simona Ramanauskaite & Asta Slotkiene & Kornelija Tunaityte & Ivan Suzdalev & Andrius Stankevicius & Saulius Valentinavicius, 2021. "Reducing WCET Overestimations in Multi-Thread Loops with Critical Section Usage," Energies, MDPI, vol. 14(6), pages 1-12, March.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Li, Niansi & Liu, Xiaoyong & Yu, Bendong & Li, Liang & Xu, Jianqiang & Tan, Qiong, 2021. "Study on the environmental adaptability of lithium-ion battery powered UAV under extreme temperature conditions," Energy, Elsevier, vol. 219(C).
    2. Ramadan, Mohamad & Murr, Rabih & Khaled, Mahmoud & Olabi, Abdul Ghani, 2018. "Mixed numerical - Experimental approach to enhance the heat pump performance by drain water heat recovery," Energy, Elsevier, vol. 149(C), pages 1010-1021.
    3. Xu, Meng & Wang, Xia & Zhang, Liwen & Zhao, Peng, 2021. "Comparison of the effect of linear and two-step fast charging protocols on degradation of lithium ion batteries," Energy, Elsevier, vol. 227(C).
    4. Xiaogang Wu & Siyu Lv & Jizhong Chen, 2017. "Determination of the Optimum Heat Transfer Coefficient and Temperature Rise Analysis for a Lithium-Ion Battery under the Conditions of Harbin City Bus Driving Cycles," Energies, MDPI, vol. 10(11), pages 1-17, October.
    5. Li, Yunjian & Li, Kuining & Xie, Yi & Liu, Jiangyan & Fu, Chunyun & Liu, Bin, 2020. "Optimized charging of lithium-ion battery for electric vehicles: Adaptive multistage constant current–constant voltage charging strategy," Renewable Energy, Elsevier, vol. 146(C), pages 2688-2699.
    6. Meng, Lingyu & See, K.W. & Wang, Guofa & Wang, Yunpeng & Zhang, Yong & Zang, Caiyun & Xie, Bin, 2022. "Explosion-proof lithium-ion battery pack – In-depth investigation and experimental study on the design criteria," Energy, Elsevier, vol. 249(C).
    7. Yang, Fangfang & Song, Xiangbao & Dong, Guangzhong & Tsui, Kwok-Leung, 2019. "A coulombic efficiency-based model for prognostics and health estimation of lithium-ion batteries," Energy, Elsevier, vol. 171(C), pages 1173-1182.
    8. Soham Neupane & Morteza Alipanah & Derek Barnes & Xianglin Li, 2018. "Heat Generation Characteristics of LiFePO 4 Pouch Cells with Passive Thermal Management," Energies, MDPI, vol. 11(5), pages 1-14, May.
    9. Yin, Yilin & Choe, Song-Yul, 2020. "Actively temperature controlled health-aware fast charging method for lithium-ion battery using nonlinear model predictive control," Applied Energy, Elsevier, vol. 271(C).
    10. Ardani, M.I. & Patel, Y. & Siddiq, A. & Offer, G.J. & Martinez-Botas, R.F., 2018. "Combined experimental and numerical evaluation of the differences between convective and conductive thermal control on the performance of a lithium ion cell," Energy, Elsevier, vol. 144(C), pages 81-97.
    11. Mengshu Sun & Yuankun Xue & Paul Bogdan & Jian Tang & Yanzhi Wang & Xue Lin, 2018. "Hierarchical and hybrid energy storage devices in data centers: Architecture, control and provisioning," PLOS ONE, Public Library of Science, vol. 13(1), pages 1-19, January.
    12. Ye Yang & Youtong Zhang & Jingyi Tian & Si Zhang, 2018. "Research on a Plug-In Hybrid Electric Bus Energy Management Strategy Considering Drivability," Energies, MDPI, vol. 11(8), pages 1-22, August.
    13. Yu Peng & Yandong Hou & Yuchen Song & Jingyue Pang & Datong Liu, 2018. "Lithium-Ion Battery Prognostics with Hybrid Gaussian Process Function Regression," Energies, MDPI, vol. 11(6), pages 1-20, June.
    14. Can Aksakal & Altug Sisman, 2018. "On the Compatibility of Electric Equivalent Circuit Models for Enhanced Flooded Lead Acid Batteries Based on Electrochemical Impedance Spectroscopy," Energies, MDPI, vol. 11(1), pages 1-14, January.
    15. Dai, Haifeng & Jiang, Bo & Hu, Xiaosong & Lin, Xianke & Wei, Xuezhe & Pecht, Michael, 2021. "Advanced battery management strategies for a sustainable energy future: Multilayer design concepts and research trends," Renewable and Sustainable Energy Reviews, Elsevier, vol. 138(C).
    16. Deyu Cui & Bizhong Xia & Ruifeng Zhang & Zhen Sun & Zizhou Lao & Wei Wang & Wei Sun & Yongzhi Lai & Mingwang Wang, 2018. "A Novel Intelligent Method for the State of Charge Estimation of Lithium-Ion Batteries Using a Discrete Wavelet Transform-Based Wavelet Neural Network," Energies, MDPI, vol. 11(4), pages 1-18, April.
    17. Piotr Piórkowski & Adrian Chmielewski & Krzysztof Bogdziński & Jakub Możaryn & Tomasz Mydłowski, 2018. "Research on Ultracapacitors in Hybrid Systems: Case Study," Energies, MDPI, vol. 11(10), pages 1-13, September.
    18. Nguyen, Su & Peng, Wei & Sokolowski, Peter & Alahakoon, Damminda & Yu, Xinghuo, 2018. "Optimizing rooftop photovoltaic distributed generation with battery storage for peer-to-peer energy trading," Applied Energy, Elsevier, vol. 228(C), pages 2567-2580.
    19. Cheng Siong Chin & Zuchang Gao & Joel Hay King Chiew & Caizhi Zhang, 2018. "Nonlinear Temperature-Dependent State Model of Cylindrical LiFePO 4 Battery for Open-Circuit Voltage, Terminal Voltage and State-of-Charge Estimation with Extended Kalman Filter," Energies, MDPI, vol. 11(9), pages 1-28, September.
    20. Ouyang, Quan & Fang, Ruyi & Xu, Guotuan & Liu, Yonggang, 2022. "User-involved charging control for lithium-ion batteries with economic cost optimization," Applied Energy, Elsevier, vol. 314(C).

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jeners:v:10:y:2017:i:12:p:2113-:d:122683. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.