分布式嵌入式系统的自适应能耗管理和分析

摘要：

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.

关键词：分布式嵌入式系统、多Agent、能耗、自适应、Petri网

所属期刊栏目：25

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

资助基金：国家自然科学基金61173048,61300041;高等学校博士学科点专项科研基金20130074110015;上海市教育委员会科研创新项目12YZ166;中央高校基本科研业务费专项基金WH1314038;上海市科委重大项目12510503800

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

页数：共20页

页码：419-438