文献类型：期刊文章

作　　者：范贵生[1,2] 虞慧群[1] 陈丽琼[3] 刘冬梅[1]

机构地区：[1]华东理工大学计算机科学与工程系,上海200237 [2]计算机软件新技术国家重点实验室(南京大学),江苏南京210093 [3]上海应用技术学院计算机科学与信息工程系,上海200235

出　　处：《软件学报》

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

年　　份：2014

卷　　号：25

期　　号：2

起止页码：419-438

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI(收录号：20141017430654)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：分布式嵌入式系统 多AGENT 能耗 自适应 PETRI网

分 类 号：TP316]