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. © IFIP International Federation for Information Processing 2006.
CITATION STYLE
Hu, J., Li, X., Zheng, G., & Wang, C. (2006). Modelling and analysis of power consumption for component-based embedded software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4097 LNCS, pp. 795–804). Springer Verlag. https://doi.org/10.1007/11807964_80
Mendeley helps you to discover research relevant for your work.