Stochastic modeling of a power-managed system: construction and optimization
ISLPED '99 Proceedings of the 1999 international symposium on Low power electronics and design
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
The Vision of Autonomic Computing
Computer
On the Use of Model Checking Techniques for Dependability Evaluation
SRDS '00 Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems
Towards a Model-Driven Architecture for Autonomic Systems
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
An Architectural Approach to Autonomic Computing
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Utility Functions in Autonomic Systems
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Biologically-Inspired Concepts for Self-Management of Complexity
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
DASC '06 Proceedings of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing
Autonomic Computing
Autonomic Computing
Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing
AINA '07 Proceedings of the 21st International Conference on Advanced Networking and Applications
Model-Driven Autonomic Architecture
ICAC '07 Proceedings of the Fourth International Conference on Autonomic Computing
Adaptive Learning of Metric Correlations for Temperature-Aware Database Provisioning
ICAC '07 Proceedings of the Fourth International Conference on Autonomic Computing
ICAC '07 Proceedings of the Fourth International Conference on Autonomic Computing
Quantitative verification: models techniques and tools
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Implementation of a Generic Autonomic Framework
ICAS '08 Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems
Towards Commercialization of Utility-based Resource Allocation
ICAC '06 Proceedings of the 2006 IEEE International Conference on Autonomic Computing
Quantitative Analysis With the Probabilistic Model Checker PRISM
Electronic Notes in Theoretical Computer Science (ENTCS)
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Establishing a Framework for Dynamic Risk Management in `Intelligent' Aero-Engine Control
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Improving impact of self-adaptation and self-management research through evaluation methodology
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Performance aware reconfiguration of software systems
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Reliability-driven deployment optimization for embedded systems
Journal of Systems and Software
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Component deployment optimisation with bayesian learning
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
When the requirements for adaptation and high integrity meet
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Software engineering techniques for the development of systems of systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Large-scale complex IT systems
Communications of the ACM
Optimizing the energy consumption of large-scale applications
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Towards communication-based steering of complex distributed systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Adaptive model learning for continual verification of non-functional properties
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Hi-index | 0.04 |
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.