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

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