关于一种形式化基础的基于模型的工程化自适应系统方法的报告
软件工程
2021-12-14 v1
摘要
自适应系统自我管理以应对只能在运行时解决的各类不确定性。实现自适应的一种常见方法是为系统添加反馈环，监控并调整系统以实现一组自适应目标。ActivFORMS（Active FORmal Models for Self-adaptation）提供了一种端到端的工程化自适应系统方法。ActivFORMS依赖于由形式化验证模型组成的反馈环，这些模型在运行时直接部署并执行以实现自适应。在运行时，该方法依赖统计验证技术，可高效分析可行的自适应选项。此外，ActivFORMS支持自适应目标的即时变更以及验证模型的更新以满足新目标。ActivFORMSi提供了ActivFORMS的工具支持实例。该方法已使用面向建筑安全监控的IoT应用进行了验证。本报告为论文“ActivFORMS：一种形式化基础的基于模型的工程化自适应系统方法”[Weyns and Iftikhar 2019]提供了补充材料。
关键词
引用
@article{arxiv.2112.06198,
title = {Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems},
author = {Danny Weyns and Usman Iftikhar},
journal= {arXiv preprint arXiv:2112.06198},
year = {2021}
}
备注
18 pages. arXiv admin note: substantial text overlap with arXiv:1908.11179