| 分布式嵌入式系统的自适应能耗管理和分析 |
| |
| 引用本文： | 范贵生,虞慧群,陈丽琼,刘冬梅. 分布式嵌入式系统的自适应能耗管理和分析[J]. 软件学报, 2014, 25(2): 419-438 |
| |
| 作者姓名： | 范贵生 虞慧群 陈丽琼 刘冬梅 |
| |
| 作者单位： | 华东理工大学 计算机科学与工程系,上海 200237;计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;华东理工大学 计算机科学与工程系,上海 200237;上海应用技术学院 计算机科学与信息工程系,上海 200235;华东理工大学 计算机科学与工程系,上海 200237 |
| |
| 基金项目： | 国家自然科学基金（61173048, 61300041）；高等学校博士学科点专项科研基金（20130074110015）；上海市教育委员会科研创新项目（12YZ166）；中央高校基本科研业务费专项基金（WH1314038）；上海市科委重大项目（12510503800） |
| |
| 摘 要： | 以降低分布式嵌入式系统整体能耗为目标，立足设备属性及其关系，从系统的启动设备集和设备动态供电电压两个方面着手，提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上，给出分布式嵌入式能耗网(DE-Net)，并利用DE-Net模型对系统的基本组件进行建模，根据组件间关系形成能耗模型，以刻画系统的执行流程和能耗属性.最后，利用CTL描述系统性质，并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明：该方法能够有效地降低分布式实时系统的能耗，正确描述能耗自适应调整过程，简化建模和分析过程，对开发具有低能耗DES具有重要的理论意义和实用价值.
|
| 关 键 词： | 分布式嵌入式系统 多Agent 能耗 自适应 Petri 网 |
| 收稿时间： | 2013-05-07 |
| 修稿时间： | 2013-12-05 |
Adaptive Energy Consumption Management and Analysis for Distributed Embedded System |
| |
| FAN Gui-Sheng,YU Hui-Qun,CHEN Li-Qiong and LIU Dong-Mei. Adaptive Energy Consumption Management and Analysis for Distributed Embedded System[J]. Journal of Software, 2014, 25(2): 419-438 |
| |
| Authors: | FAN Gui-Sheng YU Hui-Qun CHEN Li-Qiong LIU Dong-Mei |
| |
| Affiliation: | Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China;State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China;Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China;Department of Computer Science and Information Engineering Shanghai Institute of Technology, Shanghai 200235, China;Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China |
| |
| Abstract: | |
| |
| Keywords: | distributed embedded system multi-agent energy consumption adaptive Petri net |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
