Energy Consumption Simulation and Evaluation System for Embedded Device

• US 20140208287A1
• Filed: 04/03/2013
• Published: 07/24/2014
• Est. Priority Date: 01/18/2013
• Status: Active Grant

• Current Assignee: Harbin Institute of Technology
• Original Assignee: Harbin Institute of Technology
• Inventors: ZHOU, Haiying, HOU, Kun-Mean, ZUO, Decheng, LI, Jianjin, LI, Jian, ZHOU, Peng, XIE, Heping, WANG, Yuanyuan, HU, Lianya
• Granted Patent: US 9,003,343 B2
• Time in Patent Office: Days
• US Class Current: 716/136
• CPC Class Codes: G06F 2119/06 Power analysis or power optimisation
• CPC Class Codes: G06F 30/20 Design optimisation, verification or simulation optimisation, verification or simulation of circuit designs G06F30/30
• CPC Class Codes: G06F 30/367 Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods

Abstract

An energy consumption simulation and evaluation system for embedded device in energy consumption evaluation technology for electronic devices, which solves the problem that the energy consumption cannot be simulated under tasks operation condition with the existing systems. The present invention includes a graphical configuration management module for inputting graphical configuration parameters, a device energy consumption model building block for obtaining the AADL description model for software and hardware components through AADL abstract description of software and hardware at system-level, a model transformation module for AADL to GSPN model transformation; and a GSPN simulation module which utilizes QPME tool to simulate GSPN model; selectively loads an external energy-consuming event from the energy-consuming events sequence; and perform energy consumption simulation for the GSPN model in response to the external energy-consuming event by QPME tool to obtain a simulation result of the residual energy and lifetime of the system.

Claims

1. An energy consumption simulation and evaluation system for an embedded device, characterized in that:

said system comprises a graphical configuration management module, an event generator, a device energy consumption model building block, an AADL to GSPN model transformation module and a GSPN simulation module for device energy consumption model, wherein

said graphical configuration management module is a graphical parameter configuration and input arrangement for said event generator and said device energy consumption model building block;

said device energy consumption model building block is arranged for obtaining an AADL description model of software and hardware components of said embedded system by utilizing an AADL description of software and hardware at system level based on the parameters configuration of said graphical configuration management module;

said event generator is arranged for generating an energy-consuming event sequence through a simulation process for energy-consuming events;

said AADL to GSPN model transformation module is arranged for obtaining a GSPN model through transforming the AADL description model of said software and hardware components of said embedded system; and

said GSPN simulation module for device energy consumption model is arranged for loading the GSPN model by utilizing QPME tool;

selectively loading external energy-consuming events from the energy-consuming event sequence; and

simulating the GSPN energy consumption model with the QPME tool based on the external energy-consuming event being loaded,

thereby obtaining a simulation result of residual energy and lifetime of said embedded system.

2. The energy consumption simulation and evaluation system for an embedded device according to claim 1, wherein the parameters for said device energy consumption model building block comprises software and hardware components architecture, a component finite state machine, a system scheduling policy, a resource allocation policy and an energy optimization policy.

3. The energy consumption simulation and evaluation system for an embedded device according to claim 1, wherein the simulation process of the event generator for generating the energy-consuming event sequence comprises the steps of:

utilizing an event generator engine through generating a simulation script based on the parameters configuration under an event generator policy of said embedded system; and

obtaining the energy-consuming event sequence.

4. The energy consumption simulation and evaluation system for an embedded device according to claim 3, wherein said graphical configuration management module is arranged for processing graphical configuration based on input parameters of said event generator, wherein the input parameters of said event generator is generated by an event generator policy configuration module, wherein said event generator policy configuration module is arranged for processing parameters which affect a frequency of occurrence of energy-consuming event.

5. The energy consumption simulation and evaluation system for an embedded device according to claim 1, wherein the simulation process of the event generator for generating the energy-consuming event sequence comprises the steps of:

analyzing a system event log of said embedded system by using log parser; and

obtaining the energy-consuming event sequence.

6. The energy consumption simulation and evaluation system for an embedded device according to claim 5, wherein said graphical configuration management module is arranged for processing graphical configuration based on input parameters of said event generator, wherein the input parameters of said event generator is the system event log or the log from other simulation tools.

7. The energy consumption simulation and evaluation system for an embedded device according to claim 6, wherein the system event log has the format of:

“

event occurrence time, event completion time, event component, current status of the component, status of the component in the next step”

.

8. The energy consumption simulation and evaluation system for an embedded device according to claim 1, wherein a process of building an AADL model of software and hardware components of said embedded system by utilizing an AADL abstract description of software and hardware at system level based on the parameters configuration of said graphical configuration management module comprises the steps of:

(a) based on a hardware architecture template library and component property of said embedded system, graphical customizing software and hardware templates;

(b) based on a policy library and software policy of said embedded system, graphical customizing software and hardware policy;

(c) based on the results from the step (a) and the step (b), generating a hardware architecture and a software architecture of the embedded system and obtaining a behavior of the software and hardware;

(d) using AADL language to build a graphical model for the hardware architecture and the software architecture of the embedded system, and also for the behavior of the software and hardware; and

(e) finally building the AADL model of said embedded system.

9. The energy consumption simulation and evaluation system for an embedded device according to claim 1, wherein a process of transforming the AADL description model of said software and hardware components of said embedded system to the GSPN model comprises the steps of:

based on GSPN modeling method and with the expanded AADL language, building an energy consumption model using GSPN;

wherein the four elements in the GSPN energy consumption model are corresponding to the following elements of the AADL model;

S;

state library, describing interaction activity between the embedded device and internal and external environments based on event;

corresponding to mode in AADL model;

T;

state transition, modeling through transition of activity, generating activity from event and causing state changes by activity;

corresponding to transition in AADL model;

F;

directed arc set, describing conditions for occurrence of state transition and effect of state transition, corresponding to connection in AADL model;

M;

token, describing event occurrence pattern in library, capable of continuous activity during transition in Place;

corresponding to energy-consuming event in AADL model.

10. The energy consumption simulation and evaluation system for an embedded device according to claim 1, wherein said system further comprises a graphical results analysis sub-module arranged for processing a graphical display of the residual energy, the system lifetime, energy consumption of components, executed events and the most energy consuming event based on the simulation result of the GSPN device energy consumption model, and simulation log will be generated according to the configuration.