Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures

TL;DR

This paper proposes a lightweight runtime verification method using event stream processing to improve failure detection in cloud management systems, demonstrated through evaluation on OpenStack.

Contribution

It introduces a novel, lightweight runtime verification approach tailored for cloud systems, enhancing failure detection capabilities.

Findings

High failure detection coverage achieved in OpenStack

Applicable to off-the-shelf distributed cloud systems

Effective for timely failure detection and notification

Abstract

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.