Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
Benchmark Handbook: For Database and Transaction Processing Systems
Benchmark Handbook: For Database and Transaction Processing Systems
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
The Vision of Autonomic Computing
Computer
Towards a Security Benchmark for Database Management Systems
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Dependability Benchmarking for Computer Systems
Dependability Benchmarking for Computer Systems
Rainbow: cost-effective software architecture-based self-adaptation
Rainbow: cost-effective software architecture-based self-adaptation
Using quantitative analysis to implement autonomic IT systems
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Evaluating the effectiveness of the Rainbow self-adaptive system
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
Changeloads for Resilience Benchmarking of Self-Adaptive Systems: A Risk-Based Approach
EDCC '12 Proceedings of the 2012 Ninth European Dependable Computing Conference
Hi-index | 0.00 |
One of the major challenges related to self-adaptive software systems is the provision of assurances that the system is resilient against changes that may occur either in the system or its environment. These assurances should be based on complementary sources of evidence that collectively justify that the system is able to attain the specified levels of resilience. The contribution of this paper is the definition and development of an architecture-based approach that evaluates by comparison the adaptation mechanisms of a self-adaptive software system. The proposed approach relies on the identification of representative environmental and system changeloads (i.e., sequences of changes) used in the run-time stimulation of the system. The system response obtained from this stimulation is collected and aggregated into a probabilistic model that is employed in the evaluation of system resilience. Our approach is intended to be used before deployment, since the process often involves putting the system through adverse conditions which are not adequate when the system is in production. The feasibility and effectiveness of the proposed approach is demonstrated in the context of Rainbow, an architecture-based platform for self- adaptation, and Znn.com, a case study that reproduces the typical infrastructure for a news website.