文献类型：期刊文献

中文题名：分布式实时嵌入式系统的能耗建模与分析

英文题名：Energy Consumption Modeling and Analysis for Distributed Real-Time and Embedded Systems

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

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

年份：2009

卷号：35

期号：2

起止页码：250

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心2008】；CSCD:【CSCD2011_2012】；

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

语种：中文

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

外文关键词：distributed real-time and embedded systems; Petri net; schedulability; energy consumption; communication protocol

摘要：为支持分布式实时嵌入式(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.