Software engineering for self-adaptive systems: Research challenges in the provision of assurances
The important concern for modern software systems is to become more cost-effective, while
being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable …
being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable …
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime
M Szvetits, U Zdun - Software & Systems Modeling, 2016 - Springer
In the context of software development, models provide an abstract representation of a
software system or a part of it. In the software development process, they are primarily used …
software system or a part of it. In the software development process, they are primarily used …
Automated verification techniques for probabilistic systems
This tutorial provides an introduction to probabilistic model checking, a technique for
automatically verifying quantitative properties of probabilistic systems. We focus on Markov …
automatically verifying quantitative properties of probabilistic systems. We focus on Markov …
Self-adaptive software needs quantitative verification at runtime
Self-adaptive software needs quantitative verification at runtime Page 1 SepteMBer 2012 | voL.
55 | No. 9 | CommuniCationS oF the aCm 69 SOFTWare iS BeCOMiNg the backbone of modern …
55 | No. 9 | CommuniCationS oF the aCm 69 SOFTWare iS BeCOMiNg the backbone of modern …
Engineering trustworthy self-adaptive software with dynamic assurance cases
Building on concepts drawn from control theory, self-adaptive software handles
environmental and internal uncertainties by dynamically adjusting its architecture and …
environmental and internal uncertainties by dynamically adjusting its architecture and …
Activforms: Active formal models for self-adaptation
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 …
dynamic operating conditions that are difficult to predict or changing goals. A common …
Using models at runtime to address assurance for self-adaptive systems
A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …
within the system or in its execution environment. The fulfillment of the system requirements …
Automated design of self-adaptive software with control-theoretical formal guarantees
Self-adaptation enables software to execute successfully in dynamic, unpredictable, and
uncertain environments. Control theory provides a broad set of mathematically grounded …
uncertain environments. Control theory provides a broad set of mathematically grounded …
Osprey: Recovery of variable and data structure via probabilistic analysis for stripped binary
Recovering variables and data structure information from stripped binary is a prominent
challenge in binary program analysis. While various state-of-the-art techniques are effective …
challenge in binary program analysis. While various state-of-the-art techniques are effective …
Supporting self-adaptation via quantitative verification and sensitivity analysis at run time
Modern software-intensive systems often interact with an environment whose behavior
changes over time, often unpredictably. The occurrence of changes may jeopardize their …
changes over time, often unpredictably. The occurrence of changes may jeopardize their …