Abstract | ||
---|---|---|
With the increasing complexity of the real-time embedded software, the power consumption is becoming a real challenge in the system designs. In this paper, for modelling the component-based embedded software, the interface automata is extended by adding time intervals on the actions and assigning energy consumption rates on the states. The extensional formalism is called energy interface automata. Then the system designs are modelled by energy interface automaton networks which consist of a set of energy interface automata synchronized by shared actions. Based on analyzing the integer state space of the energy interface automaton networks and its compatible reachiability graph, we develop two algorithms for the problem of the minimal energy consumption calculation and the maximal energy consumption verification respectively. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11807964_80 | EUC Workshops |
Keywords | DocType | Volume |
embedded software design,power-aware computing,component-based design,real-time system,model checking,interface automata | Conference | 4097 LNCS |
Issue | ISSN | ISBN |
null | 0302-9743 | 3-540-36850-7 |
Citations | PageRank | References |
4 | 0.50 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hu Jun | 1 | 93 | 6.58 |
Li Xuandong | 2 | 672 | 79.78 |
guoliang zheng | 3 | 65 | 15.24 |
Chenghua Wang | 4 | 7 | 0.97 |