5 papers · 1 filter
Procrustes-Bering-Sheaft: Automated Model Discovery and Virtual Crash Tests for Microservices
Anatoly A. Krasnovsky
Procrustes-Bering-Sheaft automates lightweight model discovery and virtual crash tests for microservices. Each test estimates operation availability by Monte Carlo sampling of serv…
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…
Emergence-as-Code as a Foundation for Reliable Self-Governance
Anatoly A. Krasnovsky
Local adaptations can preserve component health while changing whether a system meets its reliability requirements. The system-level consequence depends on the interaction affected…
Evaluating Asynchronous Semantics in Trace-Discovered Resilience Models: A Case Study on the OpenTelemetry Demo
Anatoly A. Krasnovsky
While distributed tracing and chaos engineering are becoming standard for microservices, resilience models remain largely manual and bespoke. We revisit a trace-discovered connecti…
Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering
Anatoly A. Krasnovsky
Chaos engineering reveals resilience risks but is expensive and operationally risky to run broadly and often. Model-based analyses can estimate dependability, yet in practice they…