Detecting logic errors in discrete-event simulation: Reverse engineering through event graphs

Simulation Practice and Theory

Volumn 5, Issue 4, 1997, Pages 357-376

  Woodward, Ernest E ^a   Mackulak, Gerald T ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

Discrete event simulation; Event graphs; General purpose simulation code; Model verification; Result analysis; Reverse engineering; Simulation debugging; Simulation models

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; GRAPH THEORY; MATHEMATICAL MODELS;

DISCRETE-EVENT SIMULATION; LOGIC ERRORS;

COMPUTER SIMULATION;

EID: 0031139408     PISSN: 09284869     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0928-4869(96)00002-X     Document Type: Article

References (26)

1. V. Baskaran and Y.V. Reddy, An introspective environment for knowledge based simulation, in: Proceedings of the 1984 Winter Simulation Conference, Buena Vista, FL (1984) 645-651.
2. R.E. Griswold, The Icon Programming Language (Prentice-Hall, Englewood Cliffs, NJ, 1983).
3. J.O. Henriksen and R.C. Crain, GPSS/H User's Manual (Wolverine Software Corporation, VA, 1985).
4. R.C. Holt, Some deadlock properties of computer systems, Computing Surveys 4 (3) (1972) 179-196.
5. M. Krishnamurth, A. Basavatia and S. Thallikar, Deadlock detection and resolution in simulation models, in: Proceedings of the 1994 Winter Simulation Conference, Buena Vista, FL (1994) 708-715.
6. A.M. Law and W.D. Kelton, Simulation and Modeling Analysis (McGraw-Hill, New York, 1982).
7. H.M. Markowitz, H.W. Karr and B. Hausner, SIMSCRIPT: A Simulation Programming Language (Prentice-Hall, Englewood Cliffs, NJ, 1963).
8. J.M. Mellichamp and Y.H. Park, A statistical expert system for simulation analysis, Simulation 52 (4) (1989) 134-139.
9. J.M. Mellichamp and A.R. Venkatachalam, An interactive debugging expert system for GPSS/H simulation models, Simulation 55 6 (1990) 337-343.
10. M. Moekawa, A.E. Oldehoeft and R.R. Oldehoeft, Operating Systems: Advanced Concepts (Benjamin/Cummings, Menlo Park, CA, 1987).
11. R.E. Nance and C.M. Overstreet, Diagnostic assistance using digraph representations of discrete-event simulation model specifications, Trans. Soc. Comput. Simulation 4 (1) (1987) 33-57.
12. R.E. Nance and C.M. Overstreet, Exploring the forms of model diagnosis in a simulation environment, in: Proceedings of the 1987 Winter Simulation Conference, Washington, DC (1987) 590-596.
13. J.P. Nolan, G.M. Lane and J.M. Fegan, ISI - An environment for the engineering use of general purpose simulation languages, Simulation 56 (1) (1991) 41-47.
14. C.M. Overstreet and R.E. Nance, A specification language to assist in analysis of discrete event simulation models, Comm. ACM 28 (2) (1985) 190-201.
15. C.M. Overstreet and R.E. Nance, World view based discrete event model simplification, in: M.S. Elzas, T.I. Oren and B.P. Zeigler, eds., Modelling and Simulation Methodology in the Artificial Intelligence Era (Elsevier, Amsterdam, 1986) 165-179.
16. C.D. Pegden, R.E. Shannon and R.P. Sadowski, Introduction to SIMAN (Systems Modeling Corporation, PA, 1990).
17. A.A.B. Pritsker, Introduction to Simulation and SLAM II (John Wiley & Sons, New York, 1986).
18. R.G. Sargent, Event graph modelling for simulation with an application to flexible manufacturing systems, Management Sci. 34 (10) (1988) 1231-1251.
19. L. Schruben, Simulation modeling with event graphs, Comm. ACM 26 (11) (1983) 957-963.
20. L. Schruben, SIGMA: Graphical Simulation Modeling (The Scientific Press, San Francisco, CA, 1992).
21. L. Schruben and E. Yucesan, Complexity of simulation models: A graph theoretic approach, in: Proceedings of the 1993 Winter Simulation Conference, Washington, DC (1993) 641-649.
22. T.K. Som and R.G. Sargent, A formal development of event graphs as an aid to structured and efficient simulation programs, ORSA J. Comput. 1 (2) (1989) 107-125.
23. A.S. Tanenbaum, Operating Systems: Design and Implementation (Prentice-Hall, Englewood Cliffs, NJ, 1987).
24. R.B. Whitner and O. Balci, Guidelines for selecting and using simulation model verification techniques, in: Proceedings of the 1989 Winter Simulation Conference, Washington, DC (1989) 559-568.
25. E. Yucesan and S.H. Jacobsen, Building correct simulation models is difficult, in: Proceedings of the 1992 Winter Simulation Conference, Buena Vista, FL (1992) 783-790.
26. E. Yucesan and L. Schruben, Structural and behavioral equivalence of simulation models, ACM Trans. Modeling Comput. Simulation 2 (1) (1992) 82-103.