| 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. |
- Bürger, Christoff, et al.
(författare)
-
Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-Tuning
- 2015
-
Ingår i: CEUR Workshop Proceedings (CEUR-WS.org). - 1613-0073. ; 1474, s. 31-40
-
Konferensbidrag (refereegranskat)abstract
- Cyber-physical systems react on events reported by sensors and interact with objects of the real world according to their current state and their view of the world. This view is naturally represented by a model which is continuously analysed and updated at runtime. Model analyses should be ideally concise and efficient, requiring well-founded, comprehensible implementations with efficient reasoning mechanisms. In this paper, we apply reference attribute grammar controlled rewriting to concisely implement the runtime model of an auto-tuning case study for energy optimization. Attribute functions are used to interactively perform analyses. In case of an update, our system incrementally—and, thus, efficiently—recomputes depending analyses. Since reference attribute grammar controlled rewriting builds the required dependency graphs automatically, incremental analysis comes for free.
|
|
| 3. |
|
|
| 4. |
- 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.
|
|
| 5. |
- Kienzle, J., et al.
(författare)
-
Toward model-driven sustainability evaluation
- 2020
-
Ingår i: Communications of the ACM. - : Association for Computing Machinery (ACM). - 0001-0782 .- 1557-7317. ; 63:3, s. 80-91
-
Forskningsöversikt (refereegranskat)abstract
- Exploring the vision of a model-based framework that may enable broader engagement with and informed decision making about sustainability issues.
|
|
| 6. |
- 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.
|
|
