| 1. |
- Schmerl, Bradley, et al.
(författare)
-
Challenges in composing and decomposing assurances for self-adaptive systems
- 2017
-
Ingår i: Software Engineering for Self-Adaptive Systems III. Assurances.. - Cham : Springer. - 9783319741826 - 9783319741833 ; , s. 64-89
-
Bokkapitel (refereegranskat)abstract
- 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.
|
|
| 2. |
- Weyns, Danny, et al.
(författare)
-
Perpetual assurances for self-adaptive systems
- 2017
-
Ingår i: Software Engineeringfor Self-Adaptive Systems III, Assurances. - Cham : Springer. - 9783319741826 - 9783319741833 ; , s. 31-63
-
Bokkapitel (refereegranskat)abstract
- Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation. © Springer International Publishing AG 2017.
|
|
| 3. |
- Cardellini, Valeria, et al.
(författare)
-
MOSES : A platform for experimenting with qos-driven self-adaptation policies for service oriented systems
- 2017
-
Ingår i: Lecture Notes in Computer Science. - Cham : Springer Verlag. - 9783319741826 ; , s. 409-433
-
Konferensbidrag (refereegranskat)abstract
- Architecting software systems according to the service-oriented paradigm, and designing runtime self-adaptable systems are two relevant research areas in today’s software engineering. In this chapter we present MOSES, a software platform supporting QoS-driven adaptation of service-oriented systems. It has been conceived for service-oriented systems architected as composite services that receive requests generated by different classes of users. MOSES integrates within a unified framework different adaptation mechanisms. In this way it achieves a greater flexibility in facing various operating environments and the possibly conflicting QoS requirements of several concurrent users. Besides providing its own self-adaptation functionalities, MOSES lends itself to the experimentation of alternative approaches to QoS-driven adaptation of service-oriented systems thanks to its modular architecture. © Springer International Publishing AG 2017.
|
|
