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
88
9
views
downloads
All versions This version
Views 8888
Downloads 99
Data volume 738.4 kB738.4 kB
Unique views 8585
Unique downloads 99

Share

Cite as