lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (Software Technology Labs)ORCID iD: 0000-0002-1162-0817
2012 (English)In: Proceeding of the 2012 Workshop on Dynamic Analysis, ACM Press, 2012, 24-29 p.Conference paper, Published paper (Refereed)
Abstract [en]

Self-adaptation has been widely recognized as an effective approach to deal with the increasing complexity and dynamicity of modern software systems. One major challenge in self-adaptive systems is to provide guarantees about the required runtime qualities, such as performance and reliability. Existing research employs formal methods either to provide guarantees about the design of a self-adaptive systems, or to perform runtime analysis supporting adaptations for particular quality goals. Yet, work products of formalization are not exploited over different phases of the software life cycle. In this position paper, we argue for an integrated formally founded approach to validate the required software qualities of self-adaptive systems. This approach integrates three activities: (1) model checking of the behavior of a self-adaptive system during design, (2) model-based testing of the concrete implementation during development, and (3) runtime diagnosis after system deployment. We illustrate the approach with excerpts of an initial study and discuss for each activity research challenges ahead.

Place, publisher, year, edition, pages
ACM Press, 2012. 24-29 p.
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:lnu:diva-19231DOI: 10.1145/2338966.2336803OAI: oai:DiVA.org:lnu-19231DiVA: diva2:530132
Conference
10th International Workshop on Dynamic Analysis, WODA,
Available from: 2012-06-01 Created: 2012-06-01 Last updated: 2016-12-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Weyns, Danny
By organisation
School of Computer Science, Physics and Mathematics
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 118 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf