Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time

M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2013, pp. 43–52.

Download
No fulltext has been uploaded.
Conference Paper
Author
Becker, Matthias; Luckey, Markus; Becker, Steffen
Abstract
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, requirementsfor 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.
Publishing Year
Proceedings Title
{Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}
Page
43-52
LibreCat-ID

Cite this

Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: {Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}. New York, NY, USA: ACM; 2013:43-52. doi:10.1145/2465478.2465489
Becker, M., Luckey, M., & Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In {Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)} (pp. 43–52). New York, NY, USA: ACM. https://doi.org/10.1145/2465478.2465489
@inproceedings{Becker_Luckey_Becker_2013, place={New York, NY, USA}, title={Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, DOI={10.1145/2465478.2465489}, booktitle={{Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}}, publisher={ACM}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2013}, pages={43–52} }
Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” In {Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}, 43–52. New York, NY, USA: ACM, 2013. https://doi.org/10.1145/2465478.2465489.
M. Becker, M. Luckey, and S. Becker, “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time,” in {Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}, 2013, pp. 43–52.
Becker, Matthias, et al. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” {Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}, ACM, 2013, pp. 43–52, doi:10.1145/2465478.2465489.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar