摘要
随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2014年第4期848-855,共8页
Journal of Computer Research and Development
基金
国家自然科学基金项目(61262002)
江苏省高校自然科学基金项目(10KJB520019)
江苏师范大学自然科学基金项目(11XLR20)