Results 1 - 10
of
1,143
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
, 2014
"... 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-a ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
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
Illusion and well-being: A social psychological perspective on mental health.
- Psychological Bulletin,
, 1988
"... Many prominent theorists have argued that accurate perceptions of the self, the world, and the future are essential for mental health. Yet considerable research evidence suggests that overly positive selfevaluations, exaggerated perceptions of control or mastery, and unrealistic optimism are charac ..."
Abstract
-
Cited by 988 (20 self)
- Add to MetaCart
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
Assurance using Models at Runtime for Self-Adaptive Software Systems
, 2014
"... A self-adaptive software systems modify their behaviour at runtime in response to changes in the system or its environment. The fulfilment of the system requirements and reachability of the system goals needs to be guaranteed even in the presence of adaptations. Thus, a key challenge for self-adapti ..."
Abstract
- Add to MetaCart
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
Probabilistic verification at runtime for self-adaptive systems
- Institute for Software Technology (ISTE) University of Stuttgart
, 2013
"... 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, and poten ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
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
Self-adaptive scheduler parameterization
, 2005
"... High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often unique to each system. Although thoroughly investigated, job scheduling for production systems remains an inexact science ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
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
A survey of formal methods in self-adaptive systems
- In Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E ’12
, 2012
"... 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 per ..."
Abstract
-
Cited by 6 (1 self)
- Add to MetaCart
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
D.: Activforms: Active formal models for self-adaptation
- In: SEAMS’14
"... Self-adaptation enables a software system to deal autonomously with uncertainties, such as dynamic operating conditions that are difficult to predict or changing goals. A common approach to real-ize self-adaptation is with a MAPE-K feedback loop that consists of four adaptation components: Monitor, ..."
Abstract
-
Cited by 7 (3 self)
- Add to MetaCart
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
High-quality specification of self-adaptive software systems
- In 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’13
, 2013
"... Abstract—Today’s software systems have to cope with changing environments while at the same time facing high non-functional requirements such as flexibility and dependability. Recently, these non-functional requirements are addressed using self-adaptivity features, that is, the system monitors its e ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
, 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
Assuring System Goals under Uncertainty with Active Formal Models of Self-Adaptation
"... Designing software systems with uncertainties, such as incomplete knowledge about changing system goals, is challenging. One ap-proach to handle uncertainties is self-adaptation, where a system consists of a managed system and a managing system that realizes a feedback loop. The promise of self-adap ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
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
Towards Self-Adaptive IDEs
- in Proceedings of ICSME 2014 (30th International Conference on Software Maintenance and Evolution), Doctoral Symposium
"... velopers with tools and facilities to support development activi-ties. Developers use IDEs to read, understand, and write source code. Research showed that they spend more time reading source code than writing it. Reading code is the foundation of program understanding, which has been estimated to o ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
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
Results 1 - 10
of
1,143