This dynamic power management application is described in the following conference paper:

  R. Calinescu and M. Kwiatkowska - Using Quantitative Analysis to Implement 
  Autonomic IT Systems. Proceedings 31st International Conference on Software 
  Engineering, 2009.

The paper is available at:

  http://qav.comlab.ox.ac.uk/bibitem.php?key=CK09



To configure the application:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

1) In the adaptor\Web.Config configuration file, ensure that the entry

  <add key="operationalModelFile"
       value="D:\Users\Radu\GPAC\examples\diskDrive\adaptor\App_Data\diskDrive.sm"/>

specifies the actual location of the PRISM operational model for the disk drive.

2) In the simulator\app.config configuration file, ensure that the entry

  <setting name="AppServerSimulator_ManageabilityAdaptor_diskDriveManageabilityAdaptor"
           serializeAs="String">
    <value>http://localhost:2358/adaptor/diskDriveManageabilityAdaptor.asmx</value>
  </setting>

specifies the URL for the (running) manageability adaptor.


To change the utility function:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

1) Modify the function in policies\policy1.xml and supply to the autonomic manager.

2) Update the simulator so that it displays the new utility of the system - search for
the comment

  // CALCULATION OF UTILITY FUNCTION: CHANGE IN LINE WITH POLICY SUPPLIED TO THE AUTONOMIC MANAGER

in the file simulator\DiskDriverSimulatorForm.cs, and modify the calculation of the
utility function displayed by the simulator accordingly. 