A trace-based visual inspection technique to detect errors in simulation models

Proceedings - Winter Simulation Conference

Volumn , Issue , 2007, Pages 747-755

  Kemper, Peter ^a  

^a The College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; HIGHWAY BRIDGES; TRACE ANALYSIS; VISUAL COMMUNICATION;

NORMAL BEHAVIOR; SIMULATION MODELLING; STOCHASTIC SIMULATION MODELS; TRACE ANALYZER; VISUAL INSPECTION;

STOCHASTIC MODELS;

EID: 49749093785     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2007.4419669     Document Type: Conference Paper

References (15)

1. Banks, J. 2000. Getting started with AutoMod. 655 Medical Drive, Bountiful, Utah 84010: AutoSimulations, Inc.
2. Bause, F., H. Beilner, M. Fischer, P. Kemper, and M. Völker. 2002. The ProC/B toolset for the modelling and analysis of process chains. In Computer Performance Evaluation/TOOLS, Springer LNCS 2324, 51-70.
3. Bause, F., P. Buchholz, and P. Kemper. 1998. A toolbox for functional and quantitative analysis of DEDS. In Computer Performance Evaluation/TOOLS, Springer LNCS 1469, 356-359.
4. Deavours, D. D., G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. 2002. The Möbius framework and its implementation. IEEE Trans. Software Eng. 28 (10): 956-969.
5. Heiner, M., and P. Deussen. 1996. Petri net based design and analysis of reactive systems. In Proc. 3rd Workshop on Discrete Event Systems (WoDES96), 308-313.
6. Kelton, W., R. P. Sadowski, and D. A. Sadowski. 2002. Simulation with Arena. 2nd ed. Mc Graw Hill.
7. Kemper, P., and C. Tepper. 2007. Automated analysis of simulation traces - separating progress from repetitive behavior. In Proc. QEST, IEEE.
8. Kemper, P., and C. Tepper. 2005a. Trace based analysis of process interaction models. In Proceedings of the 2005 Winter Simulation Conference, ed. M. E. Kuhl, N. M. Steiger, F. B. Armstrong, J. A. Joines, 427-436. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.
9. Kemper, P., and C. Tepper. 2005b. Visualizing the dynamic behavior of ProC/B models. In Proc. Simulation and Visualization, ed. T. Schulze, G. Horton, B. Preim, and S. Schlechtweg, 63-74: SCS Publishing House e.V.
10. Kemper, P., and C. Tepper. 2006. Traviando - debugging simulation traces with message sequence charts, In Proc. QEST, 135-136: IEEE.
11. Krahl, D. 2005. Debugging simulation models. In Proc. Winter Simulation Conference, 62-68.
12. vLaw, A., and W. Kelton. 2000. Simulation modeling and analysis. 3rd ed. McGraw-Hill.
13. Sadowski, D. A. 2005. Tips for successful practice of simulation. In Proceedings of the 2005 Winter Simulation Conference, ed. M. E. Kuhl, N. M. Steiger, F. B. Armstrong, J. A. Joines, 56-61. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.
14. Sammapun, U., I. Lee, and O. Sokolsky. 2005. Rt-mac: Runtime monitoring and checking of quantitative and probabilistic properties. In Proc. RTCSA, 147-153: IEEE.
15. Woodside, C. M., and Y. Li. 1991. Performance Petri net analysis of communications protocol software by delayequivalent aggregation. In Proc. PNPM, 64-73: IEEE.