计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2014年
4期
848-855
,共8页
祝义%肖芳雄%周航%张广泉
祝義%肖芳雄%週航%張廣泉
축의%초방웅%주항%장엄천
嵌入式实时系统%软件能耗%建模%价格%时间通信顺序进程
嵌入式實時繫統%軟件能耗%建模%價格%時間通信順序進程
감입식실시계통%연건능모%건모%개격%시간통신순서진정
embedded real-time system%software energy consumption%modeling%price%TCSP
随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法,通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.
隨著嵌入式實時繫統低能耗研究的不斷深入,軟件能耗已經成為影響繫統的主要因素,併朝著定量分析方嚮髮展.針對嵌入式實時繫統缺乏有效的軟件能耗建模與分析的方法,提齣一種基于進程代數的嵌入式實時繫統軟件能耗建模與分析的方法,通過在時間通信順序進程上擴展價格信息得到價格時間通信順序進程,將嵌入式實時繫統指令的功耗映射成價格時間通信順序進程的價格,利用價格時間通信順序進程對嵌入式實時繫統軟件能耗建模併進行量化分析,提齣的最優路徑算法可以對建模結果進行指令功耗可滿足性檢查,併計算噹前最低能耗可達路徑.該方法可以從很大程度上提高嵌入式實時繫統軟件能耗計算和分析的準確性,計算結果有助于嵌入式實時繫統軟件能耗的量化分析和優化設計.
수착감입식실시계통저능모연구적불단심입,연건능모이경성위영향계통적주요인소,병조착정량분석방향발전.침대감입식실시계통결핍유효적연건능모건모여분석적방법,제출일충기우진정대수적감입식실시계통연건능모건모여분석적방법,통과재시간통신순서진정상확전개격신식득도개격시간통신순서진정,장감입식실시계통지령적공모영사성개격시간통신순서진정적개격,이용개격시간통신순서진정대감입식실시계통연건능모건모병진행양화분석,제출적최우로경산법가이대건모결과진행지령공모가만족성검사,병계산당전최저능모가체로경.해방법가이종흔대정도상제고감입식실시계통연건능모계산화분석적준학성,계산결과유조우감입식실시계통연건능모적양화분석화우화설계.
