Traviando - a trace analyzer to debug simulation models. Simulation News Europe

Verification and validation of simulation models are cru-cial steps to the success of a simulation project. Traces are a common and powerful mean to document the dynamic be-havior of a model and are generated by most simulation engines. In this paper, we describe techniques and cor-responding tool support that helps a modeler to gain in-sight in the dynamic behavior of complex simulation models based on trace analysis. We propose to visualize traces by message sequence charts. We use a common modal logic, namely the linear time logic (LTL), to identify states of inter-est and a pattern system to make specification of formulas more productive. The proposed techniques are implemented in Traviando, a stand alone tool with an open XML interface to import traces from various modeling environments, e.g., the APNN toolbox, the ProC/B toolset and Mobius