Traviando - Debugging Simulation Traces with Message Sequence Charts

Discrete event simulation is broadly applied in the analysis of dynamic and concurrent systems and often with complex and detailed models. The process of creation and coding a non-trivial simulation model is error prone and the identification and understanding of what really goes on in a simulation run needs adequate tool support for making verification, validation and debugging productive. This holds in particular for the analysis of simulation traces, a powerful debugging aid with the challenge of large amounts of data. In this paper, we present Traviando, a trace visualizer and analyzer from Dortmund university