Abstract:
In order to support the energy consumption analysis for distributed realtime 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.