Aston Research Explorer

Calinescu, Radu C. and Kwiatkowska, Marta Z. (2009). Using quantitative analysis to implement autonomic IT systems. IN: IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009. IEEE.

Full text not available from this repository.


The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software framework that achieves such adaptiveness for IT systems whose components can be modelled as Markov chains. The framework comprises (i) an autonomic architecture that uses Markov-chain quantitative analysis to dynamically adjust the parameters of an IT system in line with its state, environment and objectives; and (ii) a method for developing instances of this architecture for real-world systems. Two case studies are presented that use the framework successfully for the dynamic power management of disk drives, and for the adaptive management of cluster availability within data centres, respectively.

Item Type:Book Section
Uncontrolled Keywords:Markov processes,Web services,computer centres,probability,program diagnostics,program verification,software architecture,software fault tolerance,software maintenance,Markov chain,PRISM probabilistic model checker,adaptive cluster availability management,autonomic legacy IT system,autonomic software architecture,data centre,disk drive,dynamic power management,quantitative analysis tool,software framework,Software
Divisions:Schools_of_Study > Engineering & Applied Science > Computer Science (EAS)
Related URLs:
ID Code:9310
Deposited By:Susan Doughty
Deposited On:20 Jul 2010 10:43
Last Modified:02 Jan 2017 10:55

Repository Staff Only: item control page