[论文解读] Using Models at Runtime to Address Assurance for Self-Adaptive Systems

Betty H. C. Cheng, Kerstin Eder+11 more|arXiv (Cornell University)|May 5, 2015

Advanced Software Engineering Methodologies被引用 3

一句话总结

本文提出使用运行时模型（M@RT）以在自适应软件系统中实现持续保障，其中运行时自适应使传统部署前验证变得复杂。通过在执行过程中维护和分析可执行模型，该方法支持对系统行为与需求的动态验证，确保在运行时变化下仍保持正确性，并支持主动的自适应决策。

ABSTRACT

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 needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at development time, such as design analysis and testing. In the presence of selfadaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable continuous assurance throughout the software life cycle. Fundamental to the development of runtime assurance techniques is research into the use of models at runtime (M@RT). This chapter explores the state of the art for usingM@RT to address the assurance of self-adaptive software systems. It defines what information can be captured by M@RT, specifically for the purpose of assurance, and puts this definition into the context of existing work. We then outline key research challenges for assurance at runtime and characterize assurance methods. The chapter concludes with an exploration of selected application areas where M@RT could provide significant benefits beyond existing assurance techniques for adaptive systems.

研究动机与目标

• 解决在自适应系统中确保系统正确性和需求满足的挑战，其中运行时自适应引入了不确定性。
• 克服传统开发时保障技术的局限性，这些技术无法考虑运行时行为的变化。
• 通过在运行时集成基于模型的技术，实现在软件生命周期中的持续保障。
• 识别并描述使用模型实现运行时保障的关键研究挑战。
• 展示M@RT在需要在动态条件下保持高可靠性的应用领域中的潜力。

提出的方法

• 利用在系统执行过程中持续维护和更新的可执行模型（M@RT），以反映运行时状态和自适应决策。
• 集成模型检测和运行时验证技术，在执行时验证系统行为是否符合形式化规范。
• 使用模型转换和运行时监控，将系统状态与模型语义相关联，并检测偏差。
• 通过分析基于模型的预测和从需求中推导出的约束，支持自适应决策。
• 采用形式化语义和模型执行环境，确保模型与实际系统行为之间的一致性。
• 应用将模型管理与应用逻辑解耦的架构模式，以实现模块化和可扩展的保障。

实验结果

研究问题

• RQ1 如何在运行时有效使用模型以支持自适应系统中的保障？
• RQ2 运行时模型能够捕获哪些信息以支持保障，这与开发时建模有何不同？
• RQ3 通过M@RT实现持续保障的关键研究挑战是什么？
• RQ4 现有保障技术在自适应系统背景下存在哪些不足，M@RT如何克服这些局限？
• RQ5 在哪些应用领域中，M@RT能为传统保障方法提供可衡量的优势？

主要发现

• 运行时模型能够捕获动态系统状态、自适应决策和行为约束，从而实现实时的系统行为验证。
• M@RT通过在执行期间支持形式化分析和运行时验证，实现持续保障。
• 在运行时集成模型可实现对需求违规的主动检测，防止其导致系统故障。
• 该方法通过在变化条件下提供可追溯的、形式化的正确性证据，增强了系统可靠性。
• 在工业控制系统和云环境等领域的应用表明，M@RT在适应性和精确性方面优于传统保障技术。
• 本章识别出关键挑战，如模型一致性、性能开销和工具支持，这些仍需进一步研究。