Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
This addresses failure detection and recovery issues in cloud computing infrastructures, but appears incremental as it builds on existing runtime verification methods.
The paper tackles the problem of software bugs in cloud management systems causing erratic behavior and proposes a lightweight runtime verification approach for monitoring and failure detection, showing high failure detection coverage in a preliminary evaluation on OpenStack.
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.