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)|
|Deposited By:||Susan Doughty|
|Deposited On:||20 Jul 2010 10:43|
|Last Modified:||01 Dec 2016 08:07|
Repository Staff Only: item control page