Journal of information and communication convergence engineering

The Korea Institute of Information and Commucation Engineering (한국정보통신학회)
권호 표지

DEVSIF Composer: A Synthesis Tool for Fast Interpretation of Simulation Models

  • Lee, Wan-Bok (Department of Game Design, Kongju National University)
  • Published : 2008.03.31
Download PDF
⟨ Previous Next ⟩

Abstract

The methods or algorithms which can accelerate simulation speed became of great importance, as the modeling and simulation methodology for discrete event systems is used in many areas such as model validation/verification and performance evaluation. This paper proposes a tool named, DEVSIF composer. The tool is made of an automated compiled simulation technology and it builds a new composed model which can be executed much fast by composing the component models together. Models are described by our new specification language DEVSIF, which is compatible with object-oriented language and supports representation of a hierarchical model structure. Experimental results demonstrates that DEVSIF composer enhances the simulation speed of a transformed DEVS model 5 times faster than that of the original ones in average.

Keywords

References

  1. B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation. Academic Press. 1984
  2. D. M. Lewis, "A hierarchical compiled code even-driven logic simulator," IEEE Transactions on Computer-Aided Design, vol. 10, no. 6, pp. 726-737, 1991 https://doi.org/10.1109/43.137501
  3. W. B. Lee, T. G. Kim, "Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E86-A, no. 11, pp: 755-2766, Nov. 2003
  4. A. I. Concepcion, and B. F. Zeigler, "DEVS Formalism: A Framework for Hierarchical Model Development", IEEE Trans. on Software Engineering, vol. 14, no. 2, Feb. 1988
  5. K. J. Hong and T. G. Kim, "DEVSIF : Relational Algebraic DEVS Intermediate Format," Proceedings of AIS'2000, Tucson, Arizona, U.S.A., 2000
  6. G. P. Hong and Tag G. Kim, "A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology," Transactions of the Society for Computer Simulation, vol. 13, no. 1, pp.19-34, 1996
  7. C. Thomas, H. Luckhoff, and T. G. Kim, "OpenDEVS: A Proposal for a Standardized DEVS Model Exchange Format", Proc. of AIS '96, pp. 371-377
  8. T. G. Kim, and S. B. Park, "The DEVS Formalism: Hierarchical Modular Systems Specification in C++" In Proceedings of the 1992 European Simulation Multiconference, pp.152-156, 1992
  9. Y. G. Kim and T. G. Kim, "Optimization of Model Execution Time in the DEVSim++ Environment". In Proc. of 1997 European Simulation Symposium, pp. 215-219, Oct. 1997, Passau, Germany
  10. D. Baezner, G. Lomow, and B.W. Unger. "Sim++: The Transition to Distributed Simulation." In Proceedings of the SCS Multiconference on Distributed Simulation, 1990
  11. J. W. J. Williams. Algorithm 232 - Heapsort, Communications of the ACM 7(6): 347-348, 1964