# Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures

arXiv: https://arxiv.org/abs/2010.06607 · HTML: https://mlsanity.com/paper/2010.06607/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 13 Oct 2020.

## Built on by (most cited first, 1 of 1)

- [Artificial Intelligence for IT Operations (AIOPS) Workshop White Paper](https://mlsanity.com/paper/2101.06054/) (2021)

## Abstract (arXiv)

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.