Published August 9, 2020 | Version 1.0
Software Open

A Formal Model of the Kubernetes Container Framework

Description

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.

Notes

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

abs-k8s-model.zip

Files (82.0 kB)

Name Size Download all
md5:3f68fe9386b2ab303ce00c94ed1387e5
82.0 kB Preview Download