.png){kind=icon}
返回
RuVa: A Runtime Software Variability Algorithm
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2022.3175505.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Context-aware and smart systems that require runtime reconfiguration to cope with changes in the environment increasingly demand variability management mechanisms that can address runtime concerns. In recent years, we have witnessed new dynamic variability solutions using dynamic software product line (DSPL) approaches. However, while few solutions proposed so far have addressed the need to add, change and remove variants dynamically, none of them provide a way to check the constraints between features at runtime. Because all SAT solvers perform variability constraint checking in off-line mode, we suggest in this ongoing research paper the integration of RuVa, a runtime variability algorithm, with the FaMa tool suite to check feature constraints dynamically before a new feature is added or an existing feature is removed. This research suggests a novel approach to modifying the variability model of context-aware systems dynamically and check the feature constraints on the fly. We integrate our solution with a SAT solver that can be invoked at runtime by a cyber-physical system. We validate the effectiveness and performance of the proposed algorithm using simulations. We also provide a proof-of-concept for updating the configuration of a robot's variability model based on contextual changes.
Keyword:
Runtime
Robots
Adaptation models
Software
Context modeling
Behavioral sciences
Vehicle dynamics
Software variability
runtime variability
dynamic software product lines
feature model
context features
reconfiguration
robots
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
A formal framework for the study of the notion of undefined particle number in quantum mechanics.png)
Synthese
OAAI
SyntheseIF0
OAAI分享收藏分享收藏
查看更多内容