8 papers
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…
Toward Operationalizing Rasmussen: Drift Observability on the Simplex for Evolving Systems
Anatoly A. Krasnovsky
Software operations increasingly rely on SLOs, traces, deployment specifications, and change events, yet dashboards and thresholding practices often expose share-like operational s…
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…
Measuring Uncertainty in Transformer Circuits with Effective Information Consistency
Anatoly A. Krasnovsky
Mechanistic interpretability has identified functional subgraphs within large language models (LLMs), known as Transformer Circuits (TCs), that appear to implement specific algorit…
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…
Sheaf-Theoretic Causal Emergence for Resilience Analysis in Distributed Systems
Anatoly A. Krasnovsky
Distributed systems often exhibit emergent behaviors that impact their resilience (Franz-Kaiser et al., 2020; Adilson E. Motter, 2002; Jianxi Gao, 2016). This paper presents a theo…