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

doi:10.3969/j.issn.1000-3428.2017.09.054

计算机工程

• 开发研究与工程应用 • 上一篇

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

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

(昆明理工大学 a.信息工程与自动化学院; b.云南省计算机技术应用重点实验室,昆明 650500)

收稿日期:2016-08-22 出版日期:2017-09-15 发布日期:2017-09-15
作者简介:张晶(1974—),男,教授、博士,主研方向为实时嵌入式软件、物联网软件建模、信息物理融合系统;王中正,硕士研究生;范洪博(通信作者),讲师、博士。
基金项目:
国家自然科学基金(61562051);云南省应用基础研究计划重点项目(2014FA029)。

Energy Consumption Model of Embedded Software Based on Stochastic Petri Net

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

(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

摘要/Abstract

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

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

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

中图分类号:

TP393

张晶,王中正,范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, doi: 10.3969/j.issn.1000-3428.2017.09.054.

ZHANG Jing,WANG Zhongzheng,FAN Hongbo. Energy Consumption Model of Embedded Software Based on Stochastic Petri Net[J]. Computer Engineering, doi: 10.3969/j.issn.1000-3428.2017.09.054.

参考文献

参考文献［1］许海洋,庄毅,顾晶晶.一种面向嵌入式软件体系结构的形式化建模方法［J］.电子学报,2014,42(8):1515-1521. ［2］祝义,肖芳雄,周航,等.一种嵌入式实时系统软件能耗建模与分析的方法［J］.计算机研究与发展,2014,51(4):848-855. ［3］王爱峰,李曦,雷霆.算法级能耗分析方法研究［J］.软件学报,2006,42(29):100-102,106. ［4］张晶,陈沫良.嵌入式软件算法级能耗建模与分析［J］.计算机工程,2014,40(6):13-15,28. ［5］郭真林,桑楠,江维,等.基于LabVIEW的嵌入式软件能耗测量方法［J］.计算机工程,2013,39(1):85-88. ［6］TAN T K,RAGHUNATHAN A K.High-level Software Energy Macro-modeling［C］//Proceedings of the 38th ACM Conference on Design Automation.New York,USA:ACM Press,2001:156-211. ［7］SENN E,LAURENT J,JUINE,et al.Refining Power Consumption Estimations in the Component Based AADL Design Flow［C］//Proceedings of IEEE Conference on Specification Verification and Design Language.Washington D.C.,USA:IEEE Press,2008:173-178. ［8］KONSTANTAKOS V,CHATZIGEORGIOU A.Energy Consumption Estimation in Embedded Systems［J］.IEEE Transactions on Instrumentation and Measurement,2008,57(4):797-804. ［9］赵霞,郭耀,陈向群.软件能耗优化技术研究进展［J］.计算机研究与发展,2011,48(12):2308-2316. ［10］熊冰,郭兵,沈艳,等.基于马尔科夫链的构件化嵌入式软件能耗估算模型［J］.小型微型计算机系统,2012,33(3):655-659. ［11］张广泉,张侃,祝义,等.基于体系结构能耗建模的CPS软件可信性评估方法［J］.电子学报,2013,41(11):2270-2275. ［12］张滕滕,吴晓,李长德,等.基于 CSP 的构件化嵌入式软件能耗分析和评估方法研究［J］.计算机学报,2009,32(9):1876-1883. ［13］陈沫良.基于体系结构级的嵌入式软件能耗模型及性能研究［D］.昆明:昆明理工大学,2015. ［14］刘啸滨,郭兵,沈艳.嵌入式软件体系结构级能耗建模方法［J］.软件学报,2012,23(2):230-239. ［15］许玉堂,殷永峰,孙静,等.基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估［J］.兵工学报,2015,36(2):363-373. ［16］刘显明,李师贤,李文军,等.一种扩展了价格信息的时间Petri网［J］.软件学报,2007,18(1):1-10. ［17］邬小龙,郭兵,沈艳.改进BP神经网络在软件能耗分析中的应用［J］.计算机工程,2012,38(10):185-187. ［18］曹东,胡军,徐丙凤.构件化嵌入式软件设计的能耗性质分析与验证［J］.南京理工大学学报(自然科学版),2009,33(1):26-31. ［19］刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析［J］.电子学报,2005,38(3):1416-1420. 编辑索书志

[1]	李联, 杨淏天. 基于GSPN的锁步处理器系统可靠性建模与分析[J]. 计算机工程, 2019, 45(7): 296-302.
[2]	李军义,李双,张焱,李仁发. 基于MPA与静态预估的最坏执行时间分析方法[J]. 计算机工程, 2015, 41(10): 76-82.
[3]	张晶，陈沫良. 嵌入式软件算法级能耗建模与分析[J]. 计算机工程, 2014, 40(6): 13-15,28.
[4]	王洁宁, 王安国, 董健康, 李景峰. 基于Agent的机坪运行服务SPN建模与仿真[J]. 计算机工程, 2013, 39(3): 285-288,299.
[5]	刘友生. 基于层次结构的绿色计算生态系统能耗分析[J]. 计算机工程, 2013, 39(2): 27-33.
[6]	张晓德，李文斌. 柔性制造系统的模糊参数评价方法[J]. 计算机工程, 2013, 39(10): 313-316.
[7]	郭真林, 桑楠, 江维, 宋元凤. 基于LabVIEW的嵌入式软件能耗测量方法[J]. 计算机工程, 2013, 39(1): 85-88.
[8]	马苏拉. 软件体系结构的广义视角研究[J]. 计算机工程, 2012, 38(23): 42-46.
[9]	程晓菊, 李仁发. 基于函数切片的嵌入式软件回归测试研究[J]. 计算机工程, 2012, 38(2): 54-56.
[10]	杨曦, 李彤. 一种支持动态演化的AOP框架[J]. 计算机工程, 2012, 38(19): 52-55.
[11]	邬小龙, 郭兵, 沈艳. 改进BP神经网络在软件能耗分析中的应用[J]. 计算机工程, 2012, 38(10): 185-187.
[12]	赵磊, 吕莉媛, 赵国生. 一种软件体系结构级基本路径覆盖方法[J]. 计算机工程, 2012, 38(10): 60-62.
[13]	黄光球, 张斌, 王纯子. 基于层次扩展SPN的网络攻击模型[J]. 计算机工程, 2011, 37(22): 12-18.
[14]	姬祥, 董云卫, 王宇英, 凌恒. 组态化嵌入式软件仿真系统设计[J]. 计算机工程, 2011, 37(21): 225-227,231.
[15]	王福焕, 曾国荪. 基于随机Petri网的可重构核心单元分析[J]. 计算机工程, 2011, 37(17): 1-6.

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

Energy Consumption Model of Embedded Software Based on Stochastic Petri Net

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 10