Method for Modeling and Analyzing Software Energy Consumption of Embedded Real-Time System

Zhu Yi; Xiao Fangxiong; Zhou Hang; Zhang Guangquan

Journal of Computer Research and Development > 2014 > 51(4): 848-855.

Zhu Yi, Xiao Fangxiong, Zhou Hang, Zhang Guangquan. Method for Modeling and Analyzing Software Energy Consumption of Embedded Real-Time System[J]. Journal of Computer Research and Development, 2014, 51(4): 848-855.

Citation:

PDF (1305 KB)

Method for Modeling and Analyzing Software Energy Consumption of Embedded Real-Time System

1(School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, Jiangsu 221116) 2(School of Information and Statistics, Guangxi University of Finance and Economics, Nanning 530003) 3(College of Civil Aviation, Nanjing University of Aeronautics & Astronautics, Nanjing 210016) 4(School of Computer Science and Technology, Soochow University, Suzhou, Jiangsu 215006)

More Information

Published Date: April 14, 2014

Graphical Abstract

Abstract

Abstract

With the progress of low-power research on embedded real-time systems, software energy consumption has an efficient effect on the system and develops towards quantitative analysis. Aiming to the problem that the modeling and analysis of embedded real-time system is difficult to effectively take into account software energy consumption, this paper proposes a method for modeling and analyzing software energy consumption of embedded real-time system based on process algebra. Priced timed CSP is proposed by extending price information on timed CSP, and the power consumption of instructions in embedded real-time systems is mapped into the price of priced timed CSP. The energy consumption of embedded real-time software can be modeled and optimized by using priced timed CSP. The optimal path algorithms are proposed to check the power consumption satisfyability of single instruction and calculate the minimum energy consumption reachability path of embedded real-time systems. This formal method improves the accuracy and efficiency of energy calculation, and the calculation results can be used to quantitatively analyze and optimize the energy consumption of embedded real-time systems.
- embedded real-time system,
- software energy consumption,
- modeling,
- price,
- TCSP

FullText(HTML)

References (0)

[1]	Wang Guohua, David Hung-Chang Du, Wu Fenggang, Liu Shiyong. Survey on High Density Magnetic Recording Technology[J]. Journal of Computer Research and Development, 2018, 55(9): 2016-2028. DOI: 10.7544/issn1000-1239.2018.20180264
[2]	He Wenbin, Liu Qunfeng, Xiong Jinzhi. The Error Theory of Polynomial Smoothing Functions for Support Vector Machines[J]. Journal of Computer Research and Development, 2016, 53(7): 1576-1585. DOI: 10.7544/issn1000-1239.2016.20148462
[3]	Bi Anqi, Dong Aimei, Wang Shitong. A Dynamic Data Stream Clustering Algorithm Based on Probability and Exemplar[J]. Journal of Computer Research and Development, 2016, 53(5): 1029-1042. DOI: 10.7544/issn1000-1239.2016.20148428
[4]	Wang Lijin, Zhong Yiwen, Yin Yilong. Orthogonal Crossover Cuckoo Search Algorithm with External Archive[J]. Journal of Computer Research and Development, 2015, 52(11): 2496-2507. DOI: 10.7544/issn1000-1239.2015.20148042
[5]	Xu Min, Deng Zhaohong, Wang Shitong, Shi Yingzhong. MMCKDE: m-Mixed Clustering Kernel Density Estimation over Data Streams[J]. Journal of Computer Research and Development, 2014, 51(10): 2277-2294. DOI: 10.7544/issn1000-1239.2014.20130718
[6]	Shen Yue, Guo Longjiang, Li Jinbao. Density and Distance Based Probabilistic Broadcasting Algorithm in Mobile Sensor Networks[J]. Journal of Computer Research and Development, 2014, 51(1): 151-160.
[7]	Zong Dan, Li Chunpeng, Xia Shihong, Wang Zhaoqi. Key-Postures Based Automated Construction of Motion Graph[J]. Journal of Computer Research and Development, 2010, 47(8): 1321-1328.
[8]	Xiong Jinzhi, Yuan Huaqiang, Peng Hong. A General Formulation of Polynomial Smooth Support Vector Machines[J]. Journal of Computer Research and Development, 2008, 45(8): 1346-1353.
[9]	Song Yuqing, Xie Conghua, Zhu Yuquan, Li Cunhua, Chen Jianmei, Wang Lijun. Research on Medical Image Clustering Based on Approximate Density Function[J]. Journal of Computer Research and Development, 2006, 43(11): 1947-1952.
[10]	Chen Jun and Wang Guojin. Constructing Convexity-Preserving Interpolation Curves of Hyperbolic Polynomial B-Splines Using a Shape Parameter[J]. Journal of Computer Research and Development, 2006, 43(7): 1216-1224.