Title :
Recent Extensions to Traviando
Author_Institution :
Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Abstract :
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 :
discrete event simulation; graphical user interfaces; program debugging; program diagnostics; program testing; program verification; program visualisation; software tools; system recovery; Traviando extension; Web page; command-line version; discrete event dynamic system; event browser; graphical user interface; model-checker; partial deadlock detection; simulation model debugging; simulation model verification; simulation trace visualization; simulator code testing; software tool; trace analyzer; Analytical models; Computational modeling; Computer science; Data mining; Discrete event simulation; Educational institutions; Graphical user interfaces; Power system modeling; Software libraries; Visualization; Simulation; Software Tool; Trace Analysis;
Conference_Titel :
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location :
Budapest
Print_ISBN :
978-0-7695-3808-2
DOI :
10.1109/QEST.2009.30
