作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程

• 体系结构与软件技术 • 上一篇    下一篇

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

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

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

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网的基础上加入价格和时间标签,建立价格时间Petri网。通过价格时间Petri网构建软件构件和连接子能耗模型分析系统软件能耗,并提出最小能耗可达路径算法降低系统执行能耗。实验结果表明,该模型测得的实际能耗结果与预期结果误差较小,并且能降低系统整体能耗,提高资源利用率。

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

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

中图分类号: