Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

M & S Engineering

모델링 시뮬레이션 공학

  • 김탁곤 (한국과학기술원 전자전산학과)
  • Published : 2007.11.07
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. T.G. Kim, http://sim.kaist.ac.kr/Course/EE612/, Lecture Note on EE612: Discrete Event Systems Modeling and Simulation, Department of EECS, KAIST, 2007
  2. Richard H. Thayer and Merlin Dorfman, System and Software Requirements Engineering, IEEE Computer Society Press, 1990
  3. T. G. Kim and C. H. Sung, 'Objective-driven DEVS Modeling Using OPI Matrix for Performance Evaluation of Discrete Event Systems,' Proc. of 2007 Summer Computer Simulation Conference(SCSC' 2007), pp.305-311, San Diego, California, USA, 2007
  4. B. P. Zeigler, H. Praehofer and T. G. Kim, Theory of Modeling and Simulation(2nd ed.), Academic Press, 2000
  5. Edward C. Russell, Building Simulation Models with SIMSCRIPT II.5, CACI, 1983
  6. T. G. Kim and J. H. Kim, 'DEVS Framework and Toolkits for Simulators Interoperation Using HLA/RTI,' Proc. of Asia Simulation Conference/the 6th International conference on System Simulation and Scientific Computing, pp.16-21, China, October 2005
  7. K. J. Hong and T. G. Kim, 'Timed I/O Test Sequences for Discrete Event Model Verification,' LNAI 3397, pp.275-284, 2005
  8. R. G. Sargent, 'Verification and validation of simulation models,' Proc. of the 2003 Winter Simulation Conference, vol. 1, pp. 27-48, December 2003
  9. R. Dumke, C. Rautenstrauch, A. Schmietendorf and A. Scholz(Eds.), Performance Engineering: State of the Art and Current Trends, Springer, 2001
  10. Jerry Banks and John S. Carson, II, Discrete-Event System Simulation, Prentice Hall, 1984
  11. Donald F. Stanat and David F. McAllister, Discrete Mathematics in Computer Science, Prentice Hall, 1977
  12. Zohar Manna and Amir Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992
  13. C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985
  14. Robin Milner, Communication and Concurrency, Prentice Hall, 1989
  15. Peter W. Glynn, 'Special issue: Generalized semi- Markov processes,' Discrete Event Dynamic Systems: Theory and Application 6, 1996
  16. Raymond Cuninghame-Green, Minimax Algebra, Springer-Verlag, 1979
  17. Arthur. Gill, Introduction to the Theory of Finite- State Machines, Mc-Graw Hill, 1962
  18. James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, June 1981
  19. Zvi Kohavi, Switching and Finite Automata Theory 2nd Edition, McGraw-Hill, 1978
  20. G. Noubir, Daniel R. Stephenes and Prasad Raja, 'Specification of timed finite state machine in Z for distributed real-time systems,' Proc. of the IEEE 4th Workshop on Future Trends in Distributed Computing Systems, pp.319-325, Lisbon, Portugal, 1993
  21. Jiacun Wang, Timed Petri Nets: Theory and Application(The international Series on Discrete Event Dynamic Systems), Springer, October 1998
  22. B. P. Zeigler, Theory of Modeling and Simulation, John Wiley & Sons, 1976
  23. William H. Press, Saul A. Teukolsky, William T. Vetterling and Brian P. Flannery, Numerical Recipes 3rd Edition: The Art of Scientific Computing, Cambridge University Press, 2007
  24. Bjarne Stroustrup, The C++ Programming Language, Addison Wesley, 1986
  25. O. Dahl and K. Nygaard, 'SIMULA - An ALGOLbased Simulation Language,' Communications of ACM, vol. 9., no. 9, pp. 671-678, 1966 https://doi.org/10.1145/365813.365819
  26. Paul K. Davis, Generalizing concepts and methods of verification, validation and accreditation(VV&A) for military simulations, Rand, 1992
  27. K. G. Larsen and A. Skou, Computer Aided Verification, Springer-Verlag, 1991
  28. Michael K. Sain, Introduction to Algebraic System Theory, Academic Press, 1981
  29. Kim G. Larsen and Yi Wang, 'Time Abstracted Bisimulation: Implicit Specifications and Decidability,' Proc. 9th International Conference on the Mathematical Foundations of Programming Semantics, New Orleans, LA, USA, 1993
  30. Krzysztof R. Apt and Ernst-Rudiger Olderog, Verification of Sequential and Concurrent Programs, Springer-Verlag, 1991
  31. IEEE std. 1516-2000, 'IEEE Standard for Modeling and Simulation(M&S) High Level Architecture(HLA),' IEEE Computer Society, September 2000
  32. R. Frost, 'Simulation based acquisition - an ongoing look,' Proc. of 1999 INCOSE, 1999
  33. J.H. Kim, T.G. Kim and J. Jeong, 'Embedding DEVS Methodology in CBD Process for Development of War Game Simulators,' Poster Session, Proc. of 2007 Summer Sim. Conference, San Diego, USA, 2007
  34. Y.J. Kim, J.H. Kim and T.G. Kim, 'Heterogeneous Simulation Framework Using DEVS BUS, Simulation,' vol. 79, no. 1, pp. 3-18, 2003
  35. Alex C. Chow and B. P. Zeigler, 'Parallel DEVS: A parallel, hierarchical, modular modeling formalism,' Proc. of 1994 Winter Simulation Conference, Orlando, Florida, USA, 1994
  36. C. Cassandras, Discrete Event Systems: Modeling and Performance Analysis, IRWIN, 1993