SIRIUS’ FRINATEK Young Research Talent


A Formal Model of the Kubernetes Container Framework

This research report presents a formal model of resource consumption and scaling for containerized microservices deployed and managed by Kubernetes. The model is developed in Real-Time ABS, and it can be used as a framework to explore the behavior of deployed systems under various configurations at design time - before the systems are actually deployed. As a future work we aim to further extend the model to allow us to explore location of data access.