---
_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'
...