Summary: Assessing the Impact of Dynamic Power Management on
the Functionality and the Performance of Battery­Powered Appliances
A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bont‘a, E. Lattanzi
Universit‘a di Urbino ``Carlo Bo''
Istituto di Scienze e Tecnologie dell'Informazione
Piazza della Repubblica 13, 61029 Urbino, Italy
Abstract
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

Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"

Collections: Computer Technologies and Information Sciences