Downloads provided by UsageCounts
Many modern software systems continuously reconfigure themselves to (self-)adapt to ever-changing environmental contexts. Selecting presumably best-fitting next configurations is, however, very challenging, depending on functional and non-functional criteria like real-time constraints as well as inherently uncertain future contexts which makes greedy one-step decision heuristics ineffective. In our SoSyM paper, we propose a game-theoretic setting for precomputing reconfiguration decisions under partially uncertain real-time behavior. We employ stochastic priced timed game automata as reconfiguration model to derive winning strategies which enable the first player (the system) to make fast look-ups for presumably best-fitting reconfiguration decisions satisfying the second player (the context). The corresponding artifact facilitates to derive strategies for a given system specification and to analyze the resulting strategies based on the model checker Uppaal Stratego. In our approach, a specification consists of a context feature model in the file format of FeatureIDE (XML) and a set of real-time constraints (RRCL) modeling a self-adaptive system with additional real-time constraints. Based on such a specification our tool constructs a corresponding timed game automaton. Afterwards, the timed game automaton can be analyzed by means of the model checker Uppaal Stratego. This comprises synthesizing, optimizing and model checking reconfiguration strategies.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 9 | |
| downloads | 4 |

Views provided by UsageCounts
Downloads provided by UsageCounts