101. Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
- Author
-
Roberto Natella, Angela Scibelli, Pietro Liguori, Luigi De Simone, Domenico Cotroneo, Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, Angela Scibelli, Cotroneo, D., De Simone, L., Liguori, P., Natella, R., and Scibelli, A.
- Subjects
Cloud management ,business.industry ,Computer science ,Distributed computing ,Runtime verification ,Cloud computing ,Fault injection ,Cloud computing system ,Cloud computing systems ,OpenStack ,Software bug ,Face (geometry) ,Event stream processing ,Runtime monitoring ,business - 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.
- Published
- 2021