Ole-Johan Dahls hus (map)
Gaustadalléen 23 B
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 conﬁgurations 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.