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:
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.
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:
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.
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)
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.
DownLoad: