Simulation Modeling and Analysis
Simulation Modeling and Analysis
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
The ProC/B Toolset for the Modelling and Analysis of Process Chains
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Simulation with Arena
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties
RTCSA '05 Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Tips for successful practice of simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Trace based analysis of process interaction models
WSC '05 Proceedings of the 37th conference on Winter simulation
Traviando - Debugging Simulation Traces with Message Sequence Charts
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Phrase based browsing for simulation traces of network protocols
Proceedings of the 40th Conference on Winter Simulation
Event-based recognition and source identification of transient tailbacks in manufacturing plants
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simulation traces and describe how it can be used to detect certain errors. We devise a visual inspection technique based on that measure and discuss several examples to illustrate how one can distinguish normal behavior from irregular, potentially erroneous behavior documented in a trace of a simulation run. The overall approach is implemented and integrated in Traviando, a trace analyzer for debugging stochastic simulation models.