Sciweavers

Share
DSN
2009
IEEE

Report generation for simulation traces with Traviando

9 years 4 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us to create and evaluate models of great complexity. However, we believe that much more can be done to support a modeler in ensuring that the dynamic behavior of an executable simulation model is consistent with the modeler’s understanding. In this paper, we describe a new command line version of Traviando that reads an execution trace of a discrete event simulation and generates a set of HTML formatted web pages to document properties that it recognizes from its input. Those properties include characteristics of state variables as well as changes to state variables that are performed by events. The point is to highlight the content of a simulation run in a format that is immediately accessible and understandable.
Peter Kemper
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DSN
Authors Peter Kemper
Comments (0)
books