Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering
Distinguished Paper Award
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 are tricky to build and keep current because models are typically handcrafted. We claim that a simple connectivity-only topological model—just the service-dependency graph plus replica counts—can provide fast, low-risk availability estimates under fail-stop faults. To make this claim practical without hand-built models, we introduce model discovery: an automated step that can run in CI/CD or as an observability-platform capability, synthesizing an explicit, analyzable model from artifacts teams already have (e.g., distributed traces, service-mesh telemetry, configs/manifests)—providing an accessible gateway for teams to begin resilience testing. As a proof by instance on the DeathStarBench Social Network, we extract the dependency graph from Jaeger and estimate availability across two deployment modes and five failure rates. The discovered model closely tracks live fault-injection results; with replication, median error at mid-range failure rates is near zero, while no-replication shows signed biases consistent with excluded mechanisms. These results create two opportunities: first, to triage and reduce the scope of expensive chaos experiments in advance, and second, to generate real-time signals on the system’s resilience posture as its topology evolves, preserving live validation for the most critical or ambiguous scenarios.
| Paper (242500a121.pdf) | 528KiB |
Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
14:00 - 15:30 | Dependability and Security 10Journal-first Papers / New Ideas and Emerging Results (NIER) / Research Track at Oceania X Chair(s): Triet Le Adelaide University | ||
14:00 15mTalk | When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety Journal-first Papers Sajad Khatiri Università della Svizzera italiana and University of Bern, Fatemeh Mohammadi Amin Zurich University of Applied Sciences (ZHAW), Sebastiano Panichella University of Bern, Paolo Tonella USI Lugano | ||
14:15 15mTalk | Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI New Ideas and Emerging Results (NIER) Jie Zou Centre for Assuring Autonomy, University of York, UK, Simon Burton Centre for Assuring Autonomy, University of York, UK, Radu Calinescu University of York, UK, Ioannis Stefanakos University of York, Roger Rivett University of York | ||
14:30 15mTalk | Towards Verifiably Safe Tool Use for LLM Agents New Ideas and Emerging Results (NIER) Aarya Doshi Georgia Institute of Technology, Yining Hong Carnegie Mellon University, Congying Xu The Hong Kong University of Science and Technology, China, Eunsuk Kang Carnegie Mellon University, Alexandros Kapravelos NCSU, Christian Kästner Carnegie Mellon University | ||
14:45 15mTalk | A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles Journal-first Papers Masoud Jamshidiyan Tehrani Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, ROSMAEL ZIDANE LEKEUFACK FOULEFACK University of Trento, Alessandro Marchetto Università di Trento, Paolo Tonella USI Lugano | ||
15:00 15mTalk | Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering New Ideas and Emerging Results (NIER) Anatoly Krasnovsky Department of Computer Science and Engineering, Innopolis University; MB3R Lab, 420500, Innopolis, Russia DOI Pre-print Media Attached File Attached | ||
15:15 15mTalk | Learning From Software Failures: A Case Study at a National Space Research Center Research Track Dharun Anandayuvaraj Purdue University, Tanmay Singla Purdue University, Zain Alabedin Haj Hammadeh German Aerospace Center (DLR), Andreas Lund German Aerospace Center (DLR), Alexandra Holloway Jet Propulsion Laboratory (JPL), James C. Davis Purdue University DOI Pre-print | ||
