RVElastic: a Runtime Verification Framework for Microservice Systems

Download PDF
Open Webpage

Stefano Murino, Angelo Ferrando, Giacomo Cabri

Published: 01 Jan 2024, Last Modified: 04 Oct 2025WETICE 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This paper proposes RVElastic, a Runtime Verification prototype framework for monitoring microservice systems. We present its general architecture and report a possible instantiation wherein Apache Kafka is utilised to create the system and its instrumentation, while OpenSearch is employed as a means to analyse and visualise the verification results. We experiment with RVElastic on a simple case study as a proof of concept and report the results in terms of the overhead introduced by the addition of monitors in the microservice system.