Skip to Main content Skip to Navigation
Conference papers

ContAv: a Tool to Assess Availability of Container-Based Systems

Abstract : The momentum gained by the microservice-oriented architecture is fostering the diffusion of operating system containers. Existing studies mainly focus on the performance of con-tainerized services to demonstrate their low resource footprints. However, availability analysis of densely deployed container-based solutions is less visited due to difficulties in collecting failure artifacts. This is especially true when the containers are combined with virtual machines to achieve a higher security level. Inspired by Google's Kubernetes architecture, in this paper, we propose ContAv, an open-source distributed statistical model checker to assess availability of systems built on containers and virtual machines. The availability analysis is based on novel state-space and non-state-space models designed by us and that are automatically built and customized by the tool. By means of a graphical interface, ContAv allows domain experts to easily parameterize the system, to compare different configurations and to perform sensitivity analysis. Moreover, through a simple Java API, system architects can design and characterize the system behavior with a failure response and migration service.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

https://hal.inria.fr/hal-01954455
Contributor : Stefano Sebastio <>
Submitted on : Friday, December 14, 2018 - 11:30:50 AM
Last modification on : Friday, July 10, 2020 - 4:01:39 PM
Long-term archiving on: : Friday, March 15, 2019 - 1:10:05 PM

File

ContAv_soca_180906_submitted.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01954455, version 1

Citation

Stefano Sebastio, Rahul Ghosh, Avantika Gupta, Tridib Mukherjee. ContAv: a Tool to Assess Availability of Container-Based Systems. SOCA 2018 - 11th IEEE International Conference on Service Oriented Computing and Applications, Nov 2018, Paris, France. pp.1-8. ⟨hal-01954455⟩

Share

Metrics

Record views

200

Files downloads

283