--- _id: '22738' abstract: - lang: eng text: 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. author: - first_name: Matthias full_name: Becker, Matthias last_name: Becker - first_name: Markus full_name: Luckey, Markus last_name: Luckey - first_name: Steffen full_name: Becker, Steffen last_name: Becker citation: ama: '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' apa: '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' bibtex: '@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} }' chicago: '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.' ieee: 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. mla: 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. short: '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.' date_created: 2021-07-15T08:38:09Z date_updated: 2022-01-06T06:55:39Z doi: 10.1145/2465478.2465489 page: 43-52 place: New York, NY, USA publication: '{Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA)}' publisher: ACM status: public title: Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time type: conference user_id: '4870' year: '2013' ...