配置监控器综合

系统的可观测行为通常携带有关其内部状态、属性和潜在未来行为的有用信息。在本文中，我们引入了配置监控，以基于对系统行为的观测来确定正在运行的系统的未知配置。我们开发了一个模块化且通用的流水线，从待监控的可配置系统的特征转移系统模型中综合出基于自动机理论的配置监控器。该流水线进一步允许在部分可观测性和网络诱导丢失下进行综合，并支持将系统潜在未来行为考虑在内的预测性配置监控器。除了配置监控的新颖应用外，我们还表明我们的方法也推广并统一了关于运行时监控和故障诊断的现有工作，它们分别旨在检测属性的满足或违反以及故障的发生。我们通过一个案例研究实证证明了我们方法的有效性，该案例研究基于从可配置系统社区基准综合出的配置监控器。