分布式实时嵌入式系统的能耗建模与分析  

Energy Consumption Modeling and Analysis for Distributed Real-Time and Embedded Systems

作　　者：陈丽琼[1] 邵志清[1] 范贵生[1] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237

出　　处：《华东理工大学学报（自然科学版）》2009年第2期250-255,共6页Journal of East China University of Science and Technology

基　　金：国家自然科学基金(60373075);上海市科技发展基金(06dz15004-1)

摘　　要：为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。In order to support the energy consumption analysis for distributed real-time and embedded （DRE） systems, an energy consumption timed Petri net （ECTPN） is proposed to model the system＇s modules, tasks, the relations between tasks and communication protocol, respectively. Based on the ECTPN model of DRE, the system schedulability and energy consumption constrains are analyzed, and the heuristic algorithms are given to compute the feasible schedulability satisfying the constraints of time and energy consumption. Finally, the modeling and analysis process is simulated by a specific example to illustrate the feasibility of the method.

关 键 词：分布式实时嵌入式系统 PETRI网 可行调度 能耗 通信协议 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]