Debugging of Dependability Models Using Interactive Visualization of Counterexamples

Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification of causal factors in the potentially very large sets of execution traces that form counterexamples in stochastic model checking. The visualization is interactive and allows the user to focus on the most meaningful aspects of a counterexample. We present the application of the visualization method as implemented in our prototype tool DIPRO to two significant case studies.

• Type: Conference
• Year: 2008
• Where: QEST
• Authors: Husain Aljazzar, Stefan Leue
• Keywords: Interactive Visualization, Prototype Tool Dipro, QEST 2008, Quantitative Evaluation Of Systems, Stochastic Model Checking