Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Autonomic Computing
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Model-Driven Generation of Performance Prototypes
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Model-Driven Assessment of QoS-Aware Self-Adaptation
Software Engineering for Self-Adaptive Systems
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Adapt cases: extending use cases for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
QUAASY: QUality Assurance of Adaptive SYstems
Proceedings of the 8th ACM international conference on Autonomic computing
Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Fuzzy branching temporal logic
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Model-driven performance engineering of self-adaptive systems: a survey
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
S/T/A: Meta-Modeling Run-Time Adaptation in Component-Based System Architectures
ICEBE '12 Proceedings of the 2012 IEEE Ninth International Conference on e-Business Engineering
Hi-index | 0.00 |
Self-adaptation allows continuously running software systems to operate in changing and uncertain contexts while meeting their requirements in a broad range of contexts, e.g., from low to high load situations. As a consequence, requirements for self-adaptive systems are more complex than requirements for static systems as they have to explicitly address properties of the self-adaptation layer. While approaches exist in the literature to capture this new type of requirements formally, their achievement cannot be analyzed in early design phases yet. In this paper, we apply RELAX to formally specify non-functional requirements for self-adaptive systems. We then apply our model-based SimuLizar approach for a semi-automatic analysis to test whether the self-adaptation layer ensures that these non-functional requirements are met. We evaluate our approach on the design of a proof-of-concept load balancer system. As this evaluation demonstrates, we can iteratively improve our system design by improving unsatisfactory self-adaption rules.