Reducing run-time adaptation space via analysis of possible utility bounds
Reducing run-time adaptation space via analysis of possible utility bounds
复制标题
通过分析可能的效用界限来减少运行时适应空间
DOI：
10.1145/3377811.3380365
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Bagheri, Hamid
中科院分区：
文献类型：
--
作者：
Stevens, Clay;Bagheri, Hamid
自适应系统通常使用动态编程或类似技术来在运行时选择最优适应。这些技术受到“维度诅咒”的影响，增加了运行时适应决策的成本。我们提出了一种新的方法，它改进了最先进的主动自适应技术，以减少每个运行时适应决策需要考虑的可能适应的数量。该方法在一个名为Thallium的工具中实现，使用自动形式建模技术的组合来(I)分析系统的结构模型，显示哪些配置可以从其他配置到达，以及(Ii)计算在最好和最坏情况下的有界水平上的最优适应可以产生的效用。然后，它使用这些优化的边界来构建三角形可能性值，以自动比较每个配置的相邻适应，只保留具有最佳潜在结果范围的备选方案。实验结果证实了Thalum有能力显著减少每个适应决策需要考虑的状态数量，从而在运行时释放重要资源。
Self-adaptive systems often employ dynamic programming or similar techniques to select optimal adaptations at run-time. These techniques suffer from the "curse of dimensionality", increasing the cost of run-time adaptation decisions. We propose a novel approach that improves upon the state-of-the-art proactive self-adaptation techniques to reduce the number of possible adaptations that need be considered for each run-time adaptation decision. The approach, realized in a tool called Thallium, employs a combination of automated formal modeling techniques to (i) analyze a structural model of the system showing which configurations are reachable from other configurations and (ii) compute the utility that can be generated by the optimal adaptation over a bounded horizon in both the best- and worst-case scenarios. It then constructs triangular possibility values using those optimized bounds to automatically compare adjacent adaptations for each configuration, keeping only the alternatives with the best range of potential results. The experimental results corroborate Thallium's ability to significantly reduce the number of states that need to be considered with each adaptation decision, freeing up vital resources at run-time.