arXiv Open Access 2026

A Case Study on Runtime Verification of a Continuous Deployment Process

Shoma Ansai Masaki Waga

Lihat Sumber

Abstrak

We report our experience in applying runtime monitoring to a FluxCD-based continuous deployment (CD) process. Our target system consists of GitHub Actions, GitHub Container Registry (GHCR), FluxCD, and an application running on Kubernetes. We monitored its logs using SyMon. In our setting, we regard a deployment update as detected when FluxCD's polling log resolves the latest image tag. Through the case study, we found that FluxCD did not always detect a new image within five minutes after it was pushed to GHCR, whereas it always did so within ten minutes in the collected logs. Moreover, our results show that SyMon is fast enough for near-real-time monitoring in our setting.

Topik & Kata Kunci

cs.SE

Penulis (2)

Shoma Ansai

Masaki Waga

Format Sitasi

APA MLA BibTeX

Ansai, S., Waga, M. (2026). A Case Study on Runtime Verification of a Continuous Deployment Process. https://arxiv.org/abs/2602.20598

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2026
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓