Recent Extensions to Traviando

Author

Kemper, Peter

Author_Institution

Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA

fYear

2009

fDate

13-16 Sept. 2009

Firstpage

283

Lastpage

284

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the

Conference_Location

Budapest

Print_ISBN

978-0-7695-3808-2

Type

conf

DOI

10.1109/QEST.2009.30

Filename

5290662