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

Computer Engineering

Previous Articles    

Energy Consumption Model of Embedded Software Based on Stochastic Petri Net

ZHANG Jing a,b,WANG Zhongzheng a,b,FAN Hongbo a,b   

  1. (a.School of Information Engineering and Automation;b.Computer Technology Application Key Lab of Yunnan Province,Kunming University of Science and Technology,Kunming 650500,China)
  • Received:2016-08-22 Online:2017-09-15 Published:2017-09-15

基于随机Petri网的嵌入式软件能耗模型

张晶 a,b,王中正 a,b,范洪博 a,b   

  1. (昆明理工大学 a.信息工程与自动化学院; b.云南省计算机技术应用重点实验室,昆明 650500)
  • 作者简介:张晶(1974—),男,教授、博士,主研方向为实时嵌入式软件、物联网软件建模、信息物理融合系统;王中正,硕士研究生;范洪博(通信作者),讲师、博士。
  • 基金资助:
    国家自然科学基金(61562051);云南省应用基础研究计划重点项目(2014FA029)。

Abstract: Traditional software energy consumption measurement mode is to measure actually after the software design is completed to gain energy consumption value,so it cannot provide references for development via definite data in software design periods.This paper disposes components of software on architecture level.It analyzes the components,interfaces and connectors based on stochastic.Then it constructs the energy consumption model of the embedded software Energy consumption Stochastic Petri Net(ESPN).The method to look for three kinds of energy consumption paths is proposed,the paper forecasts energy consumption and calculates exactly value about the software through the status reachability graphs of energy consumption.The effectiveness of this model is verified by instantiation analysis and design.

Key words: embedded software, software architecture, energy consumption modeling, stochastic Petri net, energy consumption analysis

摘要: 传统的软件能耗测量方式是在软件设计完成后进行实际测量从而得到能耗值,不能在软件的设计初期形成一定的数据量为开发做出参考。为此,从体系结构层面对软件进行构件化处理,基于随机Petri网分别对构件、接口、连接件各模块进行建模与分析,构造出嵌入式软件能耗模型ESPN。给出寻找3种能耗路径的方法,根据能耗状态可达图对软件能耗进行预测并求得其确切值。通过实例化分析与设计验证了该模型的有效性。

关键词: 嵌入式软件, 软件体系结构, 能耗建模, 随机Petri网, 能耗分析

CLC Number: