Sökning: WFRF:(Andersson Thomas 1970)
> Linnéuniversitetet >
Challenges in compo...
Challenges in composing and decomposing assurances for self-adaptive systems
-
- Schmerl, Bradley (författare)
- Carnegie Mellon University, USA
-
- Andersson, Jesper, 1970- (författare)
- Linnéuniversitetet,Institutionen för datavetenskap och medieteknik (DM)
-
- Vogel, Thomas (författare)
- University of Potsdam, Germany
-
visa fler...
-
- Cohen, Myra B. (författare)
- University of Nebraska, USA
-
- Rubira, Cecilia M. F. (författare)
- University of Campinas, Brazil
-
- Brun, Yuriy (författare)
- University of Massachusetts, USA
-
- Gorla, Alessandra (författare)
- IMDEA Software Institute, Spain
-
- Zambonelli, Franco (författare)
- University of Modena and Reggio Emilia, Italy
-
- Baresi, Luciano (författare)
- Politecnico di Milano, Italy
-
visa färre...
-
(creator_code:org_t)
- 2018-01-18
- 2017
- Engelska.
-
Ingår i: Software Engineering for Self-Adaptive Systems III. Assurances.. - Cham : Springer. - 9783319741826 - 9783319741833 ; , s. 64-89
- Relaterad länk:
-
https://zenodo.org/r...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- 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
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas