A Formal Model of the Kubernetes Container Framework

9Citations
Citations of this article
21Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Loosely-coupled distributed systems organized as collections of so-called cloud-native microservices are able to adapt to traffic in very fine-grained and flexible ways. For this purpose, the cloud-native microservices exploit containerization and container management systems such as Kubernetes. This paper presents a formal model of resource consumption and scaling for containerized microservices deployed and managed by Kubernetes. Our aim is that the model, developed in Real-Time ABS, 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. We further present initial results comparing the observed behavior of instances of our modeling framework to corresponding observations of real systems. These preliminary results suggest that the modeling framework can provide a satisfactory accuracy with respect to the behavior of distributed microservices managed by Kubernetes.

Cite

CITATION STYLE

APA

Turin, G., Borgarelli, A., Donetti, S., Johnsen, E. B., Tapia Tarifa, S. L., & Damiani, F. (2020). A Formal Model of the Kubernetes Container Framework. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12476 LNCS, pp. 558–577). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-61362-4_32

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free