[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3578245.3585028acmconferencesArticle/Chapter ViewAbstractPublication PagesicpeConference Proceedingsconference-collections
research-article

Design-time Performability Evaluation of Runtime Adaptation Strategies (Work In Progress Paper)

Published: 15 April 2023 Publication History

Abstract

Performability is the classic metric for performance evaluation of static systems in case of failures. Compared to static systems, Self-Adaptive Systems (SASs) are inherently more complex due to their constantly changing nature. Thus software architects are facing more complex design decisions which are preferably evaluated at design-time. Model-Based Quality Analysis (MBQA) provides valuable support by putting software architects in a position to take well-founded design decisions about software system quality attributes over the whole development phase of a system. We claim that combining methods from MBQA and established performability concepts support software architects in this decision making process to design effective fault-tolerant adaptation strategies. Our contribution is a model-based approach to evaluate performability-oriented adaptation strategies of SAS at design-time. We demonstrate the applicability of our approach by a proof-of-concept.

References

[1]
Palladio-addons failurescenario. https://github.com/PalladioSimulator/Palladio- Addons-FailureScenario (2021 (accessed December 11, 2022))
[2]
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11--33 (jan 2004). https://doi.org/10.1109/tdsc.2004.2
[3]
Becker, M.W.: Engineering self-adaptive systems with simulation-based performance prediction. Ph.D. thesis (2017). https://doi.org/10.17619/UNIPB/1--133
[4]
Cámara, J., Schmerl, B., Moreno, G.A., Garlan, D.: MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs 25(3), 595--626. https://doi.org/10.1007/s10515-018-0234--9
[5]
Cheng, S.W., Garlan, D., Schmerl, B.: Evaluating the effectiveness of the rainbow self-adaptive system. In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. IEEE (2009). https://doi.org/10.1109/seams.2009.5069082
[6]
Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: Software Engineering for Self-Adaptive Systems II, pp. 214--238. Springer (2013)
[7]
Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46--54 (oct 2004). https://doi.org/10.1109/mc.2004.175
[8]
Grassi, V., Mirandola, R., Sabetta, A.: A model-driven approach to performability analysis of dynamically reconfigurable component-based systems. In: Proceedings of the 6th international workshop on Software and performance - WOSP '07. ACM Press (2007). https://doi.org/10.1145/1216993.1217011
[9]
Haverkort, B.R.: Performability modelling : techniques and tools. Wiley, Chichester+(2001)
[10]
Howard, R.A.: Dynamic probabilistic systems, vol. 2: Semi-Markov and decision processes. Wiley, New York [u.a.] (1971)
[11]
Lehmann, J.: Modeling and Simulating Dependent Failure Scenarios using Palladio. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), Karlsruhe (2021)
[12]
Meyer, J.F.: On evaluating the performability of degradable computing systems. IEEE Transactions on Computers C-29(8), 720--731 (aug 1980). https://doi.org/10.1109/tc.1980.1675654
[13]
Moreno, G.A., Cámara, J., Garlan, D., Schmerl, B.: Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In: Proceedings of the 2015 10th joint meeting on foundations of software engineering. pp. 1--12 (2015)
[14]
Moreno, J.C., Lopes, A., Garlan, D., Schmerl, B.: Impact models for architecture-based self-adaptive systems. In: Formal Aspects of Component Software. Springer International Publishing (2015). https://doi.org/10.1007/978--3--319--15317--9_6
[15]
Rapp, M., Scheerer, M., Reussner, R.: Design-time performability optimization of runtime adaptation strategies. In: Companion of the 2022 ACM/SPEC International Conference on Performance Engineering. p. 113--120. ICPE '22, Association for Computing Machinery, New York, NY, USA (2022). https://doi.org/10.1145/3491204.3527471
[16]
Reussner, R.H., Becker, S., Happe, J., Heinrich, R., Koziolek, A., Koziolek, H., Kramer, M., Krogmann, K.: Modeling and Simulating Software Architectures -- The Palladio Approach. MIT Press, Cambridge, MA (10 2016)
[17]
Scheerer, M., Rapp, M., Reussner, R.: Design-time validation of runtime reconfiguration strategies: An environmental-driven approach. In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE (aug 2020). https://doi.org/10.1109/acsos49614.2020.00028
[18]
Scheerer, M., Reussner, R.: Reliability prediction of self-adaptive systems managing uncertain ai black-box components. In: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE (2021)
[19]
Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications. John Wiley & Sons, Inc., 2nd edn. (sep 2016). https://doi.org/10.1002/9781119285441
[20]
Weyns, D.: An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. WILEY IEEE COMPUTER SOC PR (2020)

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ICPE '23 Companion: Companion of the 2023 ACM/SPEC International Conference on Performance Engineering
April 2023
421 pages
ISBN:9798400700729
DOI:10.1145/3578245
Publication rights licensed to ACM. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 April 2023

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Markov decision process
  2. design-time analysis
  3. fault-tolerant self-adaptation strategies
  4. model-based quality analysis
  5. performability
  6. self-adaptive systems

Qualifiers

  • Research-article

Funding Sources

  • German Federal Ministry for Economic Affairs and Climate Action

Conference

ICPE '23

Acceptance Rates

Overall Acceptance Rate 252 of 851 submissions, 30%

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 47
    Total Downloads
  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)0
Reflects downloads up to 08 Mar 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media