Software Open Access

A Formal Model of the Kubernetes Container Framework

Gianluca Turin; Andrea Borgarelli; Simone Donetti; Einar Broch Johnsen; Lizeth Tapia Tarifa; Ferruccio Damiani

The archive contains a model of Kubernetes in Real Time ABS (Abstract Behavioural Specification) language that can be configured to different client workloads and to different microservices running in parallel and affecting each others performance. By means of simulations, system administrators can easily compare how different parameter configurations affect the performance of their deployed microservices at the modeling level.

Supported by ADAPt: Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing (www.mn.uio.no/ifi/english/research/projects/adapt/).
Files (82.0 kB)
Name Size
abs-k8s-model.zip
md5:3f68fe9386b2ab303ce00c94ed1387e5
82.0 kB Download
56
5
views
downloads
All versions This version
Views 5656
Downloads 55
Data volume 410.2 kB410.2 kB
Unique views 5454
Unique downloads 55

Share

Cite as