Recent Extensions to Traviando

—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards an identification of model invariants and a detection of partial deadlocks and immediate events. This new functionality complements an existing model-checker and event browser. In addition to the graphical user interface, a new command-line version of the tool allows a user to obtain analysis results being documented in a set of generated web pages, which minimizes the learning curve for the use of Traviando to obtain some feedback on the details of a simulation run. Keywords-trace analysis; simulation; software tool I. MOTIVATION A model-based evaluation of systems or system design is made possible by powerful modeling environments. A subsequent analysis is often based on simulation. For a discrete event simulation, a simulation engine generates a sequence of events that is used to perform some statistical a...

• Type: Conference
• Year: 2009
• Where: QEST
• Authors: Peter Kemper
• Keywords: Discrete Event, QEST 2009, Quantitative Evaluation Of Systems, Simulation, Simulation Run