Author Login Editor-in-Chief Peer Review Editor Work Office Work

Computer Engineering

Previous Articles     Next Articles

Component Modeling and Energy Consumption Analysis of Embedded System Based on Time Petri Net

ZHANG Jing,WANG Liang,FAN Hongbo,XIAO Zhibin   

  1. (Faculty of Information Engineering and Automation,Kunming University of Science and Technology,Kunming 650500,China)
  • Received:2016-05-10 Online:2017-06-15 Published:2017-06-15

基于时间Petri网的嵌入式系统构件建模与能耗分析

张晶,王亮,范洪博,肖智斌   

  1. (昆明理工大学 信息工程与自动化学院,昆明 650500)
  • 作者简介:张晶(1974—),男,教授、博士,主研方向为实时嵌入式软件;王亮,硕士研究生;范洪博(通信作者),博士;肖智斌,硕士研究生。
  • 基金资助:
    国家自然科学基金(61562051);云南省应用基础研究计划重点项目(2014FA029)。

Abstract: The existing software energy consumption analysis methods mainly research the energy consumption on the algorithm level and the instruction level,rarely on the software architecture level.From a software architecture for embedded systems,value and time tags are added on the basis of traditional Petri nets,so as to establish a Value Time Petri Net(VTPN).The software component and linker energy consumption models are established through VTPN to analyze the system energy consumption,and the minimum energy consumption path algorithm is proposed to reduce the system energy consumption.Experimental results show that the actual energy consumption results obatined by using the proposed models are close to the expected results.The model can reduce system overall energy consumption and improve resource utilization.

Key words: embedded system, software energy consumption, Petri net, energy consumption model, state reachability graph

摘要: 现有软件能耗分析方法主要研究算法级和指令级能耗,对于软件体系结构级的能耗研究较少。为此,从嵌入式系统的软件体系结构出发,在传统Petri网的基础上加入价格和时间标签,建立价格时间Petri网。通过价格时间Petri网构建软件构件和连接子能耗模型分析系统软件能耗,并提出最小能耗可达路径算法降低系统执行能耗。实验结果表明,该模型测得的实际能耗结果与预期结果误差较小,并且能降低系统整体能耗,提高资源利用率。

关键词: 嵌入式系统, 软件能耗, Petri网, 能耗模, 状态可达图

CLC Number: