期刊
IEEE ACCESS
卷 10, 期 -, 页码 52525-52536出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/ACCESS.2022.3175505
关键词
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
This research paper proposes a method to integrate the RuVa algorithm with the FaMa tool suite to dynamically check feature constraints and modify the variability model of context-aware systems.
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据