A Reduced Stochastic Model of Microservice Availability: Algorithms for Identification and Formal Analysis

Anatoly A. Krasnovsky, Anna Maslovskaya

Estimating microservice operation availability requires connecting runtime observations to completion of the required work within a deadline. Detailed architectural models provide…