Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
Software Engineering
2022-03-09 v1
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.
Cite
@article{arxiv.2010.06607,
title = {Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures},
author = {Domenico Cotroneo and Luigi De Simone and Pietro Liguori and Roberto Natella and Angela Scibelli},
journal= {arXiv preprint arXiv:2010.06607},
year = {2022}
}
Comments
International Workshop on Artificial Intelligence for IT Operations, 14 December 2020