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
Challenges in composing and decomposing assurances for self-adaptive systems
Carnegie Mellon University, USA.
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0001-5471-551x
University of Potsdam, Germany.
University of Nebraska, USA.
Show others and affiliations
2017 (English)In: Software Engineering for Self-Adaptive Systems III. Assurances., Springer, 2017, p. 64-89Chapter in book (Refereed)
Abstract [en]

Self-adaptive software systems adapt to changes in the environment, in the system itself, in their requirements, or in their business objectives. Typically, these systems attempt to maintain system goals at run time and often provide assurance that they will meet their goals under dynamic and uncertain circumstances. While significant research has focused on ways to engineer self-adaptive capabilities into both new and legacy software systems, less work has been conducted on how to assure that self-adaptation maintains system goals. For traditional, especially safety-critical software systems, assurance techniques decompose assurances into sub-goals and evidence that can be provided by parts of the system. Existing approaches also exist for composing assurances, in terms of composing multiple goals and composing assurances in systems of systems. While some of these techniques may be applied to self-adaptive systems, we argue that several significant challenges remain in applying them to self-adaptive systems in this chapter. We discuss how existing assurance techniques can be applied to composing and decomposing assurances for self-adaptive systems, highlight the challenges in applying them, summarize existing research to address some of these challenges, and identify gaps and opportunities to be addressed by future research. © Springer International Publishing AG 2017.

Place, publisher, year, edition, pages
Springer, 2017. p. 64-89
Series
Lecture Notes in Computer Science, ; 9640
Keywords [en]
Computer software, Engineering research, Legacy systems, Safety engineering, Software engineering, Business objectives, Legacy software, Safety-critical software systems, Self adaptation, Self adaptive capabilities, Self-adaptive software systems, Self-adaptive system, Systems of systems, Adaptive systems
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-85096DOI: 10.1007/978-3-319-74183-3_3Scopus ID: 2-s2.0-85041856550ISBN: 9783319741826 (print)ISBN: 978-3-319-74183-3 (electronic)OAI: oai:DiVA.org:lnu-85096DiVA, id: diva2:1336972
Conference
15 December 2013 through 19 December 2013
Note

Conference code: 210089; Export Date: 11 June 2019; Conference Paper

Available from: 2019-07-11 Created: 2019-07-11 Last updated: 2019-09-02Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Andersson, Jesper

Search in DiVA

By author/editor
Andersson, Jesper
By organisation
Department of computer science and media technology (CM)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
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