Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Methodology Based on Formal Methods for Predicting the Impact

Summary: A Methodology Based on Formal Methods
for Predicting the Impact
of Dynamic Power Management
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. One of the major issues in the design of a mobile computing
device is reducing its power consumption. A commonly used technique
is the adoption of a dynamic power management policy, which modifies
the power consumption of the device based on certain run time con-
ditions. The introduction of the dynamic power management within a
battery-powered device may not be transparent, as it may alter the over-
all system behavior and efficiency. Here we present a methodology that
can be used in the early stages of the system design to predict the im-
pact of the dynamic power management on the system functionality and
performance. The predictive methodology, which relies on formal meth-
ods to compare the properties of the system without and with dynamic
power management, is illustrated through the application of its various


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


Collections: Computer Technologies and Information Sciences