{"file_date_updated":"2018-03-15T13:39:29Z","type":"conference","page":"43-52 ","date_created":"2017-10-17T12:42:30Z","title":"Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time","publication":"Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA'13)","has_accepted_license":"1","author":[{"first_name":"Matthias","full_name":"Becker, Matthias","last_name":"Becker"},{"full_name":"Luckey, Markus","last_name":"Luckey","first_name":"Markus"},{"last_name":"Becker","full_name":"Becker, Steffen","first_name":"Steffen"}],"status":"public","date_updated":"2022-01-06T07:01:35Z","year":"2013","_id":"502","ddc":["040"],"abstract":[{"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.","lang":"eng"}],"doi":"10.1145/2465478.2465489","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2018-03-15T13:39:29Z","file_id":"1309","access_level":"closed","date_updated":"2018-03-15T13:39:29Z","file_size":320384,"file_name":"502-qosa33f.pdf","creator":"florida"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"user_id":"15504","citation":{"ama":"Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: <i>Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)</i>. ; 2013:43-52. doi:<a href=\"https://doi.org/10.1145/2465478.2465489\">10.1145/2465478.2465489</a>","chicago":"Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” In <i>Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)</i>, 43–52, 2013. <a href=\"https://doi.org/10.1145/2465478.2465489\">https://doi.org/10.1145/2465478.2465489</a>.","bibtex":"@inproceedings{Becker_Luckey_Becker_2013, title={Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, DOI={<a href=\"https://doi.org/10.1145/2465478.2465489\">10.1145/2465478.2465489</a>}, booktitle={Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2013}, pages={43–52} }","short":"M. Becker, M. Luckey, S. Becker, in: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 2013, pp. 43–52.","ieee":"M. Becker, M. Luckey, and S. Becker, “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time,” in <i>Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)</i>, 2013, pp. 43–52.","apa":"Becker, M., Luckey, M., &#38; Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In <i>Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)</i> (pp. 43–52). <a href=\"https://doi.org/10.1145/2465478.2465489\">https://doi.org/10.1145/2465478.2465489</a>","mla":"Becker, Matthias, et al. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” <i>Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)</i>, 2013, pp. 43–52, doi:<a href=\"https://doi.org/10.1145/2465478.2465489\">10.1145/2465478.2465489</a>."}}