• Computer Science > Distributed, Parallel, and Cluster Computing [Submitted on 22 Feb 2026] Title:A Formal Framework for Predicting Distributed System Performance under Faults View PDF HTML (experimental)Abstract:Today’s distributed systems operate in complex environments that inevitably involve faults and even adversarial behaviors. • Predicting their performance under such environments directly from formal designs remains a longstanding challenge. • We present the first formal framework that systematically enables performance prediction of distributed systems across diverse faulty scenarios. • Our framework features a fault injector together with a wide range of faults, reusable as a library, and model compositions that integrate the system and the fault injector into a unified model suitable for statistical analysis of performance properties such as throughput and latency. • We formalize the framework in Maude and implement it as an automated tool, PERF. • Applied to representative distributed systems, PERF accurately predicts system performance under varying fault settings, with estimations from formal designs consistent with evaluations on real deployments.

Article Summaries:

  • A new study introduces the first formal framework for predicting how distributed systems perform when faults or adversarial actions occur. The framework combines a fault‑injector library-supporting a wide range of fault types-with model‑composition techniques that merge the system design and fault injector into a single formal model. Implemented in the Maude language and packaged as the automated tool PERF, it enables statistical analysis of key performance metrics such as throughput and latency. Experiments on representative distributed systems show that PERF’s predictions closely match real‑world measurements across varying fault scenarios, demonstrating its potential for early performance assessment in complex environments.
  • Computer Science > Distributed, Parallel, and Cluster Computing [Submitted on 22 Feb 2026 (v1), last revised 24 Feb 2026 (this version, v2)] Title:A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version) View PDF HTML (experimental)Abstract:Today’s distributed systems operate in complex environments that inevitably involve faults and even adversarial behaviors. Predicting their performance under such environments directly from formal designs remains a longstanding challenge. We present the first formal framework that systematically enables performance pr

Sources: