poster

QUAASY: QUality Assurance of Adaptive SYstems

Authors:

Markus Luckey,

Christian Gerth,

Christian Soltenborn,

Gregor EngelsAuthors Info & Claims

ICAC '11: Proceedings of the 8th ACM international conference on Autonomic computing

Pages 179 - 180

https://doi.org/10.1145/1998582.1998617

Published: 14 June 2011 Publication History

Get Access

Abstract

The emerging approach to tackle the increasing complexity of today's software systems is the use of self-adaptation techniques. Modeling and implementing adaptivity features is a burdensome and error-prone task that potentially results in erroneous system models. As a consequence, quality analysis and assurance must be considered early in the development of self-adaptive systems.

We propose a quality assurance approach for self-adaptive systems in terms of an integrated modeling and analysis approach, which helps identifying errors in modeled self-adaptive systems early in the design process. We employ a modeling language for self-adaptive systems including adaptation rules and formally define their semantics. Given the language and its formal semantics, we formulate quality properties, such as fairness of the specified adaptation rule system. These quality properties are verified using a model checking approach.

References

[1]

B. Cheng et al. Software Engineering for Self-Adaptive Systems: A Research Road Map. In Software Engineering for Self-Adaptive Systems, number 08031 in Dagstuhl Seminar Proceedings, Dagstuhl, 2008.

Digital Library

Google Scholar

[2]

G. Engels et al. Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In UML'00, volume 1939 of LNCS, pages 323--337. Springer, 2000.

Digital Library

Google Scholar

[3]

G. Engels et al. Analysis of UML Activities Using Dynamic Meta Modeling. In FMOODS '07, volume 4468 of LNCS, pages 76--90. Springer, 2007.

Digital Library

Google Scholar

[4]

M. Luckey et al. Adapt cases: Extending use cases for adaptive systems. In SEAMS '11, ICSE '11 Symposium, 2011.

Digital Library

Google Scholar

[5]

A. Rensink. The GROOVE Simulator: A Tool for State Space Generation. pages 479--485, 2004.

Google Scholar

Cited By

View all

Han DXing JYang QWang HZhang X(2016)Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2016.118(474-481)Online publication date: Jun-2016
https://doi.org/10.1109/COMPSAC.2016.118
Markov GFröhlich J(2015)An Ecosystem Approach for Testing Self-Organizing, Adaptive SystemsProceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2015.24(120-121)Online publication date: 21-Sep-2015
https://dl.acm.org/doi/10.1109/SASOW.2015.24
Becker MLuckey MBecker SKruchten PKoziolek ANord R(2013)Performance analysis of self-adaptive systems for requirements validation at design-timeProceedings of the 9th international ACM Sigsoft conference on Quality of software architectures10.1145/2465478.2465489(43-52)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465478.2465489
Show More Cited By

Index Terms

QUAASY: QUality Assurance of Adaptive SYstems
1. Software and its engineering
  1. Software organization and properties
    1. Software functional properties
      1. Formal methods
        Model checking
2. Theory of computation
  1. Logic
    1. Verification by model checking

Recommendations

QA to AQ part four: shifting from quality assurance to agile quality: "prioritizing qualities and making them visible"
PLoP '15: Proceedings of the 22nd Conference on Pattern Languages of Programs

As organizations transition to agile processes, Quality Assurance (QA) activities and attention to system quality need to evolve along with the evolution of development practices. Agile quality teams incrementally deliver working software while ensuring ...
Information and Quality Assurance: An Unsolved, Perpetual Problem for Past and Future Generations

Quality assurance is well understood in the hardware/manufacturing community but not necessarily within the software community. The meaning of Information assurance depends on who you ask; those in the computer security field interpret information ...
Multi-Staged Quality Assurance for Self-Adaptive Systems
SASOW '12: Proceedings of the 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops

The emerging approach to tackle the increasing complexity of today's software systems is the use of self-adaptation techniques. Most often, self-adaptation is introduced in terms of externalized adaptation rules (e.g. event-condition-action rules). ...

Comments

Information & Contributors

Information

Published In

ICAC '11: Proceedings of the 8th ACM international conference on Autonomic computing

June 2011

278 pages

ISBN:9781450306072

DOI:10.1145/1998582

General Chairs:
Hartmut Schmeck
Karlsruhe Institute of Technology, Germany
,
Wolfgang Rosenstiel
University of Tübingen, Germany
,
Program Chairs:
Tarek Abdelzaher
University of Illinois at Urbana-Champaign, USA
,
Joseph Hellerstein
Google, USA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Poster

Conference

ICAC '11

Sponsor:

University of Arizona
SIGARCH

ICAC '11: 8th International Conference on Autonomic Computing

June 14 - 18, 2011

Karlsruhe, Germany

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
147
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Han DXing JYang QWang HZhang X(2016)Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2016.118(474-481)Online publication date: Jun-2016
https://doi.org/10.1109/COMPSAC.2016.118
Markov GFröhlich J(2015)An Ecosystem Approach for Testing Self-Organizing, Adaptive SystemsProceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2015.24(120-121)Online publication date: 21-Sep-2015
https://dl.acm.org/doi/10.1109/SASOW.2015.24
Becker MLuckey MBecker SKruchten PKoziolek ANord R(2013)Performance analysis of self-adaptive systems for requirements validation at design-timeProceedings of the 9th international ACM Sigsoft conference on Quality of software architectures10.1145/2465478.2465489(43-52)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465478.2465489
Becker MLuckey MBecker SGrassi VMirandola RBuhnova BVallecillo A(2012)Model-driven performance engineering of self-adaptive systemsProceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures10.1145/2304696.2304716(117-122)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2304696.2304716
Luckey MThanos CGerth CEngels G(2012)Multi-Staged Quality Assurance for Self-Adaptive SystemsProceedings of the 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2012.28(111-118)Online publication date: 10-Sep-2012
https://dl.acm.org/doi/10.1109/SASOW.2012.28

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

QA to AQ part four: shifting from quality assurance to agile quality: "prioritizing qualities and making them visible"

Information and Quality Assurance: An Unsolved, Perpetual Problem for Past and Future Generations

Multi-Staged Quality Assurance for Self-Adaptive Systems