Modelling and analysis of power consumption for component-based embedded software

Authors:
Hu Jun;Li Xuandong;Zheng Guoliang;Wang Chenghua
Affiliations:
College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, China;State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, China;College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China
Venue:
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
Year:
2006

Citing 6
Cited 1

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems

FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Timed Interfaces

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Energy macromodeling of embedded operating systems

ACM Transactions on Embedded Computing Systems (TECS)
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs

ICPPW '05 Proceedings of the 2005 International Conference on Parallel Processing Workshops
Checking component-based embedded software designs for scenario-based timing specifications

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing

A power consumption analysis technique using UML-based design models in embedded software development

SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science

Quantified Score

Hi-index	0.00

Visualization

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.