论文标题
通过云计算中的事件流处理进行运行时验证
Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
论文作者
论文摘要
云管理系统中的软件错误通常会导致行为不稳定，阻碍检测和失败恢复。结果，未及时检测和通知故障，可以默默地通过系统传播。为了面对这些问题，我们提出了一种轻巧的方法来运行时验证，以监视和失败检测云计算系统。我们对OpenStack Cloud Management Platform（一个“现成”分布式系统）中提出的方法进行了初步评估，这表明该方法可以使用高故障检测覆盖范围应用。
Software bugs in cloud management systems often cause erratic behavior, hindering detection, and recovery of failures. As a consequence, the failures are not timely detected and notified, and can silently propagate through the system. To face these issues, we propose a lightweight approach to runtime verification, for monitoring and failure detection of cloud computing systems. We performed a preliminary evaluation of the proposed approach in the OpenStack cloud management platform, an "off-the-shelf" distributed system, showing that the approach can be applied with high failure detection coverage.
