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

摘要：

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

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

所属期刊栏目：43

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61562051;云南省应用基础研究计划重点项目2014FA029

在线出版日期：2017-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：30-34,39