| 1. |
- Andersson, Jesper, et al.
(författare)
-
Software Engineering Processes for Self-adaptive Systems
- 2013
-
Ingår i: Software Engineering for Self-Adaptive Systems International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers. - Berlin, Heidelberg : Springer. - 9783642358128 - 9783642358135 ; , s. 51-75
-
Bokkapitel (refereegranskat)abstract
- In this paper, we discuss how for self-adaptive systems someactivities that traditionally occur at development-time are moved to runtime. Responsibilities for these activities shift from software engineers tothe system itself, causing the traditional boundary between development time and run-time to blur. As a consequence, we argue how the traditional software engineering process needs to be reconceptualized to distinguishvboth development-time and run-time activities, and to support designers in taking decisions on how to properly engineer such systems.Furthermore, we identify a number of challenges related to this required reconceptualization, and we propose initial ideas based on process modeling.We use the Software and Systems Process Engineering Meta-Model(SPEM) to specify which activities are meant to be performed o-line andon-line, and also the dependencies between them. The proposed models should capture information about the costs and benets of shifting activitiesto run-time, since such models should support software engineers in their decisions when they are engineering self-adaptive systems.
|
|
| 2. |
- Baresi, Luciano, et al.
(författare)
-
Building Software for the Internet of Things
- 2015. - 9
-
Ingår i: IEEE Internet Computing. - 1089-7801 .- 1941-0131. ; 19:2, s. 6-8
-
Tidskriftsartikel (refereegranskat)abstract
- The guest editors present a special issue on building software for the Internet of Things (IoT).
|
|
| 3. |
|
|
| 4. |
- Baresi, Luciano, et al.
(författare)
-
Model-Driven Management of Services
- 2010
-
Ingår i: 2010 IEEE 8th European Conference on Web Services (ECOWS). - : IEEE Press. - 9780769543109 ; , s. 147-154
-
Konferensbidrag (refereegranskat)abstract
- Applications are increasingly composed of remote services provided by independent parties. This distributed ownership makes it problematic to measure and control quality of service indicators.Management activities must become an integral part of the system's development process, from requirements elicitation, where users identify the quality dimensions of interest, to the implementation, where the actual composition must be paired with suitable means for its run-time management. This paper presents MDMS (Model-Driven Management of Services), a model-driven approach for engineering manageable services. The approach supports the explicit modeling of quality dimensions,management objectives, and key performance indicators, and the transformations required to exploit these concepts at runtime. The methodology is supported by ECo Ware, an innovative prototype framework for the deployment and operation of managed services.
|
|
| 5. |
- de Lemos, Rogerio, et al.
(författare)
-
Software Engineering for Self-Adaptive Systems : A Second Research Roadmap
- 2013
-
Ingår i: Software Engineering for Self-Adaptive Systems II. - Berlin, Heidelberg : Springer. - 9783642358128 ; , s. 1-32
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.
|
|
| 6. |
- Filieri, Antonio, et al.
(författare)
-
Reliability-driven dynamic binding via feedback control
- 2012
-
Ingår i: 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). - 9781467317887 ; , s. 43-52
-
Konferensbidrag (refereegranskat)abstract
- We are concerned with software that can self-adapt to satisfy certain reliability requirements, in spite of adverse changes affecting the environment in which it is embedded. Self-adapting software architectures are heavily based on dynamic binding. The bindings among components are dynamically set as the conditions that require a self-adaptation are discovered during the system's lifetime. By adopting a suitable modeling approach, the dynamic binding problem can be formulated as a discrete-time feedback control problem, and solved with very simple techniques based on linear blocks. Doing so, reliability objectives are in turn formulated as set point tracking ones in the presence of disturbances, and attained without the need for optimization. At design time, the proposed formulation has the advantage of naturally providing system sizing clues, while at operation time, the inherent computational simplicity of the obtained controllers results in a low overhead. Finally, the formulation allows for a rigorous assessment of the achieved results in both nominal and off-design conditions for any desired operation point.
|
|
| 7. |
- Gil de la Iglesia, Didac, 1981-
(författare)
-
A Formal Approach for Designing Distributed Self-Adaptive Systems
- 2014
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability of resources, errors that are difficult to predict, and changing user requirements. These dynamics can affect a number of quality concerns of a system, such as robustness, openness, and performance. The challenges of engineering software systems with such dynamics have motivated the need for self-adaptation. Self-adaptation is based on the principle of separation of concerns, distinguishing two well defined systems: a managed system that deals with domain specific concerns and a managing system that deals with particular quality concerns of the managed system through adaptation with a feedback loop. State of the art in self- adaptation advocates the use of formal methods to specify and verify the system's behavior in order to provide evidence that the system's goals are satisfied. However, little work has been done on the consolidation of design knowledge to model and verify self-adaptation behaviors.To support designers, this thesis contributes with a set of formally specified templates for the specification and verification of self-adaptive behaviors of a family of distributed self-adaptive systems. The templates are based on the MAPE-K reference model (Monitor-Analyze-Plan-Execute plus Knowledge). The templates comprise: (1) behavior specification patterns for modeling the different MAPE components of a feedback loop, and (2) property specification patterns that support verification of the correctness of the adaptation behaviors. The target domain are distributed applications in which self-adaptation is used for managing resources for robustness and openness requirements. The templates are derived from expertise with developing several self-adaptive systems, including a collaborative mobile learning application in which we have applied self-adaptation to make the system robust to degrading GPS accuracy, and a robotic system in which we apply self-adaptation to support different types of openness requirements. We demonstrate the reusability of the templates in a number of case studies.
|
|
| 8. |
|
|
| 9. |
- 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.
|
|
