寻找用于自主系统运行时高效验证的最佳划分策略
软件工程
2021-10-28 v1 形式语言与自动机理论
摘要
自主系统需要决定如何在运行时对变化做出高效反应。借助模型驱动方法在理论上可以严格地同时分析环境与系统；然而，模型规模与时限限制是此类自主决策过程的两大显著障碍。为解决该问题，可采用增量近似技术对模型进行划分，并仅验证受变更影响的划分块。本文提出一种基于策略的分析方法，基于所提出的两个度量——即平衡性（Balancing）与变异性（Variation）——在一组可用策略中寻找最佳划分策略。这些度量根据生成组件的大小与频率对增量近似方案产生的组件进行定量评估。我们通过一个关于能量收集系统的案例研究，从理论与实验两方面考察了该方法的合理性。结果证实了所提方法的有效性。
引用
@article{arxiv.2110.14040,
title = {Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime},
author = {Melika Dastranj and Mehran Alidoost Nia and Mehdi Kargahi},
journal= {arXiv preprint arXiv:2110.14040},
year = {2021}
}
备注
8 pages