Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances

In this paper we provide an incremental methodology to as-sess the effect of the introduction of a dynamic power man-ager in a mobile embedded computing device. The method-ology consists of two phases. In the first phase, we verify whether the introduction of the dynamic power manager al-ters the functionality of the system. We show that this can be accomplished by employing standard techniques based on equivalence checking for noninterference analysis. In the second phase, we quantify the effectiveness of the introduc-tion of the dynamic power manager in terms of power con-sumption and overall system efficiency. This is carried out by enriching the functional model of the system with infor-mation about the performance aspects of the system, and by comparing the values of the power consumption and the overall system efficiency obtained from the solution of the performance model with and without dynamic power man-ager. To this purpose, first we employ a more abstract per-formance model based on the Markovian assumption, then we use a more realistic performance model – to be validated against the Markovian one – where general probability dis-tributions are considered. The methodology is illustrated by means of its application to the study of a remote procedure call mechanism – through which a battery-powered device is used by some application requesting information – and of a streaming video service – which is accessed by a mo-bile client equipped with a power-manageable network in-terface card. 1