Published August 9, 2020 | Version 1.0
Software Open

A Formal Model of the Kubernetes Container Framework


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 (


Files (82.0 kB)

Name Size Download all
82.0 kB Preview Download