ZELVE
Full Title
Zero-Execution Logic Validation and Energy Estimation for Microservice CI/CDDescription
ZELVE (Zero-Execution Logic Validation and Energy Estimation for Microservice CI/CD) proposes static, pre-deployment validation of inter-service correctness and energy efficiency in microservice systems. Today, problems such as provider-consumer schema incompatibilities, dependency cycles, and energy-costly call patterns are usually detected only after the full application is running. The project will develop two modules and package them as a GitHub Actions/GitLab CI component that reports per-service energy scores and logic violations at each commit. The first is a logic validation module that analyses API specifications (e.g., OpenAPI/AsyncAPI) and inter-service call graphs to detect cross-service contract violations and structural anomalies. The second is a static energy estimation module calibrated with container-level RAPL measurements for HTTP, gRPC, and AMQP communication. The approach will be validated against open-source microservice systems, using runtime contract checking and RAPL profiling as ground truth. The expected outputs are an open-source pipeline plugin, an annotated microservice benchmark, and a calibrated server-side energy model.