概率模型检测在动态能耗管理中的应用

摘要：

如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题.动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关键点是如何生成有效的动态能耗管理策略.在概率模型检测技术的基础上,提出了一种生成和验证动态能耗管理策略的方法.首先对目标系统和能耗管理目标建模,然后利用PRISM-games工具进行动态能耗管理策略的合成,同时利用模型检测工具PRISM对合成的动态能耗管理策略进行验证.实验表明,该方法具备可行性和有效性.

关键词：动态能耗管理、概率模型检测、策略合成、策略验证

所属期刊栏目：45

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

资助基金：四川省应用基础研究项目:嵌入式系统软件形式化验证技术研究2014JY0112

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

页数：共7页

页码：261-266,291