A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The ful-fillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive

in normal human cognition (see Fiske& Taylor, 1984; In this article, we review research suggesting that certain illusions may be adaptive for mental health and well-being. In particular, we examine evidence that a set of interrelated positive illusions-namely, unrealistically positive self

the use of models at runtime for assurance of self-adaptive software systems. It defines what we understand by a model at2 Authors Suppressed Due to Excessive Length runtime, specifically for the purpose of assurance, and puts this definition into the context of existing work. We then outline selected

Abstract. An effective design of effective and efficient self-adaptive systems may rely on several existing approaches. Software models and model checking techniques at run time represent one of them since they support automatic reasoning about such changes, detect harmful configurations

simulations of a model of the actual system to provide on-the-fly suggestions to the scheduler for automated parameter adjustment. Detailed performance comparisons via simulation using actual supercomputing traces from the Parallel Workloads Archive indicate that this self-adaptive parameterization via online

One major challenge in self-adaptive systems is to assure the re-quired quality properties. Formal methods provide the means to rigorously specify and reason about the behaviors of self-adaptive systems, both at design time and runtime. To the best of our knowl-edge, no systematic study has been

of the adaptation components themselves, which is important to provide guarantees of correctness of the adaptation behavior (e.g., does the execute component execute the plan cor-rectly?). We propose Active FORmal Models for Self-adaptation (ActivFORMS) that uses an integrated formal model of the adap-tation

, languages, and techniques, e.g., for quality assurance, to be available. In this paper, we present a method for the specification of self-adaptive software systems using a UML based concern-specific modeling language called Adapt Case Modeling Lan-guage (ACML) that allows the separated and explicit

that combines: (1) seamless integration of offline and online verification (to deal with inherent limitations of verification), with (2) support for runtime evolution of the system (to deal with new or changing goals) is lacking. In this paper, we outline a new approach named Active FORmal Models of Self-adaptation

to occupy 50 % of developers ’ work time and to be one of the most challenging tasks performed by developers. To read and com-prehend code, developers have also to navigate the system at hand. During this process developers build their mental models of it. In general, all software engineering activities