中文摘要：

为支持分布式实时嵌入式（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.