%0 Journal Article
%T 分布式嵌入式系统的自适应能耗管理和分析
%A 范贵生？
%A 虞慧群？
%A 陈丽琼？
%A 刘冬梅？
%J 软件学报
%P 419-438
%D 2014
%R 10.13328/j.cnki.jos.004536
%X 以降低分布式嵌入式系统整体能耗为目标，立足设备属性及其关系，从系统的启动设备集和设备动态供电电压两个方面着手，提出一种基于agent的自适应能耗管理及其分析方法.在此基础上，给出分布式嵌入式能耗网(de-net)，并利用de-net模型对系统的基本组件进行建模，根据组件间关系形成能耗模型，以刻画系统的执行流程和能耗属性.最后，利用ctl描述系统性质，并借助petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明：该方法能够有效地降低分布式实时系统的能耗，正确描述能耗自适应调整过程，简化建模和分析过程，对开发具有低能耗des具有重要的理论意义和实用价值.
%K 分布式嵌入式系统
%K 多agent
%K 能耗
%K 自适应
%K petri
%K 网
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4536&flag=1